Idris2Doc : Data.IOArray

Data.IOArray

record IOArray : Type -> Type
  Totality: total
  Constructor: 
MkIOArray : Int -> ArrayData (Maybe elem) -> IOArray elem

  Projections:
  
.content : IOArray elem -> ArrayData (Maybe elem)
  
.maxSize : IOArray elem -> Int
fromList : HasIO io => List (Maybe elem) -> io (IOArray elem)
  Totality: total
max : IOArray elem -> Int
  Totality: total
newArray : HasIO io => Int -> io (IOArray elem)
  Totality: total
newArrayCopy : HasIO io => Int -> IOArray elem -> io (IOArray elem)
  Totality: total
readArray : HasIO io => IOArray elem -> Int -> io (Maybe elem)
  Totality: total
toList : HasIO io => IOArray elem -> io (List (Maybe elem))
  Totality: total
writeArray : HasIO io => IOArray elem -> Int -> elem -> io Bool
  Totality: total