Statements (28)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:Functor
|
gptkbp:category |
monad transformer
|
gptkbp:definedIn |
Control.Monad.State (Haskell)
|
gptkbp:describedBy |
Comprehending Monads (Wadler, 1992)
Notions of Computation and Monads (Moggi, 1991) |
gptkbp:enables |
threading state through computations
purely functional state management |
gptkbp:formedBy |
gptkb:Eugenio_Moggi
gptkb:Philip_Wadler |
gptkbp:hasBindOperation |
>>=
|
gptkbp:hasReturnOperation |
return
|
gptkbp:hasTypeConstructor |
State s a
|
https://www.w3.org/2000/01/rdf-schema#label |
State Monad
|
gptkbp:provides |
get operation
modify operation put operation |
gptkbp:relatedTo |
gptkb:IO_Monad
gptkb:Reader_Monad gptkb:Writer_Monad |
gptkbp:surroundedBy |
state transitions
|
gptkbp:usedFor |
gptkb:simulation
random number generation parsing modeling stateful computations |
gptkbp:usedIn |
gptkb:Haskell
functional programming |
gptkbp:bfsParent |
gptkb:Monads
|
gptkbp:bfsLayer |
6
|