Questions tagged [monad]
The monad tag has no usage guidance.
6
questions
2
votes
0
answers
41
views
Whats a Good Example of Interconnected Smart Contracts?
In the Contract Monad we have the use of w s e a. Now w is used to connect contracts is there a good example of how this is done, in particular how to validate a contract using the w of another ...
- 972
2
votes
2
answers
56
views
Whats Your Mental Model For Monads?
I was asked by a friend trying to learn plutus what a monad was, so I began talking about category theory. It seems that this confused him further how would you explain monads to a noob?
Whats your ...
- 972
0
votes
1
answer
32
views
How to define the return type of `callEndPoint` appropriately?
In homework of week4, I refactored my solution:
payTrace :: Integer -> Integer -> EmulatorTrace ()
payTrace payment1 payment2 = do
contract1 <- activateContractWallet (knownWallet 1) ...
- 172
1
vote
2
answers
50
views
About Homework 4 - Getting PayParams through binding
This question is in the context of the homework for Lecture 4.
What is wrong with the following reasoning?
We know that payContract is type m (), where m stands for the monad Contract () PaySchema ...
- 63
5
votes
1
answer
76
views
Understanding do notation with Monads in Plutus Pioneer Week 04
I have a question regarding a block of code from th Week04 Plutus Pioneer Program. The block is in Writer.hs
foo'' :: Writer Int -> Writer Int -> Writer Int -> Writer Int
foo'' x y z = do
...
- 235
10
votes
2
answers
111
views
Test-Focused EvaluatorTrace Monad?
Is there infrastructure for writing unit/integration tests for our contracts, without running the full playground? Is there a test-focused EvaluatorTrace monad, for example?
- 687