Idris2Doc : Data.Linear.Array

Data.Linear.Array

interfaceArray : (Type -> Type) -> Type
Parameters: arr
Methods:
read : (1 _ : arrt) -> Int -> Maybet
size : (1 _ : arrt) -> Int

Implementations:
ArrayLinArray
ArrayIArray
dataIArray : Type -> Type
Totality: total
Constructor: 
MkIArray : IOArrayt -> IArrayt
dataLinArray : Type -> Type
Totality: total
Constructor: 
MkLinArray : IOArrayt -> LinArrayt
interfaceMArray : (Type -> Type) -> Type
Parameters: arr
Constraints: Array arr
Methods:
newArray : Int -> (1 _ : ((1 _ : arrt) -> a)) -> a
write : (1 _ : arrt) -> Int -> t -> ResBool (const (arrt))
mread : (1 _ : arrt) -> Int -> Res (Maybet) (const (arrt))
msize : (1 _ : arrt) -> ResInt (const (arrt))

Implementation: 
MArrayLinArray
copyArray : MArrayarr => Int -> (1 _ : arrt) -> LPair (arrt) (arrt)
mread : MArrayarr => (1 _ : arrt) -> Int -> Res (Maybet) (const (arrt))
msize : MArrayarr => (1 _ : arrt) -> ResInt (const (arrt))
newArray : MArrayarr => Int -> (1 _ : ((1 _ : arrt) -> a)) -> a
read : Arrayarr => (1 _ : arrt) -> Int -> Maybet
size : Arrayarr => (1 _ : arrt) -> Int
toIArray : (1 _ : LinArrayt) -> (IArrayt -> a) -> a
write : MArrayarr => (1 _ : arrt) -> Int -> t -> ResBool (const (arrt))