Untitled Project

blockly.xml

<xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="13" y="187"><statement name="BaseContractType"><block type="WhenContractType" id="in:ZHOl+VUnkREjhL{5]"><field name="timeout">15</field><statement name="case"><block type="DepositActionType" id="}f|B-mDB;Ud*Xrh-=_~I"><value name="from_party"><block type="RolePartyType" id="-8e1@HmMGqlaxx^eXYkA"><field name="role">party1</field></block></value><value name="value"><block type="ConstantValueType" id="Yal$a3+$:]S}Q7A%9)CC"><field name="constant">500</field></block></value><value name="token"><block type="AdaTokenType" id="o$_azqtv4Lj3HNNZv[r3"/></value><value name="party"><block type="RolePartyType" id="=u{`2D?k|MF=b2wxYY5i"><field name="role">party1</field></block></value><statement name="contract"><block type="WhenContractType" id="%x*%-dFCr?Kn`qChyO3H"><field name="timeout">20</field><statement name="case"><block type="DepositActionType" id="LiqM-$cOY#,Y@OCGM!,$"><value name="from_party"><block type="RolePartyType" id="bxJKN4K=V=`XU`6;GZ.8"><field name="role">party2</field></block></value><value name="value"><block type="ConstantValueType" id="L(w,ii.Meqfv#K3{c{gF"><field name="constant">300</field></block></value><value name="token"><block type="AdaTokenType" id="`ja|`#0:)%)Ye[xS,#{D"/></value><value name="party"><block type="RolePartyType" id="e#yh|]P?Zla;cGNj[k3("><field name="role">party2</field></block></value><statement name="contract"><block type="PayContractType" id="WRt|]J|,-c=5:f,Ok}=/"><value name="payee"><block type="PartyPayeeType" id="j?HF9-^e_UK_%Bq`OQkq"><value name="party"><block type="RolePartyType" id="*H+o0!!~hh5MK0k|gn6:"><field name="role">party2</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="#X`6%!y.LXe56L{p2)9*"><field name="constant">500</field></block></value><value name="token"><block type="AdaTokenType" id="YH4#dRr!~/d*C6Uq,CC)"/></value><value name="party"><block type="RolePartyType" id="@%sy2wc@Czf_+/n0yY;*"><field name="role">party1</field></block></value><statement name="contract"><block type="PayContractType" id="jGPtr$};(6gQa+2)9mI-"><value name="payee"><block type="PartyPayeeType" id="^n0sA-+qB_wXtzKLM|ML"><value name="party"><block type="RolePartyType" id="*W`zx)pw_qN/J.$gEcvG"><field name="role">party1</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="/Z0-p6+R#4;+*DSii,`!"><field name="constant">300</field></block></value><value name="token"><block type="AdaTokenType" id="o8-a6rVvI-v+),y1jS4?"/></value><value name="party"><block type="RolePartyType" id="qCdDtjK+uGc}A($FA{KO"><field name="role">party2</field></block></value><statement name="contract"><block type="CloseContractType" id="EZOKN-3x(MZkVQwd{E7a"/></statement></block></statement></block></statement></block></statement><statement name="contract"><block type="CloseContractType" id="dI|vZv0f5`4zz.4%`IA@"/></statement></block></statement></block></statement><statement name="contract"><block type="CloseContractType" id="9L;P$l(35C8Ls8{z]a|5"/></statement></block></statement></block></xml>

Main.hs

{-# LANGUAGE OverloadedStrings #-}
module Example where

import           Language.Marlowe

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


{- Define a contract, Close is the simplest contract which just ends the contract straight away
-}

contract :: Contract

contract = Close

playground.js

const contract : Contract = Close

playground.marlowe

?new_contract

playground.marlowe.json

{}