free-algebras-0.0.7.0: Free algebras in Haskell.

Safe HaskellNone
LanguageHaskell2010

Data.Monoid.Abelian

Synopsis

Documentation

newtype FreeAbelianMonoid a Source #

Free abelian monoid. Note that `FreeAbelianMonoid () ≅ Natural` as expected.

Constructors

FreeAbelianMonoid (Map a Natural) 
Instances
FreeAlgebra FreeAbelianMonoid Source # 
Instance details

Defined in Data.Monoid.Abelian

Eq a => Eq (FreeAbelianMonoid a) Source # 
Instance details

Defined in Data.Monoid.Abelian

Ord a => Ord (FreeAbelianMonoid a) Source # 
Instance details

Defined in Data.Monoid.Abelian

Show a => Show (FreeAbelianMonoid a) Source # 
Instance details

Defined in Data.Monoid.Abelian

Ord a => Semigroup (FreeAbelianMonoid a) Source # 
Instance details

Defined in Data.Monoid.Abelian

Ord a => Monoid (FreeAbelianMonoid a) Source # 
Instance details

Defined in Data.Monoid.Abelian

Ord a => AbelianSemigroup (FreeAbelianMonoid a) Source # 
Instance details

Defined in Data.Monoid.Abelian

type AlgebraType0 FreeAbelianMonoid (a :: Type) Source # 
Instance details

Defined in Data.Monoid.Abelian

type AlgebraType FreeAbelianMonoid (m :: Type) Source # 
Instance details

Defined in Data.Monoid.Abelian