Data.IOArray

Definitions

record IOArray : Type -> Type

Totality: total
Visibility: export
Constructor: 

MkIOArray : Int -> ArrayData (Maybe elem) -> IOArray elem

Projections:

.content : IOArray elem -> ArrayData (Maybe elem)

.maxSize : IOArray elem -> Int

max : IOArray elem -> Int

Totality: total
Visibility: export

newArray : HasIO io => Int -> io (IOArray elem)

Totality: total
Visibility: export

writeArray : HasIO io => IOArray elem -> Int -> elem -> io Bool

Totality: total
Visibility: export

readArray : HasIO io => IOArray elem -> Int -> io (Maybe elem)

Totality: total
Visibility: export

newArrayCopy : HasIO io => Int -> IOArray elem -> io (IOArray elem)

Totality: total
Visibility: export

toList : HasIO io => IOArray elem -> io (List (Maybe elem))

Totality: total
Visibility: export

fromList : HasIO io => List (Maybe elem) -> io (IOArray elem)

Totality: total
Visibility: export