Marlowe Smart Contract

Marlowe.hs

{-# LANGUAGE OverloadedStrings #-}
module Swap where

import           Language.Marlowe

main :: IO ()
main = print . pretty $ contract

{- Simply swap two payments between parties -}
contract :: Contract
contract =
    When [Case (Deposit (AccountId 1 "CertRecipient") "CertRecipient" (Constant 1)) 
      
      (When [Case (Deposit (AccountId 2 "CertRecipient") "CertRecipient" (Constant 1)) 
         
         (When [Case (Choice (ChoiceId "Base10HashOfCert" "CertIssuer") [(Bound 0 256)]) 
            
            (Pay (AccountId 1 "CertRecipient") 
               (Party "CertIssuer") 
               (AvailableMoney (AccountId 1 "CertRecipient")) 
               (Pay (AccountId 2 "CertRecipient") 
                  (Party "CertRevoker") 
                  (AvailableMoney (AccountId 2 "CertRecipient")) 
                  (When [Case (Choice (ChoiceId "CertRvoked" "CertRevoker") [(Bound 0 1)]) 
                     Refund] 25 Refund)))] 20 Refund)] 20 Refund)] 15 Refund