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
|
| 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 |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
State Monad
|