Idris2Doc : Prim.Array

Prim.Array

(source)

Definitions

prim__getArrayChar : Ptr Char -> Bits64 -> Char
prim__getArrayString : Ptr String -> Bits64 -> String
prim__getArrayBool : Ptr Bool -> Bits64 -> Bool
prim__getArrayInt8 : Ptr Int8 -> Bits64 -> Int8
prim__getArrayInt16 : Ptr Int16 -> Bits64 -> Int16
prim__getArrayInt32 : Ptr Int32 -> Bits64 -> Int32
prim__getArrayInt64 : Ptr Int64 -> Bits64 -> Int64
prim__getArrayBits8 : Ptr Bits8 -> Bits64 -> Bits8
prim__getArrayBits16 : Ptr Bits16 -> Bits64 -> Bits16
prim__getArrayBits32 : Ptr Bits32 -> Bits64 -> Bits32
prim__getArrayBits64 : Ptr Bits64 -> Bits64 -> Bits64
prim__getArrayDouble : Ptr Double -> Bits64 -> Double
prim__setArrayChar : Ptr Char -> Bits64 -> Char -> PrimIO ()
prim__setArrayString : Ptr String -> Bits64 -> String -> PrimIO ()
prim__setArrayBool : Ptr Bool -> Bits64 -> Bool -> PrimIO ()
prim__setArrayInt8 : Ptr Int8 -> Bits64 -> Int8 -> PrimIO ()
prim__setArrayInt16 : Ptr Int16 -> Bits64 -> Int16 -> PrimIO ()
prim__setArrayInt32 : Ptr Int32 -> Bits64 -> Int32 -> PrimIO ()
prim__setArrayInt64 : Ptr Int64 -> Bits64 -> Int64 -> PrimIO ()
prim__setArrayBits8 : Ptr Bits8 -> Bits64 -> Bits8 -> PrimIO ()
prim__setArrayBits16 : Ptr Bits16 -> Bits64 -> Bits16 -> PrimIO ()
prim__setArrayBits32 : Ptr Bits32 -> Bits64 -> Bits32 -> PrimIO ()
prim__setArrayBits64 : Ptr Bits64 -> Bits64 -> Bits64 -> PrimIO ()
prim__setArrayDouble : Ptr Double -> Bits64 -> Double -> PrimIO ()