Idris2Doc : PrimIO

PrimIO

data AnyPtr : Type
  Totality: total
data GCAnyPtr : Type
  Totality: total
data GCPtr : Type -> Type
  Totality: total
data IO : Type -> Type
  Totality: total
  Constructor: 
MkIO : (1 _ : PrimIO a) -> IO a
data IORes : Type -> Type
  Totality: total
  Constructor: 
MkIORes : a -> (1 _ : %World) -> IORes a
PrimIO : Type -> Type
  Idris's primitive IO, for building abstractions on top of.

  Totality: total
data Ptr : Type -> Type
  Totality: total
data ThreadID : Type
  Totality: total
fromPrim : (1 _ : ((1 _ : %World) -> IORes a)) -> IO a
  Totality: total
io_bind : (1 _ : IO a) -> (1 _ : (a -> IO b)) -> IO b
  Totality: total
io_pure : a -> IO a
  Totality: total
prim__castPtr : AnyPtr -> Ptr t
  Totality: total
prim__forgetPtr : Ptr t -> AnyPtr
  Totality: total
prim__getNullAnyPtr : AnyPtr
prim__io_bind : (1 _ : PrimIO a) -> (1 _ : (a -> PrimIO b)) -> PrimIO b
  Totality: total
prim__io_pure : a -> PrimIO a
  Totality: total
prim__nullAnyPtr : AnyPtr -> Int
prim__nullPtr : Ptr t -> Int
  Totality: total
toPrim : (1 _ : IO a) -> PrimIO a
  Totality: total
unsafePerformIO : IO a -> a
  Totality: total