Idris2Doc : PrimIO

PrimIO

dataAnyPtr : Type
Totality: total
dataGCAnyPtr : Type
Totality: total
dataGCPtr : Type -> Type
Totality: total
dataIO : Type -> Type
Totality: total
Constructor: 
MkIO : (1 _ : PrimIOa) -> IOa
dataIORes : Type -> Type
Totality: total
Constructor: 
MkIORes : a -> (1 _ : %World) -> IOResa
PrimIO : Type -> Type
  Idris's primitive IO, for building abstractions on top of.

Totality: total
dataPtr : Type -> Type
Totality: total
dataThreadID : Type
Totality: total
fromPrim : (1 _ : ((1 _ : %World) -> IOResa)) -> IOa
Totality: total
io_bind : (1 _ : IOa) -> (1 _ : (a -> IOb)) -> IOb
Totality: total
io_pure : a -> IOa
Totality: total
prim__castPtr : AnyPtr -> Ptrt
Totality: total
prim__forgetPtr : Ptrt -> AnyPtr
Totality: total
prim__getNullAnyPtr : AnyPtr
prim__io_bind : (1 _ : PrimIOa) -> (1 _ : (a -> PrimIOb)) -> PrimIOb
Totality: total
prim__io_pure : a -> PrimIOa
Totality: total
prim__nullAnyPtr : AnyPtr -> Int
prim__nullPtr : Ptrt -> Int
Totality: total
toPrim : (1 _ : IOa) -> PrimIOa
Totality: total
unsafePerformIO : IOa -> a
Totality: total