Idris2Doc : System.UV.Raw.Callback
Definitions
prim__foreign_callable_entry_point : AnyPtr -> AnyPtrprim__ptrCB : (AnyPtr -> PrimIO ()) -> PrimIO AnyPtrprim__ptrUintCB : (AnyPtr -> Bits32 -> PrimIO ()) -> PrimIO AnyPtrprim__ptrIntCB : (AnyPtr -> Int32 -> PrimIO ()) -> PrimIO AnyPtrprim__ptrIntPtrCB : (AnyPtr -> Int32 -> AnyPtr -> PrimIO ()) -> PrimIO AnyPtrprim__ptrUintPtrCB : (AnyPtr -> Bits32 -> AnyPtr -> PrimIO ()) -> PrimIO AnyPtrprim__ptrIntPtrPtrCB : (AnyPtr -> Int32 -> AnyPtr -> AnyPtr -> PrimIO ()) -> PrimIO AnyPtrlockAnyPtr : 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