Idris2Doc : Prim.Array

Prim.Array

(source)

Definitions

prim__getArrayChar : PtrChar->Bits64->Char
prim__getArrayString : PtrString->Bits64->String
prim__getArrayBool : PtrBool->Bits64->Bool
prim__getArrayInt8 : PtrInt8->Bits64->Int8
prim__getArrayInt16 : PtrInt16->Bits64->Int16
prim__getArrayInt32 : PtrInt32->Bits64->Int32
prim__getArrayInt64 : PtrInt64->Bits64->Int64
prim__getArrayBits8 : PtrBits8->Bits64->Bits8
prim__getArrayBits16 : PtrBits16->Bits64->Bits16
prim__getArrayBits32 : PtrBits32->Bits64->Bits32
prim__getArrayBits64 : PtrBits64->Bits64->Bits64
prim__getArrayDouble : PtrDouble->Bits64->Double
prim__setArrayChar : PtrChar->Bits64->Char->PrimIO ()
prim__setArrayString : PtrString->Bits64->String->PrimIO ()
prim__setArrayBool : PtrBool->Bits64->Bool->PrimIO ()
prim__setArrayInt8 : PtrInt8->Bits64->Int8->PrimIO ()
prim__setArrayInt16 : PtrInt16->Bits64->Int16->PrimIO ()
prim__setArrayInt32 : PtrInt32->Bits64->Int32->PrimIO ()
prim__setArrayInt64 : PtrInt64->Bits64->Int64->PrimIO ()
prim__setArrayBits8 : PtrBits8->Bits64->Bits8->PrimIO ()
prim__setArrayBits16 : PtrBits16->Bits64->Bits16->PrimIO ()
prim__setArrayBits32 : PtrBits32->Bits64->Bits32->PrimIO ()
prim__setArrayBits64 : PtrBits64->Bits64->Bits64->PrimIO ()
prim__setArrayDouble : PtrDouble->Bits64->Double->PrimIO ()