
  0 | module Dinwiddy.Matrix
  1 | 
  2 | import Dinwiddy.UnsafeArray
  3 | import Dinwiddy.Array
  4 | 
  5 | import Data.Vect
  6 | 
  7 | ||| Generic unsafe 2D Matrix type.
  8 | public export
  9 | UnsafeMatrix2 : Type -> Type
 10 | UnsafeMatrix2 = UnsafeArray 2
 11 | 
 12 | ||| Generic safe 2D Matrix type
 13 | public export
 14 | Matrix2 : Vect 2 Nat -> Type -> Type
 15 | Matrix2 = Array 2
 16 |