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

Data.Semigroup.Semilattice

Synopsis

Documentation

data FreeSemilattice a Source #

FreeSemilattice is a non empty set.

Instances

Instances details
FreeAlgebra FreeSemilattice Source # 
Instance details

Defined in Data.Semigroup.Semilattice

Ord a => Semigroup (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 => AbelianSemigroup (FreeSemilattice a) 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

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

Defined in Data.Semigroup.Semilattice

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

Defined in Data.Semigroup.Semilattice