Data.Semilattice.Lower

Lower bounds, related to Bounded, Join, Meet, and Ord.

Documentation

class Lower s where

The greatest lower bound of s.

Laws:

If s is Bounded, we require lowerBound and minBound to agree:

lowerBound = minBound

If s is a Join semilattice, lowerBound must be the identity of \/:

lowerBound \/ a = a

If s is a Meet semilattice, lowerBound must be the absorbing element of /\:

lowerBound /\ a = lowerBound

If s is Ordered, lowerBound must be at least as small as every terminating value:

compare lowerBound a /= GT

Methods

lowerBound :: s

lowerBound :: Bounded s => s

Instances

Lower Bool

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Bool

Lower Char

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Char

Lower Int

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Int

Lower Int8

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Int8

Lower Int16

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Int16

Lower Int32

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Int32

Lower Int64

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Int64

Lower Ordering

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Ordering

Lower Word8

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Word8

Lower Word16

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Word16

Lower Word32

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Word32

Lower Word64

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Word64

Lower ()

Defined in Data.Semilattice.Lower

Methods

lowerBound :: ()

Lower CDev

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CDev

Lower CIno

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CIno

Lower CMode

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CMode

Lower COff

Defined in Data.Semilattice.Lower

Methods

lowerBound :: COff

Lower CPid

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CPid

Lower CSsize

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CSsize

Lower CGid

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CGid

Lower CNlink

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CNlink

Lower CUid

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CUid

Lower CTcflag

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CTcflag

Lower CRLim

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CRLim

Lower CBlkSize

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CBlkSize

Lower CBlkCnt

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CBlkCnt

Lower CClockId

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CClockId

Lower CFsBlkCnt

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CFsBlkCnt

Lower CFsFilCnt

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CFsFilCnt

Lower CId

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CId

Lower CKey

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CKey

Lower Fd

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Fd

Lower All

Defined in Data.Semilattice.Lower

Methods

lowerBound :: All

Lower Any

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Any

Lower Associativity

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Associativity

Lower SourceUnpackedness

Defined in Data.Semilattice.Lower

Methods

lowerBound :: SourceUnpackedness

Lower SourceStrictness

Defined in Data.Semilattice.Lower

Methods

lowerBound :: SourceStrictness

Lower DecidedStrictness

Defined in Data.Semilattice.Lower

Methods

lowerBound :: DecidedStrictness

Lower CChar

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CChar

Lower CSChar

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CSChar

Lower CUChar

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CUChar

Lower CShort

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CShort

Lower CUShort

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CUShort

Lower CInt

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CInt

Lower CUInt

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CUInt

Lower CLong

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CLong

Lower CULong

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CULong

Lower CLLong

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CLLong

Lower CULLong

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CULLong

Lower CBool

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CBool

Lower CPtrdiff

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CPtrdiff

Lower CSize

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CSize

Lower CWchar

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CWchar

Lower CSigAtomic

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CSigAtomic

Lower CIntPtr

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CIntPtr

Lower CUIntPtr

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CUIntPtr

Lower CIntMax

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CIntMax

Lower CUIntMax

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CUIntMax

Lower WordPtr

Defined in Data.Semilattice.Lower

Methods

lowerBound :: WordPtr

Lower IntPtr

Defined in Data.Semilattice.Lower

Methods

lowerBound :: IntPtr

Lower GeneralCategory

Defined in Data.Semilattice.Lower

Methods

lowerBound :: GeneralCategory

Lower IntSet

Defined in Data.Semilattice.Lower

Methods

lowerBound :: IntSet

Lower [a]

Defined in Data.Semilattice.Lower

Methods

lowerBound :: [a]

Lower (Maybe a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Maybe a

Lower a => Lower (Min a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Min a

Lower a => Lower (Max a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Max a

Lower a => Lower (First a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: First a

Lower a => Lower (Last a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Last a

Lower a => Lower (WrappedMonoid a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: WrappedMonoid a

Lower a => Lower (Identity a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Identity a

Lower (First a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: First a

Lower (Last a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Last a

Lower a => Lower (Dual a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Dual a

Lower (Endo a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Endo a

Lower a => Lower (Sum a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Sum a

Lower a => Lower (Product a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Product a

Lower (IntMap a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: IntMap a

Lower (Seq a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Seq a

Lower (Set a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Set a

Lower (HashSet a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: HashSet a

Lower a => Lower (Joining a)

Defined in Data.Semilattice.Join

Methods

lowerBound :: Joining a

Upper a => Lower (Tumble a)

Defined in Data.Semilattice.Tumble

Methods

lowerBound :: Tumble a

Lower a => Lower (Order a)

Defined in Data.Semilattice.Order

Methods

lowerBound :: Order a

Bounded a => Lower (Bound a)

Defined in Data.Semilattice.Bound

Methods

lowerBound :: Bound a

Lower b => Lower (a -> b)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: a -> b

(Lower a, Lower b) => Lower (a, b)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b)

Lower (Proxy a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Proxy a

Lower (Map k a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Map k a

Lower (HashMap k a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: HashMap k a

(Lower a, Lower b, Lower c) => Lower (a, b, c)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c)

Lower a => Lower (Const a b)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Const a b

Coercible a b => Lower (Coercion a b)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Coercion a b

a ~ b => Lower (a :~: b)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: a :~: b

(Lower a, Lower b, Lower c, Lower d) => Lower (a, b, c, d)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d)

a ~~ b => Lower (a :~~: b)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: a :~~: b

(Lower a, Lower b, Lower c, Lower d, Lower e) => Lower (a, b, c, d, e)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f) => Lower (a, b, c, d, e, f)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f, Lower g) => Lower (a, b, c, d, e, f, g)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f, g)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f, Lower g, Lower h) => Lower (a, b, c, d, e, f, g, h)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f, g, h)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f, Lower g, Lower h, Lower i) => Lower (a, b, c, d, e, f, g, h, i)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f, g, h, i)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f, Lower g, Lower h, Lower i, Lower j) => Lower (a, b, c, d, e, f, g, h, i, j)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f, g, h, i, j)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f, Lower g, Lower h, Lower i, Lower j, Lower k) => Lower (a, b, c, d, e, f, g, h, i, j, k)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f, g, h, i, j, k)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f, Lower g, Lower h, Lower i, Lower j, Lower k, Lower l) => Lower (a, b, c, d, e, f, g, h, i, j, k, l)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f, g, h, i, j, k, l)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f, Lower g, Lower h, Lower i, Lower j, Lower k, Lower l, Lower m) => Lower (a, b, c, d, e, f, g, h, i, j, k, l, m)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f, Lower g, Lower h, Lower i, Lower j, Lower k, Lower l, Lower m, Lower n) => Lower (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

(Lower a, Lower b, Lower c, Lower d, Lower e, Lower f, Lower g, Lower h, Lower i, Lower j, Lower k, Lower l, Lower m, Lower n, Lower o) => Lower (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Bounded:

lowerBound == (minBound :: Bool)

Identity of \/:

lowerBound \/ a == (a :: Bool)

Absorbing element of /\:

lowerBound /\ a == (lowerBound :: Bool)

Ord:

compare lowerBound (a :: Bool) /= GT

>>> import Data.Semilattice.Join
>>> import Data.Semilattice.Meet
>>> import Test.QuickCheck (Arbitrary(..))
>>> import Test.QuickCheck.Function