Data.Semigroup.Semilattice

Documentation

data FreeSemilattice a

FreeSemilattice is a non empty set.

Instances

FreeAlgebra FreeSemilattice

Defined in Data.Semigroup.Semilattice

Methods

returnFree :: a -> FreeSemilattice a

foldMapFree :: (AlgebraType FreeSemilattice d, AlgebraType0 FreeSemilattice a) => (a -> d) -> FreeSemilattice a -> d

codom :: AlgebraType0 FreeSemilattice a => Proof (AlgebraType FreeSemilattice (FreeSemilattice a)) (FreeSemilattice a)

forget :: AlgebraType FreeSemilattice a => Proof (AlgebraType0 FreeSemilattice a) (FreeSemilattice a)

Ord a => Semigroup (FreeSemilattice a)

Defined in Data.Semigroup.Semilattice

Methods

(<>) :: FreeSemilattice a -> FreeSemilattice a -> FreeSemilattice a

sconcat :: NonEmpty (FreeSemilattice a) -> FreeSemilattice a

stimes :: Integral b => b -> FreeSemilattice a -> FreeSemilattice a

Show a => Show (FreeSemilattice a)

Defined in Data.Semigroup.Semilattice

Methods

showsPrec :: Int -> FreeSemilattice a -> ShowS

show :: FreeSemilattice a -> String

showList :: [FreeSemilattice a] -> ShowS

Ord a => AbelianSemigroup (FreeSemilattice a)

Defined in Data.Semigroup.Semilattice

Eq a => Eq (FreeSemilattice a)

Defined in Data.Semigroup.Semilattice

Methods

(==) :: FreeSemilattice a -> FreeSemilattice a -> Bool

(/=) :: FreeSemilattice a -> FreeSemilattice a -> Bool

Ord a => Ord (FreeSemilattice a)

Defined in Data.Semigroup.Semilattice

Methods

compare :: FreeSemilattice a -> FreeSemilattice a -> Ordering

(<) :: FreeSemilattice a -> FreeSemilattice a -> Bool

(<=) :: FreeSemilattice a -> FreeSemilattice a -> Bool

(>) :: FreeSemilattice a -> FreeSemilattice a -> Bool

(>=) :: FreeSemilattice a -> FreeSemilattice a -> Bool

max :: FreeSemilattice a -> FreeSemilattice a -> FreeSemilattice a

min :: FreeSemilattice a -> FreeSemilattice a -> FreeSemilattice a

type AlgebraType FreeSemilattice (a :: Type)

Defined in Data.Semigroup.Semilattice

type AlgebraType FreeSemilattice (a :: Type)

type AlgebraType0 FreeSemilattice (a :: Type)

Defined in Data.Semigroup.Semilattice

type AlgebraType0 FreeSemilattice (a :: Type) = Ord a

fromNonEmpty :: Ord a => NonEmpty a -> FreeSemilattice a

toNonEmpty :: FreeSemilattice a -> NonEmpty a