Idris2Doc : Data.LLVM.CC.Support
Definitions
toCList' : List AnyPtr -> IO AnyPtr
- Visibility: export
toCList : List AnyPtr -> PrimIO AnyPtr
- Visibility: export
fromCList' : Int -> AnyPtr -> IO (List AnyPtr)
- Visibility: export
fromCList : Int -> AnyPtr -> PrimIO (List AnyPtr)
- Visibility: export