Idris2Doc : System.UV.Raw.Callback

System.UV.Raw.Callback

(source)

Definitions

prim__foreign_callable_entry_point : AnyPtr -> AnyPtr
prim__ptrCB : (AnyPtr -> PrimIO ()) -> PrimIO AnyPtr
prim__ptrUintCB : (AnyPtr -> Bits32 -> PrimIO ()) -> PrimIO AnyPtr
prim__ptrIntCB : (AnyPtr -> Int32 -> PrimIO ()) -> PrimIO AnyPtr
prim__ptrIntPtrCB : (AnyPtr -> Int32 -> AnyPtr -> PrimIO ()) -> PrimIO AnyPtr
prim__ptrUintPtrCB : (AnyPtr -> Bits32 -> AnyPtr -> PrimIO ()) -> PrimIO AnyPtr
prim__ptrIntPtrPtrCB : (AnyPtr -> Int32 -> AnyPtr -> AnyPtr -> PrimIO ()) -> PrimIO AnyPtr
lockAnyPtr : HasIO io => AnyPtr -> io ()
Totality: total
Visibility: export
unlockAnyPtr : HasIO io => AnyPtr -> io ()
Totality: total
Visibility: export
ptrCB : HasIO io => (Ptr t -> IO ()) -> io AnyPtr
Totality: total
Visibility: export
ptrUintCB : HasIO io => (Ptr t -> Bits32 -> IO ()) -> io AnyPtr
Totality: total
Visibility: export
ptrIntCB : HasIO io => (Ptr t -> Int32 -> IO ()) -> io AnyPtr
Totality: total
Visibility: export
ptrIntPtrCB : HasIO io => (Ptr t -> Int32 -> Ptr u -> IO ()) -> io AnyPtr
Totality: total
Visibility: export
ptrIntPtrPtrCB : HasIO io => (Ptr t -> Int32 -> Ptr u -> Ptr v -> IO ()) -> io AnyPtr
Totality: total
Visibility: export
ptrUintPtrCB : HasIO io => (Ptr t -> Bits32 -> Ptr u -> IO ()) -> io AnyPtr
Totality: total
Visibility: export