Idris2Doc : Data.IOArray

Data.IOArray

IOArray : Type -> Type
Totality: total
Constructor: 
fromList : HasIOio => List (Maybeelem) -> io (IOArrayelem)
max : IOArrayelem -> Int
newArray : HasIOio => Int -> io (IOArrayelem)
newArrayCopy : HasIOio => Int -> IOArrayelem -> io (IOArrayelem)
readArray : HasIOio => IOArrayelem -> Int -> io (Maybeelem)
toList : HasIOio => IOArrayelem -> io (List (Maybeelem))
writeArray : HasIOio => IOArrayelem -> Int -> elem -> ioUnit