The inverse of a monad. A monad is a way to structure computations in terms of values and sequences of computations using those values. Monads allow the programmer to build up computations using sequential building blocks, which can themselves be sequences of computations.
Questions tagged [comonad]
63 questions
1
vote
1 answer
Haskell cabal Reactive package error
While trying to install Reactive with cabal, I get this:
src/FRP/Reactive/PrimReactive.hs:79:8:
Could not find module `Control.Comonad'
It is a member of the hidden package `comonad-1.1.1.6'.
Perhaps you need to add `comonad' to the…
Brandon oubiub
- 311
- 1
- 3
- 9
0
votes
1 answer
Writer monad and unsequence
I am using the Writer monad to keep track of an error ("collision") flag on arbitrary values (such as Int). Once the flag is set it is "sticky" and attaches itself to all values produced as a result of any operation with the marked one.
Sometimes…
krokodil
- 1,326
- 10
- 18
0
votes
1 answer
Is list a monad and comonad?
The list monad is given here. Also see Spivak's paper here. So list is a monad. Is it a comonad? How would you prove that?
user442920
- 857
- 4
- 21
- 49