Safe Haskell	None
Language	Haskell2010

Data.Semigroup.Semilattice

Synopsis

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

Documentation

data FreeSemilattice a Source #

FreeSemilattice is a non empty set.

Instances

Instances details

FreeAlgebra FreeSemilattice Source #
Instance details Defined in Data.Semigroup.Semilattice Methods returnFree :: a -> FreeSemilattice a Source # foldMapFree :: (AlgebraType FreeSemilattice d, AlgebraType0 FreeSemilattice a) => (a -> d) -> FreeSemilattice a -> d Source # codom :: AlgebraType0 FreeSemilattice a => Proof (AlgebraType FreeSemilattice (FreeSemilattice a)) (FreeSemilattice a) Source # forget :: AlgebraType FreeSemilattice a => Proof (AlgebraType0 FreeSemilattice a) (FreeSemilattice a) Source #
Eq a => Eq (FreeSemilattice a) Source #
Instance details Defined in Data.Semigroup.Semilattice Methods (==) :: FreeSemilattice a -> FreeSemilattice a -> Bool # (/=) :: FreeSemilattice a -> FreeSemilattice a -> Bool #
Ord a => Ord (FreeSemilattice a) Source #
Instance details 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) Source #
Instance details Defined in Data.Semigroup.Semilattice Methods showsPrec :: Int -> FreeSemilattice a -> ShowS # show :: FreeSemilattice a -> String # showList :: [FreeSemilattice a] -> ShowS #
Ord a => Semigroup (FreeSemilattice a) Source #
Instance details 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) Source #
Instance details Defined in Data.Semigroup.Semilattice
type AlgebraType0 FreeSemilattice (a :: Type) Source #
Instance details Defined in Data.Semigroup.Semilattice type AlgebraType0 FreeSemilattice (a :: Type) = Ord a
type AlgebraType FreeSemilattice (a :: Type) Source #
Instance details Defined in Data.Semigroup.Semilattice type AlgebraType FreeSemilattice (a :: Type)

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

toNonEmpty :: FreeSemilattice a -> NonEmpty a Source #