escrow.20.sopb.exp

@compiler >=6

main contract Escrow =

    record state = {
            payer : address,
            payee : address,
            agent : address,
            amount : int,
            fee : int
        }

    entrypoint init(payee : address, agent : address, fee : int) = {
            payer = Call.caller,
            payee = payee,
            agent = agent,
            amount = Call.value,
            fee = fee
        }


    stateful function transfer(to : address, amount : int) =
        Chain.spend(to, amount)

    function permit(authorized : address) =
        require(Call.caller == authorized, "access")


    stateful entrypoint pay_out() =
        permit(state.agent)
        transfer(state.agent, state.fee)
        transfer(state.payee, Contract.balance)

    stateful entrypoint pay_back() =
        permit(state.agent)
        transfer(state.agent, state.fee)
        transfer(state.payer, Contract.balance)