Data.IOMatrix

Definitions

record IOMatrix : Type -> Type

Totality: total
Visibility: export
Constructor: 

MkIOMatrix : Int -> Int -> ArrayData (Maybe a) -> IOMatrix a

Projections:

.content : IOMatrix a -> ArrayData (Maybe a)

.maxHeight : IOMatrix a -> Int

.maxWidth : IOMatrix a -> Int

width : IOMatrix a -> Int

Totality: total
Visibility: export

height : IOMatrix a -> Int

Totality: total
Visibility: export

new : HasIO io => Int -> Int -> io (IOMatrix a)

Totality: total
Visibility: export

write : HasIO io => IOMatrix a -> Int -> Int -> a -> io Bool

Totality: total
Visibility: export

read : HasIO io => IOMatrix a -> Int -> Int -> io (Maybe a)

Totality: total
Visibility: export