Module

Data.Matrix.RegularMatrices

#RegularMatrix

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)

Modules