State monad

GPTKB entity

Statements (30)
Predicate Object
gptkbp:instanceOf gptkb:Functor
gptkbp:definedIn gptkb:category_theory
gptkbp:describedBy Haskell documentation
Wadler's papers
gptkbp:enables pure functional state manipulation
threading state through computations
gptkbp:example random number generation
parsing
stateful algorithms
gptkbp:function get
modify
put
evalState
execState
runState
gptkbp:hasBindOperation bind
gptkbp:hasCategoryTheoryDefinition endofunctor with two natural transformations
gptkbp:hasReturnOperation return
gptkbp:hasTypeConstructor State s a
https://www.w3.org/2000/01/rdf-schema#label State monad
gptkbp:originatedIn gptkb:mathematics
gptkbp:relatedTo gptkb:IO_monad
Reader monad
Writer monad
gptkbp:surroundedBy gptkb:state_order
gptkbp:usedFor modeling stateful computations
gptkbp:usedIn gptkb:Haskell
functional programming
gptkbp:bfsParent gptkb:Functor
gptkbp:bfsLayer 5