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

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 #