IO Monad

GPTKB entity

Statements (55)
Predicate Object
gptkbp:instanceOf gptkb:Functor
gptkbp:bindOperator >>=
gptkbp:category effect monad
gptkbp:documentedIn gptkb:Haskell_98_Language_and_Libraries:_The_Revised_Report
gptkbp:enables pure functional programming with side effects
gptkbp:enforcedBy sequencing of side effects
gptkbp:function gptkb:print
gptkb:software
catch
bracket
openFile
finally
exitWith
forkIO
getArgs
getContents
getLine
getProgName
hClose
hGetContents
hPutStr
interact
modifyIORef
newIORef
newMVar
putMVar
putStrLn
randomIO
readFile
readIORef
takeMVar
threadDelay
writeFile
writeIORef
gptkbp:hasTypeConstructor IO
https://www.w3.org/2000/01/rdf-schema#label IO Monad
gptkbp:implementedIn gptkb:F#
gptkb:PureScript
gptkb:Idris
gptkbp:influencedBy monad abstraction
gptkbp:introducedIn gptkb:Haskell_1.3
gptkbp:originatedIn gptkb:category_theory
gptkbp:prevention uncontrolled side effects
gptkbp:purpose encapsulate input/output operations
gptkbp:relatedTo gptkb:Maybe_Monad
gptkb:State_Monad
gptkbp:returnOperator return
gptkbp:usedFor networking
random number generation
file operations
console output
console input
gptkbp:usedIn gptkb:Haskell
gptkbp:bfsParent gptkb:Monads
gptkbp:bfsLayer 6