Idris2Doc : Data.IOArray

Data.IOArray

recordIOArray : Type -> Type
Totality: total
Constructor: 
MkIOArray : Int -> ArrayData (Maybeelem) -> IOArrayelem

Projections:
.content : IOArrayelem -> ArrayData (Maybeelem)
.maxSize : IOArrayelem -> Int
fromList : HasIOio => List (Maybeelem) -> io (IOArrayelem)
Totality: total
max : IOArrayelem -> Int
Totality: total
newArray : HasIOio => Int -> io (IOArrayelem)
Totality: total
newArrayCopy : HasIOio => Int -> IOArrayelem -> io (IOArrayelem)
Totality: total
readArray : HasIOio => IOArrayelem -> Int -> io (Maybeelem)
Totality: total
toList : HasIOio => IOArrayelem -> io (List (Maybeelem))
Totality: total
writeArray : HasIOio => IOArrayelem -> Int -> elem -> ioBool
Totality: total