Data.Matrix.RegularMatrices

newtype RegularMatrix s a

Constructors

• RegularMatrix (Matrix s s a)

Instances

• (Nat s, Show a) => Show (RegularMatrix s a)
• (Nat s) => Functor (RegularMatrix s)
• (Nat s) => Foldable (RegularMatrix s)
• (Eq a, Nat s) => Eq (RegularMatrix s a)
• (Nat s, CommutativeRing a) => Semiring (RegularMatrix s a)
• (Nat s, CommutativeRing a) => Ring (RegularMatrix s a)
• (Pos s, Field a) => DivisionRing (RegularMatrix s a)