Spidr.Compiler.Array

For internal spidr use only.

Definitions

sizeofPtr : Bits64

prim__getArrayVoidPtr : AnyPtr -> Bits64 -> AnyPtr

prim__setArrayVoidPtr : AnyPtr -> Bits64 -> AnyPtr -> PrimIO ()

data Array : Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkArray : GCAnyPtr -> Bits64 -> Array a

interface ArrayType : Type -> Type

Parameters: a
Methods:

elemSize : Bits64

get : Array a -> Nat -> a

set : HasIO io => Array a -> Nat -> a -> io ()

Implementations:

ArrayType Int8

ArrayType Int16

ArrayType Int32

ArrayType Int64

ArrayType Bits8

ArrayType Bits16

ArrayType Bits32

ArrayType Bits64

ArrayType Double

ArrayType Bool

elemSize : ArrayType a => Bits64

Totality: total
Visibility: public export

get : ArrayType a => Array a -> Nat -> a

Totality: total
Visibility: public export

set : ArrayType a => HasIO io => Array a -> Nat -> a -> io ()

Totality: total
Visibility: public export

mkArray : HasIO io => ArrayType a => Nat -> io (Array a)

  An uninitialized array. Contents may be anything.

Totality: total
Visibility: export

fromList : HasIO io => ArrayType a => List a -> io (Array a)

Totality: total
Visibility: export

toList : ArrayType a => Array a -> List a

Totality: total
Visibility: export