Skip to content

Commit

Permalink
Use Text for PubKey in examples
Browse files Browse the repository at this point in the history
  • Loading branch information
@nau
nau committed Aug 23, 2019
1 parent aabeca5 commit 37355ff
Showing 1 changed file with 105 additions and 132 deletions.
237 changes: 105 additions & 132 deletions semantics-3.0/src/Main.hs
View file
Expand Up @@ -36,20 +36,20 @@ main = do

couponBondFor3Month12Percent =
-- investor deposits 1000 Ada
When [ Case (Deposit "investor" investor (Constant 1000))
When [ Case (Deposit "investor" "invertor" (Constant 1000))
-- and pays it to the issuer
(Pay "investor" (Party issuer) (Constant 1000)
(Pay "investor" (Party "issuer") (Constant 1000)
-- after a month expect to receive 10 Ada interest
(When [ Case (Deposit "investor" issuer (Constant 10))
(When [ Case (Deposit "investor" "issuer" (Constant 10))
-- and pay it to the investor
(Pay "investor" (Party investor) (Constant 10)
(Pay "investor" (Party "invertor" ) (Constant 10)
-- same for 2nd month
(When [ Case (Deposit "investor" issuer (Constant 10))
(Pay "investor" (Party investor) (Constant 10)
(When [ Case (Deposit "investor" "issuer" (Constant 10))
(Pay "investor" (Party "invertor" ) (Constant 10)
-- after maturity date investor
-- expects to receive notional + interest payment
(When [ Case (Deposit "investor" issuer (Constant 1010))
(Pay "investor" (Party investor) (Constant 1010) Refund)]
(When [ Case (Deposit "investor" "issuer" (Constant 1010))
(Pay "investor" (Party "invertor" ) (Constant 1010) Refund)]
(Slot 1571788789)
Refund))]
(Slot 1569196789)
Expand All @@ -58,17 +58,14 @@ couponBondFor3Month12Percent =
Refund))]
(Slot 1563839989)
Refund
where
investor = PubKey "investor"
issuer = PubKey "issuer"


zeroCouponBond = When [ Case
(Deposit "investor" investor (Constant 850))
(Pay "investor" (Party issuer) (Constant 850)
(Deposit "investor" "invertor" (Constant 850))
(Pay "investor" (Party "issuer") (Constant 850)
(When
[ Case (Deposit "investor" issuer (Constant 1000))
(Pay "investor" (Party investor) (Constant 1000) Refund)
[ Case (Deposit "investor" "issuer" (Constant 1000))
(Pay "investor" (Party "invertor" ) (Constant 1000) Refund)
]
(Slot 1579305589)
Refund
Expand All @@ -77,165 +74,147 @@ zeroCouponBond = When [ Case
]
(Slot 1563407989)
Refund
where
investor = PubKey "investor"
issuer = PubKey "issuer"

couponBondGuaranteed = When [Case (Deposit "investor" guarantor (Constant 1030))
(When [Case (Deposit "investor" investor (Constant 1000))
(Pay "investor" (Party issuer) (Constant 1000)
(When [Case (Deposit "investor" issuer (Constant 10))
(Pay "investor" (Party investor) (Constant 10)
(Pay "investor" (Party guarantor) (Constant 10)
(When [Case (Deposit "investor" issuer (Constant 10))
(Pay "investor" (Party investor) (Constant 10)
(Pay "investor" (Party guarantor) (Constant 10)
(When [Case (Deposit "investor" issuer (Constant 1010))
(Pay "investor" (Party investor) (Constant 1010)
(Pay "investor" (Party guarantor) (Constant 1010) Refund))]
couponBondGuaranteed = When [Case (Deposit "investor" "guarantor" (Constant 1030))
(When [Case (Deposit "investor" "invertor" (Constant 1000))
(Pay "investor" (Party "issuer") (Constant 1000)
(When [Case (Deposit "investor" "issuer" (Constant 10))
(Pay "investor" (Party "invertor" ) (Constant 10)
(Pay "investor" (Party "guarantor") (Constant 10)
(When [Case (Deposit "investor" "issuer" (Constant 10))
(Pay "investor" (Party "invertor" ) (Constant 10)
(Pay "investor" (Party "guarantor") (Constant 10)
(When [Case (Deposit "investor" "issuer" (Constant 1010))
(Pay "investor" (Party "invertor" ) (Constant 1010)
(Pay "investor" (Party "guarantor") (Constant 1010) Refund))]
(Slot 1571788789) Refund)))]
(Slot 1569196789) Refund)))]
(Slot 1566518389) Refund))]
(Slot 1563839989) Refund)]
(Slot 1563839989) Refund
where
investor = PubKey "investor"
issuer = PubKey "issuer"
guarantor = PubKey "guarantor"


couponBondGuaranteedWithAccounts =
-- guarantor deposits a whole payoff amount including interest payments
When [Case (Deposit "party2" guarantor (Constant 1030))
When [Case (Deposit "party2" "guarantor" (Constant 1030))
-- then it's same as for simple coupon bond
(When [Case (Deposit "party1" party1 (Constant 1000))
(Pay "party1" (Party party2) (Constant 1000)
(When [Case (Deposit "party1" party2 (Constant 10))
(Pay "party1" (Party party1) (Constant 10)
(When [Case (Deposit "party1" party2 (Constant 10))
(Pay "party1" (Party party1) (Constant 10)
(When [Case (Deposit "party1" party2 (Constant 1010))
(Pay "party1" (Party party1) (Constant 1010) Refund)]
(When [Case (Deposit "party1" "party1" (Constant 1000))
(Pay "party1" (Party "party2") (Constant 1000)
(When [Case (Deposit "party1" "party2" (Constant 10))
(Pay "party1" (Party "party1") (Constant 10)
(When [Case (Deposit "party1" "party2" (Constant 10))
(Pay "party1" (Party "party1") (Constant 10)
(When [Case (Deposit "party1" "party2" (Constant 1010))
(Pay "party1" (Party "party1") (Constant 1010) Refund)]
(Slot 1571788789)
-- if the issues fails to return notional
-- guarantor pays from his account and refunds
(Pay "party2" (Party party1) (Constant 1010) Refund))
(Pay "party2" (Party "party1") (Constant 1010) Refund))
)]
(Slot 1569196789)
-- guarantor pays from his account and refunds
(Pay "party2" (Party party1) (Constant 1020) Refund)))]
(Pay "party2" (Party "party1") (Constant 1020) Refund)))]
(Slot 1566518389)
-- guarantor pays from his account and refunds
(Pay "party2" (Party party1) (Constant 1030) Refund)))]
(Pay "party2" (Party "party1") (Constant 1030) Refund)))]
-- if partees do not proceed guarantor automatically gets his money back
(Slot 1563839989) Refund)]
(Slot 1563839989) Refund
where
party1 = PubKey "party1"
party2 = PubKey "party2"
guarantor = PubKey "guarantor"


couponBondGuaranteedWithoutAccounts =
-- guarantor deposits a whole payoff amount including interest payments
When [Case (Deposit "party1" guarantor (Constant 1030))
When [Case (Deposit "party1" "guarantor" (Constant 1030))
-- investor deposits 1000 Ada
(When [Case (Deposit "party1" party1 (Constant 1000))
(Pay "party1" (Party party2) (Constant 1000)
(When [Case (Deposit "party1" party2 (Constant 10))
(Pay "party1" (Party party1) (Constant 10)
(When [Case (Deposit "party1" party2 (Constant 10))
(Pay "party1" (Party party1) (Constant 10)
(When [Case (Deposit "party1" party2 (Constant 1010))
(Pay "party1" (Party party1) (Constant 1010) Refund)]
(When [Case (Deposit "party1" "party1" (Constant 1000))
(Pay "party1" (Party "party2") (Constant 1000)
(When [Case (Deposit "party1" "party2" (Constant 10))
(Pay "party1" (Party "party1") (Constant 10)
(When [Case (Deposit "party1" "party2" (Constant 10))
(Pay "party1" (Party "party1") (Constant 10)
(When [Case (Deposit "party1" "party2" (Constant 1010))
(Pay "party1" (Party "party1") (Constant 1010) Refund)]
(Slot 1571788789)
(Pay "party1" (Party party1) (Constant 1010)
(Pay "party1" (Party "party1") (Constant 1010)
-- with single account we have to
-- manually redistibute money to guarantor
(Pay "party1" (Party guarantor) (Constant 20) Refund))))]
(Pay "party1" (Party "guarantor") (Constant 20) Refund))))]
(Slot 1569196789)
(Pay "party1" (Party party1) (Constant 1020)
(Pay "party1" (Party "party1") (Constant 1020)
-- in all the cases
(Pay "party1" (Party guarantor) (Constant 10) Refund))))]
(Pay "party1" (Party "guarantor") (Constant 10) Refund))))]
(Slot 1566518389)
-- here as well
(Pay "party1" (Party party1) (Constant 1030) Refund)))]
(Pay "party1" (Party "party1") (Constant 1030) Refund)))]
(Slot 1563839989)
-- and thes are only 3 payments
(Pay "party1" (Party guarantor) (Constant 1030) Refund))]
(Pay "party1" (Party "guarantor") (Constant 1030) Refund))]
(Slot 1563839989) Refund
where
party1 = PubKey "party1"
party2 = PubKey "party2"
guarantor = PubKey "guarantor"


{- Simply swap two payments between parties -}
swapExample =
When [ Case (Deposit acc1 party1 (Constant 500))
When [ Case (Deposit acc1 "party1" (Constant 500))
-- when 1st party committed, wait for 2nd
(When [ Case (Deposit acc2 party2 (Constant 300))
(Pay acc1 (Party party2) (Constant 500)
(Pay acc2 (Party party1) (Constant 300) Refund))
(When [ Case (Deposit acc2 "party2" (Constant 300))
(Pay acc1 (Party "party2") (Constant 500)
(Pay acc2 (Party "party1") (Constant 300) Refund))
] date1
-- if a party dosn't commit, simply Refund to the owner
Refund)
, Case (Deposit acc2 party2 (Constant 300))
, Case (Deposit acc2 "party2" (Constant 300))
-- if 2nd party committed first wait for 1st
(When [ Case (Deposit acc1 party1 (Constant 500))
(When [ Case (Deposit acc1 "party1" (Constant 500))
-- we can just pay a diff between account and refund
(Pay acc1 (Account acc2) (Constant 200) Refund)
] date1
-- if a party dosn't commit, simply Refund to the owner
Refund)
] (date1 - gracePeriod) Refund
where
party1 = PubKey "party1"
party2 = PubKey "party2"
gracePeriod = Slot 3*60*24 -- 24 hours
date1 = Slot 1563839989
acc1 = AccountId 1 party1
acc2 = AccountId 2 party2
acc1 = AccountId 1 "party1"
acc2 = AccountId 2 "party2"

{- Simply swap two payments between parties using single account, fully fungible -}
swapSingleAccount =
When [ Case (Deposit acc1 party1 (Constant 500))
(When [ Case (Deposit acc1 party2 (Constant 300))
(Pay acc1 (Party party2) (Constant 500)
(Pay acc1 (Party party1) (Constant 300) Refund))
When [ Case (Deposit acc1 "party1" (Constant 500))
(When [ Case (Deposit acc1 "party2" (Constant 300))
(Pay acc1 (Party "party2") (Constant 500)
(Pay acc1 (Party "party1") (Constant 300) Refund))
] (Slot date1)
-- refund to the 1st party
(Pay acc1 (Party party1) (Constant 500) Refund))
, Case (Deposit acc1 party2 (Constant 300))
(When [ Case (Deposit acc1 party1 (Constant 500))
(Pay acc1 (Party party2) (Constant 500)
(Pay acc1 (Party party1) (Constant 300) Refund))
(Pay acc1 (Party "party1") (Constant 500) Refund))
, Case (Deposit acc1 "party2" (Constant 300))
(When [ Case (Deposit acc1 "party1" (Constant 500))
(Pay acc1 (Party "party2") (Constant 500)
(Pay acc1 (Party "party1") (Constant 300) Refund))
] (Slot date1)
-- refund to the 2nd party
(Pay acc1 (Party party2) (Constant 300) Refund))
(Pay acc1 (Party "party2") (Constant 300) Refund))
] (Slot (date1 - gracePeriod)) Refund
where
party1 = PubKey "1"
party2 = PubKey "2"
gracePeriod = 3*60*24 -- 24 hours
date1 = 1563839989
acc1 = AccountId 1 party1
acc2 = AccountId 2 party2
acc1 = AccountId 1 "party1"
acc2 = AccountId 2 "party2"

{- Swap two payments between parties, all payments are guaranteed by a 3rd party -}
swapGuaranteedExample =
When [ Case (Deposit acc3 guarantor (Constant 800))
When [ Case (Deposit acc3 "guarantor" (Constant 800))
(When [
Case (Deposit acc1 party1 (Constant 500))
(When [ Case (Deposit acc2 party2 (Constant 300))
(Pay acc1 (Party party2) (Constant 500)
(Pay acc2 (Party party1) (Constant 300) Refund))
Case (Deposit acc1 "party1" (Constant 500))
(When [ Case (Deposit acc2 "party2" (Constant 300))
(Pay acc1 (Party "party2") (Constant 500)
(Pay acc2 (Party "party1") (Constant 300) Refund))
] date1
-- just transfer from guarantor account to party1 and refund to owner
(Pay acc3 (Account acc1) (Constant 300) Refund))
, Case (Deposit acc2 party2 (Constant 300))
(When [ Case (Deposit acc2 party2 (Constant 500))
(Pay acc1 (Party party2) (Constant 500)
(Pay acc2 (Party party1) (Constant 300) Refund))
, Case (Deposit acc2 "party2" (Constant 300))
(When [ Case (Deposit acc2 "party2" (Constant 500))
(Pay acc1 (Party "party2") (Constant 500)
(Pay acc2 (Party "party1") (Constant 300) Refund))
] date1
-- just transfer from guarantor account to party1 and refund to owner
(Pay acc3 (Account acc2) (Constant 500) Refund))
Expand All @@ -244,56 +223,50 @@ swapGuaranteedExample =
Refund)
] (date1 - 2 * gracePeriod) Refund
where
party1 = PubKey "1"
party2 = PubKey "2"
guarantor = PubKey "3"
gracePeriod = Slot 3*60*24 -- 24 hours
date1 = Slot 1563839989
acc1 = AccountId 1 party1
acc2 = AccountId 2 party2
acc3 = AccountId 3 guarantor
acc1 = AccountId 1 "party1"
acc2 = AccountId 2 "party2"
acc3 = AccountId 3 "guarantor"

{- Swap two payments between parties using single account.
All payments are guaranteed by a 3rd party.
-}
swapSingleAccountGuaranteedExample =
When [ Case (Deposit acc1 guarantor (Constant 800))
When [ Case (Deposit acc1 "guarantor" (Constant 800))
(When [
Case (Deposit acc1 party1 (Constant 500))
(When [ Case (Deposit acc1 party2 (Constant 300))
(Pay acc1 (Party party2) (Constant 500)
(Pay acc1 (Party party1) (Constant 300)
(Pay acc1 (Party guarantor) (Constant 800) Refund)))
Case (Deposit acc1 "party1" (Constant 500))
(When [ Case (Deposit acc1 "party2" (Constant 300))
(Pay acc1 (Party "party2") (Constant 500)
(Pay acc1 (Party "party1") (Constant 300)
(Pay acc1 (Party "guarantor") (Constant 800) Refund)))
] date1
-- with single account all payments must be duplicated
(Pay acc1 (Party party2) (Constant 500)
(Pay acc1 (Party party1) (Constant 300)
(Pay acc1 (Party guarantor) (Constant 500) Refund)))
(Pay acc1 (Party "party2") (Constant 500)
(Pay acc1 (Party "party1") (Constant 300)
(Pay acc1 (Party "guarantor") (Constant 500) Refund)))
)
, Case (Deposit acc2 party2 (Constant 300))
(When [ Case (Deposit acc2 party2 (Constant 500))
(Pay acc1 (Party party2) (Constant 500)
(Pay acc1 (Party party1) (Constant 300)
(Pay acc1 (Party guarantor) (Constant 800) Refund)))
, Case (Deposit acc2 "party2" (Constant 300))
(When [ Case (Deposit acc2 "party2" (Constant 500))
(Pay acc1 (Party "party2") (Constant 500)
(Pay acc1 (Party "party1") (Constant 300)
(Pay acc1 (Party "guarantor") (Constant 800) Refund)))
] date1
-- with single account all payments must be duplicated
(Pay acc1 (Party party2) (Constant 500)
(Pay acc1 (Party party1) (Constant 300)
(Pay acc1 (Party guarantor) (Constant 00) Refund)))
(Pay acc1 (Party "party2") (Constant 500)
(Pay acc1 (Party "party1") (Constant 300)
(Pay acc1 (Party "guarantor") (Constant 00) Refund)))
)
] (date1 - gracePeriod)
-- manually refund to guarantor if parties don't proceed
(Pay acc1 (Party guarantor) (Constant 800) Refund))
(Pay acc1 (Party "guarantor") (Constant 800) Refund))
] (date1 - 2 * gracePeriod) Refund
where
party1 = PubKey "1"
party2 = PubKey "2"
guarantor = PubKey "3"
gracePeriod = Slot 3*60*24 -- 24 hours
date1 = Slot 1563839989
acc1 = AccountId 1 party1
acc2 = AccountId 2 party2
acc3 = AccountId 3 guarantor
acc1 = AccountId 1 "party1"
acc2 = AccountId 2 "party2"
acc3 = AccountId 3 "guarantor"

choiceIdExample :: ChoiceId
choiceIdExample = ChoiceId "RockPaperScissors" "Alice"

0 comments on commit 37355ff

Please sign in to comment.