State Monad

GPTKB entity

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