Idris2Doc : System.UV.Raw.Callback

System.UV.Raw.Callback

(source)

Definitions

prim__foreign_callable_entry_point : AnyPtr->AnyPtr
prim__ptrCB : (AnyPtr->PrimIO ()) ->PrimIOAnyPtr
prim__ptrUintCB : (AnyPtr->Bits32->PrimIO ()) ->PrimIOAnyPtr
prim__ptrIntCB : (AnyPtr->Int32->PrimIO ()) ->PrimIOAnyPtr
prim__ptrIntPtrCB : (AnyPtr->Int32->AnyPtr->PrimIO ()) ->PrimIOAnyPtr
prim__ptrUintPtrCB : (AnyPtr->Bits32->AnyPtr->PrimIO ()) ->PrimIOAnyPtr
prim__ptrIntPtrPtrCB : (AnyPtr->Int32->AnyPtr->AnyPtr->PrimIO ()) ->PrimIOAnyPtr
lockAnyPtr : HasIOio=>AnyPtr->io ()
Totality: total
Visibility: export
unlockAnyPtr : HasIOio=>AnyPtr->io ()
Totality: total
Visibility: export
ptrCB : HasIOio=> (Ptrt->IO ()) ->ioAnyPtr
Totality: total
Visibility: export
ptrUintCB : HasIOio=> (Ptrt->Bits32->IO ()) ->ioAnyPtr
Totality: total
Visibility: export
ptrIntCB : HasIOio=> (Ptrt->Int32->IO ()) ->ioAnyPtr
Totality: total
Visibility: export
ptrIntPtrCB : HasIOio=> (Ptrt->Int32->Ptru->IO ()) ->ioAnyPtr
Totality: total
Visibility: export
ptrIntPtrPtrCB : HasIOio=> (Ptrt->Int32->Ptru->Ptrv->IO ()) ->ioAnyPtr
Totality: total
Visibility: export
ptrUintPtrCB : HasIOio=> (Ptrt->Bits32->Ptru->IO ()) ->ioAnyPtr
Totality: total
Visibility: export