Dinwiddy.Matrix

Definitions

UnsafeMatrix2 : Type -> Type

  Generic unsafe 2D Matrix type.

Visibility: public export

Matrix2 : Vect 2 Nat -> Type -> Type

  Generic safe 2D Matrix type

Visibility: public export