Safe Haskell	None
Language	Haskell2010

Data.Semilattice.Upper

Description

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

Synopsis

Documentation

class Upper s where Source #

The least upper bound of s.

Laws:

If s is Bounded, we require upperBound and maxBound to agree:

upperBound = maxBound

If s is a Meet semilattice, upperBound must be the identity of /\:

upperBound \/ a = a

If s is a Join semilattice, upperBound must be the absorbing element of \/:

upperBound \/ a = upperBound

If s is Ordered, upperBound must be at least as large as every terminating value:

compare upperBound a /= LT

Methods

upperBound :: s Source #

upperBound :: Bounded s => s Source #

Instances

Upper Bool Source #
Methods upperBound :: Bool Source #
Upper Char Source #
Methods upperBound :: Char Source #
Upper Int Source #
Methods upperBound :: Int Source #
Upper Int8 Source #
Methods upperBound :: Int8 Source #
Upper Int16 Source #
Methods upperBound :: Int16 Source #
Upper Int32 Source #
Methods upperBound :: Int32 Source #
Upper Int64 Source #
Methods upperBound :: Int64 Source #
Upper Ordering Source #
Methods upperBound :: Ordering Source #
Upper Word8 Source #
Methods upperBound :: Word8 Source #
Upper Word16 Source #
Methods upperBound :: Word16 Source #
Upper Word32 Source #
Methods upperBound :: Word32 Source #
Upper Word64 Source #
Methods upperBound :: Word64 Source #
Upper () Source #
Methods upperBound :: () Source #
Upper CDev Source #
Methods upperBound :: CDev Source #
Upper CIno Source #
Methods upperBound :: CIno Source #
Upper CMode Source #
Methods upperBound :: CMode Source #
Upper COff Source #
Methods upperBound :: COff Source #
Upper CPid Source #
Methods upperBound :: CPid Source #
Upper CSsize Source #
Methods upperBound :: CSsize Source #
Upper CGid Source #
Methods upperBound :: CGid Source #
Upper CNlink Source #
Methods upperBound :: CNlink Source #
Upper CUid Source #
Methods upperBound :: CUid Source #
Upper CTcflag Source #
Methods upperBound :: CTcflag Source #
Upper CRLim Source #
Methods upperBound :: CRLim Source #
Upper CBlkSize Source #
Methods upperBound :: CBlkSize Source #
Upper CBlkCnt Source #
Methods upperBound :: CBlkCnt Source #
Upper CClockId Source #
Methods upperBound :: CClockId Source #
Upper CFsBlkCnt Source #
Methods upperBound :: CFsBlkCnt Source #
Upper CFsFilCnt Source #
Methods upperBound :: CFsFilCnt Source #
Upper CId Source #
Methods upperBound :: CId Source #
Upper CKey Source #
Methods upperBound :: CKey Source #
Upper Fd Source #
Methods upperBound :: Fd Source #
Upper All Source #
Methods upperBound :: All Source #
Upper Any Source #
Methods upperBound :: Any Source #
Upper Associativity Source #
Methods upperBound :: Associativity Source #
Upper SourceUnpackedness Source #
Methods upperBound :: SourceUnpackedness Source #
Upper SourceStrictness Source #
Methods upperBound :: SourceStrictness Source #
Upper DecidedStrictness Source #
Methods upperBound :: DecidedStrictness Source #
Upper CChar Source #
Methods upperBound :: CChar Source #
Upper CSChar Source #
Methods upperBound :: CSChar Source #
Upper CUChar Source #
Methods upperBound :: CUChar Source #
Upper CShort Source #
Methods upperBound :: CShort Source #
Upper CUShort Source #
Methods upperBound :: CUShort Source #
Upper CInt Source #
Methods upperBound :: CInt Source #
Upper CUInt Source #
Methods upperBound :: CUInt Source #
Upper CLong Source #
Methods upperBound :: CLong Source #
Upper CULong Source #
Methods upperBound :: CULong Source #
Upper CLLong Source #
Methods upperBound :: CLLong Source #
Upper CULLong Source #
Methods upperBound :: CULLong Source #
Upper CBool Source #
Methods upperBound :: CBool Source #
Upper CPtrdiff Source #
Methods upperBound :: CPtrdiff Source #
Upper CSize Source #
Methods upperBound :: CSize Source #
Upper CWchar Source #
Methods upperBound :: CWchar Source #
Upper CSigAtomic Source #
Methods upperBound :: CSigAtomic Source #
Upper CIntPtr Source #
Methods upperBound :: CIntPtr Source #
Upper CUIntPtr Source #
Methods upperBound :: CUIntPtr Source #
Upper CIntMax Source #
Methods upperBound :: CIntMax Source #
Upper CUIntMax Source #
Methods upperBound :: CUIntMax Source #
Upper WordPtr Source #
Methods upperBound :: WordPtr Source #
Upper IntPtr Source #
Methods upperBound :: IntPtr Source #
Upper GeneralCategory Source #
Methods upperBound :: GeneralCategory Source #
Upper a => Upper (Min a) Source #
Methods upperBound :: Min a Source #
Upper a => Upper (Max a) Source #
Methods upperBound :: Max a Source #
Upper a => Upper (First a) Source #
Methods upperBound :: First a Source #
Upper a => Upper (Last a) Source #
Methods upperBound :: Last a Source #
Upper a => Upper (WrappedMonoid a) Source #
Methods upperBound :: WrappedMonoid a Source #
Upper a => Upper (Identity a) Source #
Methods upperBound :: Identity a Source #
Upper a => Upper (Dual a) Source #
Methods upperBound :: Dual a Source #
Upper a => Upper (Sum a) Source #
Methods upperBound :: Sum a Source #
Upper a => Upper (Product a) Source #
Methods upperBound :: Product a Source #
Upper a => Upper (Meeting a) Source #
Methods upperBound :: Meeting a Source #
Lower a => Upper (Tumble a) Source #
Methods upperBound :: Tumble a Source #
Upper a => Upper (Order a) Source #
Methods upperBound :: Order a Source #
Bounded a => Upper (Bound a) Source #
Methods upperBound :: Bound a Source #
Upper b => Upper (a -> b) Source #
Methods upperBound :: a -> b Source #
(Upper a, Upper b) => Upper (a, b) Source #
Methods upperBound :: (a, b) Source #
Upper (Proxy k a) Source #
Methods upperBound :: Proxy k a Source #
(Upper a, Upper b, Upper c) => Upper (a, b, c) Source #
Methods upperBound :: (a, b, c) Source #
Upper a => Upper (Const k a b) Source #
Methods upperBound :: Const k a b Source #
Coercible k a b => Upper (Coercion k a b) Source #
Methods upperBound :: Coercion k a b Source #
(~) k a b => Upper ((:~:) k a b) Source #
Methods upperBound :: (k :~: a) b Source #
(Upper a, Upper b, Upper c, Upper d) => Upper (a, b, c, d) Source #
Methods upperBound :: (a, b, c, d) Source #
(~~) k1 k2 a b => Upper ((:~~:) k1 k2 a b) Source #
Methods upperBound :: (k1 :~~: k2) a b Source #
(Upper a, Upper b, Upper c, Upper d, Upper e) => Upper (a, b, c, d, e) Source #
Methods upperBound :: (a, b, c, d, e) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f) => Upper (a, b, c, d, e, f) Source #
Methods upperBound :: (a, b, c, d, e, f) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f, Upper g) => Upper (a, b, c, d, e, f, g) Source #
Methods upperBound :: (a, b, c, d, e, f, g) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f, Upper g, Upper h) => Upper (a, b, c, d, e, f, g, h) Source #
Methods upperBound :: (a, b, c, d, e, f, g, h) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f, Upper g, Upper h, Upper i) => Upper (a, b, c, d, e, f, g, h, i) Source #
Methods upperBound :: (a, b, c, d, e, f, g, h, i) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f, Upper g, Upper h, Upper i, Upper j) => Upper (a, b, c, d, e, f, g, h, i, j) Source #
Methods upperBound :: (a, b, c, d, e, f, g, h, i, j) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f, Upper g, Upper h, Upper i, Upper j, Upper k) => Upper (a, b, c, d, e, f, g, h, i, j, k) Source #
Methods upperBound :: (a, b, c, d, e, f, g, h, i, j, k) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f, Upper g, Upper h, Upper i, Upper j, Upper k, Upper l) => Upper (a, b, c, d, e, f, g, h, i, j, k, l) Source #
Methods upperBound :: (a, b, c, d, e, f, g, h, i, j, k, l) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f, Upper g, Upper h, Upper i, Upper j, Upper k, Upper l, Upper m) => Upper (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
Methods upperBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f, Upper g, Upper h, Upper i, Upper j, Upper k, Upper l, Upper m, Upper n) => Upper (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
Methods upperBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
(Upper a, Upper b, Upper c, Upper d, Upper e, Upper f, Upper g, Upper h, Upper i, Upper j, Upper k, Upper l, Upper m, Upper n, Upper o) => Upper (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #
Methods upperBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #

Bounded:

upperBound == (maxBound :: Bool)

Identity of /\:

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

Absorbing element of \/:

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

Ord:

compare upperBound (a :: Bool) /= LT

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