free-algebras-0.1.0.1: Free algebras
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Monoid.Abelian

Synopsis

Documentation

newtype FreeAbelianMonoid a Source #

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

It is a monad on the full subcategory which satisfies the Ord constraint, but base does not allow to define a functor / applicative / monad instances which are constraint by a class.

Instances

Instances details
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