Idris2Doc : Prelude.IO

Prelude.IO

HasIO : (Type -> Type) -> Type
Parameters: io
Constraints: Monad io
Methods:
liftIO : IOa -> ioa

Implementation: 
HasLinearIOio => HasIOio
HasLinearIO : (Type -> Type) -> Type
Parameters: io
Constraints: Monad io
Methods:
liftIO1 : (1 _ : IOa) -> ioa

Implementation: 
HasLinearIOIO
fork : (1 _ : IOUnit) -> IOThreadID
Totality: total
getChar : HasIOio => io Char
Read one single-byte character from stdin.
Totality: total
getLine : HasIOio => io String
Read one line of input from stdin, without the trailing newline.
Totality: total
liftIO : HasIOio => IOa -> ioa
Totality: total
liftIO1 : HasLinearIOio => (1 _ : IOa) -> ioa
Totality: total
onCollect : Ptrt -> (Ptrt -> IOUnit) -> IO (GCPtrt)
Totality: total
onCollectAny : AnyPtr -> (AnyPtr -> IOUnit) -> IOGCAnyPtr
Totality: total
primIO : HasIOio => ((1 _ : %World) -> IOResa) -> ioa
Totality: total
primIO1 : HasLinearIOio => (1 _ : ((1 _ : %World) -> IOResa)) -> ioa
Totality: total
prim__fork : (1 _ : PrimIOUnit) -> PrimIOThreadID
prim__getErrno : Int
prim__getString : Ptr String -> String
prim__threadWait : (1 _ : ThreadID) -> PrimIOUnit
print : (HasIOio, Showa) => a -> ioUnit
Output something showable to stdout, without a trailing newline.
Totality: total
printLn : (HasIOio, Showa) => a -> ioUnit
Output something showable to stdout, with a trailing newline.
Totality: total
putChar : HasIOio => Char -> ioUnit
Write one single-byte character to stdout.
Totality: total
putCharLn : HasIOio => Char -> ioUnit
Write one multi-byte character to stdout, with a trailing newline.
Totality: total
putStr : HasIOio => String -> ioUnit
Output a string to stdout without a trailing newline.
Totality: total
putStrLn : HasIOio => String -> ioUnit
Output a string to stdout with a trailing newline.
Totality: total
threadWait : (1 _ : ThreadID) -> IOUnit
Totality: total