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

proof :: AlgebraType0 FreeSemiLattice a => Proof (AlgebraType FreeSemiLattice (FreeSemiLattice a)) (FreeSemiLattice a)

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

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

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 => 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

Ord a => AbelianSemigroup (FreeSemiLattice a)

Defined in Data.Semigroup.SemiLattice

type AlgebraType0 FreeSemiLattice (a :: *)

Defined in Data.Semigroup.SemiLattice

type AlgebraType0 FreeSemiLattice (a :: *) = Ord a

type AlgebraType FreeSemiLattice (a :: *)

Defined in Data.Semigroup.SemiLattice

type AlgebraType FreeSemiLattice (a :: *)

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

toNonEmpty :: FreeSemiLattice a -> NonEmpty a