free-algebras-0.0.4.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 :: *) Source # 
Instance details

Defined in Data.Semigroup.SemiLattice

type AlgebraType FreeSemiLattice (a :: *) Source # 
Instance details

Defined in Data.Semigroup.SemiLattice