Pandora.Paradigm.Primary.Linear.Matrix

Documentation

newtype Matrix i j a

Constructors

Matrix (Vector i (Vector j a))

Instances

(Semigroup a, Semigroup (Vector i a), Semigroup (Vector i (Vector j a))) => Semigroup (Matrix i j a)

Defined in Pandora.Paradigm.Primary.Linear.Matrix

Methods

(+) :: Matrix i j a -> Matrix i j a -> Matrix i j a

(Monoid a, Monoid (Vector i a), Monoid (Vector i (Vector j a))) => Monoid (Matrix i j a)

Defined in Pandora.Paradigm.Primary.Linear.Matrix

Methods

zero :: Matrix i j a

(Setoid a, Setoid (Vector i a), Setoid (Vector i (Vector j a))) => Setoid (Matrix i j a)

Defined in Pandora.Paradigm.Primary.Linear.Matrix

Methods

(==) :: Matrix i j a -> Matrix i j a -> Boolean

(!=) :: Matrix i j a -> Matrix i j a -> Boolean

(?=) :: Matrix i j a -> Matrix i j a -> r -> r -> r