Statements (33)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:Functor
|
gptkbp:category |
effect monad
|
gptkbp:definedIn |
Haskell standard library
|
gptkbp:enables |
composition of IO actions
lazy evaluation of IO actions pure functional interface to IO referential transparency in IO code safe handling of side effects sequencing of IO actions type safety in IO operations |
gptkbp:hasTypeConstructor |
IO
|
https://www.w3.org/2000/01/rdf-schema#label |
IO monad
|
gptkbp:influenced |
F# computation expressions
Scala IO monad other effect systems |
gptkbp:operator |
return
bind >>= do notation |
gptkbp:originatedIn |
gptkb:Haskell
|
gptkbp:prevention |
uncontrolled side effects
|
gptkbp:purpose |
model side effects
|
gptkbp:relatedTo |
gptkb:Maybe_monad
gptkb:State_monad Monad type class |
gptkbp:usedFor |
file IO
console IO interacting with the outside world network IO |
gptkbp:usedIn |
gptkb:Haskell
functional programming |
gptkbp:bfsParent |
gptkb:Functor
|
gptkbp:bfsLayer |
5
|