claudiomaradonna/plutus-pioneer-program
1
0
Fork 0
mirror of https://github.com/FiloSpaTeam/plutus-pioneer-program.git synced 2024-11-22 06:42:00 +01:00
Code Issues Projects Releases Packages Wiki Activity

updated code

Browse source
This commit is contained in:
Lars Brünjes 2021-07-20 23:36:09 +02:00
parent 9132d1b281
commit fdd56c11c3
No known key found for this signature in database
GPG key ID: B488B9045DC1A087
4 changed files with 11 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
code/week04/cabal.project
View file

@ -25,7 +25,7 @@ source-repository-package
prettyprinter-configurable prettyprinter-configurable
quickcheck-dynamic quickcheck-dynamic
word-array word-array
tag: 72bafd845cb39cf08c24d063503b83e2ee5aa5cc tag: 2fbb7abb22138a434bb6c4f663a81e9b9dc51e98
-- The following sections are copied from the 'plutus' repository cabal.project at the revision -- The following sections are copied from the 'plutus' repository cabal.project at the revision
-- given above. -- given above.

9
code/week04/src/Week04/Contract.hs
View file

@ -19,7 +19,7 @@ import Wallet.Emulator.Wallet
myContract1 :: Contract () Empty Text () myContract1 :: Contract () Empty Text ()
myContract1 = do myContract1 = do
void $ Contract.throwError "BOOM!" void $ Contract.throwError "BOOM!"
Contract.logInfo @String "Hello from the contract!" Contract.logInfo @String "hello from the contract"
myTrace1 :: EmulatorTrace () myTrace1 :: EmulatorTrace ()
myTrace1 = void $ activateContractWallet (Wallet 1) myContract1 myTrace1 = void $ activateContractWallet (Wallet 1) myContract1
@ -29,7 +29,7 @@ test1 = runEmulatorTraceIO myTrace1
myContract2 :: Contract () Empty Void () myContract2 :: Contract () Empty Void ()
myContract2 = Contract.handleError myContract2 = Contract.handleError
(\err -> Contract.logError $ "Caught error: " ++ unpack err) (\err -> Contract.logError $ "caught: " ++ unpack err)
myContract1 myContract1
myTrace2 :: EmulatorTrace () myTrace2 :: EmulatorTrace ()
@ -38,17 +38,20 @@ myTrace2 = void $ activateContractWallet (Wallet 1) myContract2
test2 :: IO () test2 :: IO ()
test2 = runEmulatorTraceIO myTrace2 test2 = runEmulatorTraceIO myTrace2
type MySchema = Endpoint "foo" Int type MySchema = Endpoint "foo" Int .\/ Endpoint "bar" String
myContract3 :: Contract () MySchema Text () myContract3 :: Contract () MySchema Text ()
myContract3 = do myContract3 = do
n <- endpoint @"foo" n <- endpoint @"foo"
Contract.logInfo n Contract.logInfo n
s <- endpoint @"bar"
Contract.logInfo s
myTrace3 :: EmulatorTrace () myTrace3 :: EmulatorTrace ()
myTrace3 = do myTrace3 = do
h <- activateContractWallet (Wallet 1) myContract3 h <- activateContractWallet (Wallet 1) myContract3
callEndpoint @"foo" h 42 callEndpoint @"foo" h 42
callEndpoint @"bar" h "Haskell"
test3 :: IO () test3 :: IO ()
test3 = runEmulatorTraceIO myTrace3 test3 = runEmulatorTraceIO myTrace3

5
code/week04/src/Week04/Solution.hs
View file

@ -35,13 +35,14 @@ payContract = do
payTrace :: Integer -> Integer -> EmulatorTrace () payTrace :: Integer -> Integer -> EmulatorTrace ()
payTrace x y = do payTrace x y = do
h <- activateContractWallet (Wallet 1) payContract h <- activateContractWallet (Wallet 1) payContract
let pkh = pubKeyHash $ walletPubKey $ Wallet 2
callEndpoint @"pay" h $ PayParams callEndpoint @"pay" h $ PayParams
{ ppRecipient = pubKeyHash $ walletPubKey $ Wallet 2 { ppRecipient = pkh
, ppLovelace = x , ppLovelace = x
} }
void $ Emulator.waitNSlots 1 void $ Emulator.waitNSlots 1
callEndpoint @"pay" h $ PayParams callEndpoint @"pay" h $ PayParams
{ ppRecipient = pubKeyHash $ walletPubKey $ Wallet 2 { ppRecipient = pkh
, ppLovelace = y , ppLovelace = y
} }
void $ Emulator.waitNSlots 1 void $ Emulator.waitNSlots 1

2
code/week04/src/Week04/Trace.hs
View file

@ -31,4 +31,4 @@ myTrace = do
void $ waitUntilSlot 20 void $ waitUntilSlot 20
callEndpoint @"grab" h2 () callEndpoint @"grab" h2 ()
s <- waitNSlots 1 s <- waitNSlots 1
Extras.logInfo $ "reached slot " ++ show s Extras.logInfo $ "reached " ++ show s