SubHask.Algebra.Ring

Documentation

newtype Componentwise v

Every free module can be converted into a ring with this type. Intuitively, this lets us use all our code designed for univariate operations on vectors.

Constructors

Componentwise

Fields

unComponentwise :: v

Instances

IsMutable (Componentwise v)

(FiniteModule v, VectorSpace v) => Field (Componentwise v)

FiniteModule v => Ring (Componentwise v)

FiniteModule v => Rig (Componentwise v)

FreeModule v => Rg (Componentwise v)

Abelian v => Abelian (Componentwise v)

Group v => Group (Componentwise v)

Cancellative v => Cancellative (Componentwise v)

Monoid v => Monoid (Componentwise v)

Semigroup v => Semigroup (Componentwise v)

Eq_ v => Eq_ (Componentwise v)

type Elem (Componentwise v) = Scalar v

type Scalar (Componentwise v) = Scalar v

type Logic (Componentwise v) = Logic v

type SetElem (Componentwise v) v' = Componentwise v'