free-algebras-0.0.8.0: Free algebras in Haskell.

Safe HaskellNone
LanguageHaskell2010

Data.Semigroup.Semilattice

Synopsis

Documentation

data FreeSemilattice a Source #

FreeSemilattice is a non empty set.

Instances
FreeAlgebra FreeSemilattice Source # 
Instance details

Defined in Data.Semigroup.Semilattice

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

Defined in Data.Semigroup.Semilattice

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

Defined in Data.Semigroup.Semilattice

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

Defined in Data.Semigroup.Semilattice

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

Defined in Data.Semigroup.Semilattice

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

Defined in Data.Semigroup.Semilattice

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

Defined in Data.Semigroup.Semilattice

type AlgebraType FreeSemilattice (a :: Type) Source # 
Instance details

Defined in Data.Semigroup.Semilattice