Idris2Doc : PrimIO

PrimIO

AnyPtr : Type
Totality: total
GCAnyPtr : Type
Totality: total
GCPtr : Type -> Type
Totality: total
IO : Type -> Type
Totality: total
Constructor: 
MkIO : (1 _ : PrimIOa) -> IOa
IORes : Type -> Type
Totality: total
Constructor: 
MkIORes : a -> (1 _ : %World) -> IOResa
PrimIO : Type -> Type
Idris's primitive IO, for building abstractions on top of.
Ptr : Type -> Type
Totality: total
ThreadID : Type
Totality: total
fromPrim : (1 _ : ((1 _ : %World) -> IOResa)) -> IOa
io_bind : (1 _ : IOa) -> (1 _ : (a -> IOb)) -> IOb
io_pure : a -> IOa
prim__castPtr : AnyPtr -> Ptrt
prim__forgetPtr : Ptrt -> AnyPtr
prim__getNullAnyPtr : AnyPtr
prim__io_bind : (1 _ : PrimIOa) -> (1 _ : (a -> PrimIOb)) -> PrimIOb
prim__io_pure : a -> PrimIOa
prim__nullAnyPtr : AnyPtr -> Int
prim__nullPtr : Ptrt -> Int
toPrim : (1 _ : IOa) -> PrimIOa
unsafePerformIO : IOa -> a