Idris2Doc : Data.LLVM.CC.Support

Data.LLVM.CC.Support

Definitions

toCList' : ListAnyPtr->IOAnyPtr
Visibility: export
toCList : ListAnyPtr->PrimIOAnyPtr
Visibility: export
fromCList' : Int->AnyPtr->IO (ListAnyPtr)
Visibility: export
fromCList : Int->AnyPtr->PrimIO (ListAnyPtr)
Visibility: export