Safe Haskell	None
Language	Haskell2010

Bounded

Contents

Bounded
Lower
Upper
Newtypes

Synopsis

class Bounded a where
class Lower s where
class Upper s where
newtype Bound a = Bound {
- getBound :: a
}

Bounded

class Bounded a where #

The Bounded class is used to name the upper and lower limits of a type. Ord is not a superclass of Bounded since types that are not totally ordered may also have upper and lower bounds.

The Bounded class may be derived for any enumeration type; minBound is the first constructor listed in the data declaration and maxBound is the last. Bounded may also be derived for single-constructor datatypes whose constituent types are in Bounded.

Minimal complete definition

minBound, maxBound

Methods

minBound :: a #

maxBound :: a #

Instances

Bounded Bool	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: Bool # maxBound :: Bool #
Bounded Char	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: Char # maxBound :: Char #
Bounded Int	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: Int # maxBound :: Int #
Bounded Int8	Since: base-2.1
Instance details Defined in GHC.Int Methods minBound :: Int8 # maxBound :: Int8 #
Bounded Int16	Since: base-2.1
Instance details Defined in GHC.Int Methods minBound :: Int16 # maxBound :: Int16 #
Bounded Int32	Since: base-2.1
Instance details Defined in GHC.Int Methods minBound :: Int32 # maxBound :: Int32 #
Bounded Int64	Since: base-2.1
Instance details Defined in GHC.Int Methods minBound :: Int64 # maxBound :: Int64 #
Bounded Ordering	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: Ordering # maxBound :: Ordering #
Bounded Word	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: Word # maxBound :: Word #
Bounded Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods minBound :: Word8 # maxBound :: Word8 #
Bounded Word16	Since: base-2.1
Instance details Defined in GHC.Word Methods minBound :: Word16 # maxBound :: Word16 #
Bounded Word32	Since: base-2.1
Instance details Defined in GHC.Word Methods minBound :: Word32 # maxBound :: Word32 #
Bounded Word64	Since: base-2.1
Instance details Defined in GHC.Word Methods minBound :: Word64 # maxBound :: Word64 #
Bounded VecCount	Since: base-4.10.0.0
Instance details Defined in GHC.Enum Methods minBound :: VecCount # maxBound :: VecCount #
Bounded VecElem	Since: base-4.10.0.0
Instance details Defined in GHC.Enum Methods minBound :: VecElem # maxBound :: VecElem #
Bounded ()	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: () # maxBound :: () #
Bounded Color
Instance details Defined in System.Console.ANSI.Types Methods minBound :: Color # maxBound :: Color #
Bounded ColorIntensity
Instance details Defined in System.Console.ANSI.Types Methods minBound :: ColorIntensity # maxBound :: ColorIntensity #
Bounded ConsoleLayer
Instance details Defined in System.Console.ANSI.Types Methods minBound :: ConsoleLayer # maxBound :: ConsoleLayer #
Bounded BlinkSpeed
Instance details Defined in System.Console.ANSI.Types Methods minBound :: BlinkSpeed # maxBound :: BlinkSpeed #
Bounded Underlining
Instance details Defined in System.Console.ANSI.Types Methods minBound :: Underlining # maxBound :: Underlining #
Bounded ConsoleIntensity
Instance details Defined in System.Console.ANSI.Types Methods minBound :: ConsoleIntensity # maxBound :: ConsoleIntensity #
Bounded ByteOrder
Instance details Defined in GHC.ByteOrder Methods minBound :: ByteOrder # maxBound :: ByteOrder #
Bounded CDev
Instance details Defined in System.Posix.Types Methods minBound :: CDev # maxBound :: CDev #
Bounded CIno
Instance details Defined in System.Posix.Types Methods minBound :: CIno # maxBound :: CIno #
Bounded CMode
Instance details Defined in System.Posix.Types Methods minBound :: CMode # maxBound :: CMode #
Bounded COff
Instance details Defined in System.Posix.Types Methods minBound :: COff # maxBound :: COff #
Bounded CPid
Instance details Defined in System.Posix.Types Methods minBound :: CPid # maxBound :: CPid #
Bounded CSsize
Instance details Defined in System.Posix.Types Methods minBound :: CSsize # maxBound :: CSsize #
Bounded CGid
Instance details Defined in System.Posix.Types Methods minBound :: CGid # maxBound :: CGid #
Bounded CNlink
Instance details Defined in System.Posix.Types Methods minBound :: CNlink # maxBound :: CNlink #
Bounded CUid
Instance details Defined in System.Posix.Types Methods minBound :: CUid # maxBound :: CUid #
Bounded CTcflag
Instance details Defined in System.Posix.Types Methods minBound :: CTcflag # maxBound :: CTcflag #
Bounded CRLim
Instance details Defined in System.Posix.Types Methods minBound :: CRLim # maxBound :: CRLim #
Bounded CBlkSize
Instance details Defined in System.Posix.Types Methods minBound :: CBlkSize # maxBound :: CBlkSize #
Bounded CBlkCnt
Instance details Defined in System.Posix.Types Methods minBound :: CBlkCnt # maxBound :: CBlkCnt #
Bounded CClockId
Instance details Defined in System.Posix.Types Methods minBound :: CClockId # maxBound :: CClockId #
Bounded CFsBlkCnt
Instance details Defined in System.Posix.Types Methods minBound :: CFsBlkCnt # maxBound :: CFsBlkCnt #
Bounded CFsFilCnt
Instance details Defined in System.Posix.Types Methods minBound :: CFsFilCnt # maxBound :: CFsFilCnt #
Bounded CId
Instance details Defined in System.Posix.Types Methods minBound :: CId # maxBound :: CId #
Bounded CKey
Instance details Defined in System.Posix.Types Methods minBound :: CKey # maxBound :: CKey #
Bounded Fd
Instance details Defined in System.Posix.Types Methods minBound :: Fd # maxBound :: Fd #
Bounded All
Instance details Defined in Data.Semigroup.Internal Methods minBound :: All # maxBound :: All #
Bounded Any
Instance details Defined in Data.Semigroup.Internal Methods minBound :: Any # maxBound :: Any #
Bounded Associativity
Instance details Defined in GHC.Generics Methods minBound :: Associativity # maxBound :: Associativity #
Bounded SourceUnpackedness
Instance details Defined in GHC.Generics Methods minBound :: SourceUnpackedness # maxBound :: SourceUnpackedness #
Bounded SourceStrictness
Instance details Defined in GHC.Generics Methods minBound :: SourceStrictness # maxBound :: SourceStrictness #
Bounded DecidedStrictness
Instance details Defined in GHC.Generics Methods minBound :: DecidedStrictness # maxBound :: DecidedStrictness #
Bounded CChar
Instance details Defined in Foreign.C.Types Methods minBound :: CChar # maxBound :: CChar #
Bounded CSChar
Instance details Defined in Foreign.C.Types Methods minBound :: CSChar # maxBound :: CSChar #
Bounded CUChar
Instance details Defined in Foreign.C.Types Methods minBound :: CUChar # maxBound :: CUChar #
Bounded CShort
Instance details Defined in Foreign.C.Types Methods minBound :: CShort # maxBound :: CShort #
Bounded CUShort
Instance details Defined in Foreign.C.Types Methods minBound :: CUShort # maxBound :: CUShort #
Bounded CInt
Instance details Defined in Foreign.C.Types Methods minBound :: CInt # maxBound :: CInt #
Bounded CUInt
Instance details Defined in Foreign.C.Types Methods minBound :: CUInt # maxBound :: CUInt #
Bounded CLong
Instance details Defined in Foreign.C.Types Methods minBound :: CLong # maxBound :: CLong #
Bounded CULong
Instance details Defined in Foreign.C.Types Methods minBound :: CULong # maxBound :: CULong #
Bounded CLLong
Instance details Defined in Foreign.C.Types Methods minBound :: CLLong # maxBound :: CLLong #
Bounded CULLong
Instance details Defined in Foreign.C.Types Methods minBound :: CULLong # maxBound :: CULLong #
Bounded CBool
Instance details Defined in Foreign.C.Types Methods minBound :: CBool # maxBound :: CBool #
Bounded CPtrdiff
Instance details Defined in Foreign.C.Types Methods minBound :: CPtrdiff # maxBound :: CPtrdiff #
Bounded CSize
Instance details Defined in Foreign.C.Types Methods minBound :: CSize # maxBound :: CSize #
Bounded CWchar
Instance details Defined in Foreign.C.Types Methods minBound :: CWchar # maxBound :: CWchar #
Bounded CSigAtomic
Instance details Defined in Foreign.C.Types Methods minBound :: CSigAtomic # maxBound :: CSigAtomic #
Bounded CIntPtr
Instance details Defined in Foreign.C.Types Methods minBound :: CIntPtr # maxBound :: CIntPtr #
Bounded CUIntPtr
Instance details Defined in Foreign.C.Types Methods minBound :: CUIntPtr # maxBound :: CUIntPtr #
Bounded CIntMax
Instance details Defined in Foreign.C.Types Methods minBound :: CIntMax # maxBound :: CIntMax #
Bounded CUIntMax
Instance details Defined in Foreign.C.Types Methods minBound :: CUIntMax # maxBound :: CUIntMax #
Bounded WordPtr
Instance details Defined in Foreign.Ptr Methods minBound :: WordPtr # maxBound :: WordPtr #
Bounded IntPtr
Instance details Defined in Foreign.Ptr Methods minBound :: IntPtr # maxBound :: IntPtr #
Bounded GeneralCategory
Instance details Defined in GHC.Unicode Methods minBound :: GeneralCategory # maxBound :: GeneralCategory #
Bounded XdgDirectory
Instance details Defined in System.Directory Methods minBound :: XdgDirectory # maxBound :: XdgDirectory #
Bounded FileType
Instance details Defined in System.Directory.Internal.Common Methods minBound :: FileType # maxBound :: FileType #
Bounded IPv4
Instance details Defined in Network.Info Methods minBound :: IPv4 # maxBound :: IPv4 #
Bounded IPv6
Instance details Defined in Network.Info Methods minBound :: IPv6 # maxBound :: IPv6 #
Bounded MAC
Instance details Defined in Network.Info Methods minBound :: MAC # maxBound :: MAC #
Class () (Bounded a)
Instance details Defined in Data.Constraint Methods cls :: Bounded a :- () #
a :=> (Bounded (Dict a))
Instance details Defined in Data.Constraint Methods ins :: a :- Bounded (Dict a) #
() :=> (Bounded Bool)
Instance details Defined in Data.Constraint Methods ins :: () :- Bounded Bool #
() :=> (Bounded Char)
Instance details Defined in Data.Constraint Methods ins :: () :- Bounded Char #
() :=> (Bounded Int)
Instance details Defined in Data.Constraint Methods ins :: () :- Bounded Int #
() :=> (Bounded Ordering)
Instance details Defined in Data.Constraint Methods ins :: () :- Bounded Ordering #
() :=> (Bounded Word)
Instance details Defined in Data.Constraint Methods ins :: () :- Bounded Word #
() :=> (Bounded ())
Instance details Defined in Data.Constraint Methods ins :: () :- Bounded () #
Bounded a => Bounded (Min a)
Instance details Defined in Data.Semigroup Methods minBound :: Min a # maxBound :: Min a #
Bounded a => Bounded (Max a)
Instance details Defined in Data.Semigroup Methods minBound :: Max a # maxBound :: Max a #
Bounded a => Bounded (First a)
Instance details Defined in Data.Semigroup Methods minBound :: First a # maxBound :: First a #
Bounded a => Bounded (Last a)
Instance details Defined in Data.Semigroup Methods minBound :: Last a # maxBound :: Last a #
Bounded m => Bounded (WrappedMonoid m)
Instance details Defined in Data.Semigroup Methods minBound :: WrappedMonoid m # maxBound :: WrappedMonoid m #
Bounded a => Bounded (Identity a)
Instance details Defined in Data.Functor.Identity Methods minBound :: Identity a # maxBound :: Identity a #
Bounded a => Bounded (Dual a)
Instance details Defined in Data.Semigroup.Internal Methods minBound :: Dual a # maxBound :: Dual a #
Bounded a => Bounded (Sum a)
Instance details Defined in Data.Semigroup.Internal Methods minBound :: Sum a # maxBound :: Sum a #
Bounded a => Bounded (Product a)
Instance details Defined in Data.Semigroup.Internal Methods minBound :: Product a # maxBound :: Product a #
a => Bounded (Dict a)
Instance details Defined in Data.Constraint Methods minBound :: Dict a # maxBound :: Dict a #
Bounded a => Bounded (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods minBound :: Bound a # maxBound :: Bound a #
Bounded a => Bounded (Order a)
Instance details Defined in Data.Semilattice.Order Methods minBound :: Order a # maxBound :: Order a #
Bounded a => Bounded (Meeting a)
Instance details Defined in Data.Semilattice.Meet Methods minBound :: Meeting a # maxBound :: Meeting a #
Bounded a => Bounded (Joining a)
Instance details Defined in Data.Semilattice.Join Methods minBound :: Joining a # maxBound :: Joining a #
(Bounded a) :=> (Bounded (Identity a))
Instance details Defined in Data.Constraint Methods ins :: Bounded a :- Bounded (Identity a) #
(Bounded a) :=> (Bounded (Const a b))
Instance details Defined in Data.Constraint Methods ins :: Bounded a :- Bounded (Const a b) #
(Bounded a, Bounded b) => Bounded (a, b)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b) # maxBound :: (a, b) #
Bounded (Proxy t)
Instance details Defined in Data.Proxy Methods minBound :: Proxy t # maxBound :: Proxy t #
(Bounded a, Bounded b) :=> (Bounded (a, b))
Instance details Defined in Data.Constraint Methods ins :: (Bounded a, Bounded b) :- Bounded (a, b) #
(Bounded a, Bounded b, Bounded c) => Bounded (a, b, c)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c) # maxBound :: (a, b, c) #
Bounded a => Bounded (Const a b)
Instance details Defined in Data.Functor.Const Methods minBound :: Const a b # maxBound :: Const a b #
Coercible a b => Bounded (Coercion a b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Coercion Methods minBound :: Coercion a b # maxBound :: Coercion a b #
a ~ b => Bounded (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods minBound :: a :~: b # maxBound :: a :~: b #
Bounded b => Bounded (Tagged s b)
Instance details Defined in Data.Tagged Methods minBound :: Tagged s b # maxBound :: Tagged s b #
(Bounded a, Bounded b, Bounded c, Bounded d) => Bounded (a, b, c, d)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d) # maxBound :: (a, b, c, d) #
a ~~ b => Bounded (a :~~: b)	Since: base-4.10.0.0
Instance details Defined in Data.Type.Equality Methods minBound :: a :~~: b # maxBound :: a :~~: b #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e) => Bounded (a, b, c, d, e)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e) # maxBound :: (a, b, c, d, e) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f) => Bounded (a, b, c, d, e, f)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f) # maxBound :: (a, b, c, d, e, f) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g) => Bounded (a, b, c, d, e, f, g)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f, g) # maxBound :: (a, b, c, d, e, f, g) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h) => Bounded (a, b, c, d, e, f, g, h)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f, g, h) # maxBound :: (a, b, c, d, e, f, g, h) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i) => Bounded (a, b, c, d, e, f, g, h, i)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f, g, h, i) # maxBound :: (a, b, c, d, e, f, g, h, i) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j) => Bounded (a, b, c, d, e, f, g, h, i, j)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f, g, h, i, j) # maxBound :: (a, b, c, d, e, f, g, h, i, j) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k) => Bounded (a, b, c, d, e, f, g, h, i, j, k)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f, g, h, i, j, k) # maxBound :: (a, b, c, d, e, f, g, h, i, j, k) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l) => Bounded (a, b, c, d, e, f, g, h, i, j, k, l)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f, g, h, i, j, k, l) # maxBound :: (a, b, c, d, e, f, g, h, i, j, k, l) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m) => Bounded (a, b, c, d, e, f, g, h, i, j, k, l, m)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m) # maxBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n) => Bounded (a, b, c, d, e, f, g, h, i, j, k, l, m, n)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) # maxBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) #
(Bounded a, Bounded b, Bounded c, Bounded d, Bounded e, Bounded f, Bounded g, Bounded h, Bounded i, Bounded j, Bounded k, Bounded l, Bounded m, Bounded n, Bounded o) => Bounded (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) # maxBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) #

Lower

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 #

Instances

Lower Bool
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Bool #
Lower Char
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Char #
Lower Int
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Int #
Lower Int8
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Int8 #
Lower Int16
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Int16 #
Lower Int32
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Int32 #
Lower Int64
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Int64 #
Lower Ordering
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Ordering #
Lower Word8
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Word8 #
Lower Word16
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Word16 #
Lower Word32
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Word32 #
Lower Word64
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Word64 #
Lower ()
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: () #
Lower CDev
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CDev #
Lower CIno
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CIno #
Lower CMode
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CMode #
Lower COff
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: COff #
Lower CPid
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CPid #
Lower CSsize
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CSsize #
Lower CGid
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CGid #
Lower CNlink
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CNlink #
Lower CUid
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CUid #
Lower CTcflag
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CTcflag #
Lower CRLim
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CRLim #
Lower CBlkSize
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CBlkSize #
Lower CBlkCnt
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CBlkCnt #
Lower CClockId
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CClockId #
Lower CFsBlkCnt
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CFsBlkCnt #
Lower CFsFilCnt
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CFsFilCnt #
Lower CId
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CId #
Lower CKey
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CKey #
Lower Fd
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Fd #
Lower All
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: All #
Lower Any
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Any #
Lower Associativity
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Associativity #
Lower SourceUnpackedness
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: SourceUnpackedness #
Lower SourceStrictness
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: SourceStrictness #
Lower DecidedStrictness
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: DecidedStrictness #
Lower CChar
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CChar #
Lower CSChar
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CSChar #
Lower CUChar
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CUChar #
Lower CShort
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CShort #
Lower CUShort
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CUShort #
Lower CInt
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CInt #
Lower CUInt
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CUInt #
Lower CLong
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CLong #
Lower CULong
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CULong #
Lower CLLong
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CLLong #
Lower CULLong
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CULLong #
Lower CBool
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CBool #
Lower CPtrdiff
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CPtrdiff #
Lower CSize
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CSize #
Lower CWchar
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CWchar #
Lower CSigAtomic
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CSigAtomic #
Lower CIntPtr
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CIntPtr #
Lower CUIntPtr
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CUIntPtr #
Lower CIntMax
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CIntMax #
Lower CUIntMax
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: CUIntMax #
Lower WordPtr
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: WordPtr #
Lower IntPtr
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: IntPtr #
Lower GeneralCategory
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: GeneralCategory #
Lower IntSet
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: IntSet #
Lower [a]
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: [a] #
Lower (Maybe a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Maybe a #
Lower a => Lower (Min a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Min a #
Lower a => Lower (Max a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Max a #
Lower a => Lower (First a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: First a #
Lower a => Lower (Last a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Last a #
Lower a => Lower (WrappedMonoid a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: WrappedMonoid a #
Lower a => Lower (Identity a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Identity a #
Lower (First a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: First a #
Lower (Last a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Last a #
Lower a => Lower (Dual a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Dual a #
Lower (Endo a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Endo a #
Lower a => Lower (Sum a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Sum a #
Lower a => Lower (Product a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Product a #
Lower (IntMap a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: IntMap a #
Lower (Seq a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Seq a #
Lower (Set a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Set a #
Lower (HashSet a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: HashSet a #
Bounded a => Lower (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods lowerBound :: Bound a #
Lower a => Lower (Order a)
Instance details Defined in Data.Semilattice.Order Methods lowerBound :: Order a #
Lower a => Lower (Joining a)
Instance details Defined in Data.Semilattice.Join Methods lowerBound :: Joining a #
Lower b => Lower (a -> b)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: a -> b #
(Lower a, Lower b) => Lower (a, b)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: (a, b) #
Lower (HashMap k a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: HashMap k a #
Lower (Map k a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Map k a #
Lower (Proxy a)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Proxy a #
(Lower a, Lower b, Lower c) => Lower (a, b, c)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: (a, b, c) #
Lower a => Lower (Const a b)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Const a b #
Coercible a b => Lower (Coercion a b)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: Coercion a b #
a ~ b => Lower (a :~: b)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: a :~: b #
(Lower a, Lower b, Lower c, Lower d) => Lower (a, b, c, d)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: (a, b, c, d) #
a ~~ b => Lower (a :~~: b)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details Defined in Data.Semilattice.Lower Methods lowerBound :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) #

Upper

class Upper s where #

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 #

Instances

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

Newtypes

newtype Bound a #

A convenience bridging Bounded to Lower and Upper.

Constructors

Bound
Fields getBound :: a

Instances

Functor Bound
Instance details Defined in Data.Semilattice.Bound Methods fmap :: (a -> b) -> Bound a -> Bound b # (<$) :: a -> Bound b -> Bound a #
Foldable Bound
Instance details Defined in Data.Semilattice.Bound Methods fold :: Monoid m => Bound m -> m # foldMap :: Monoid m => (a -> m) -> Bound a -> m # foldr :: (a -> b -> b) -> b -> Bound a -> b # foldr' :: (a -> b -> b) -> b -> Bound a -> b # foldl :: (b -> a -> b) -> b -> Bound a -> b # foldl' :: (b -> a -> b) -> b -> Bound a -> b # foldr1 :: (a -> a -> a) -> Bound a -> a # foldl1 :: (a -> a -> a) -> Bound a -> a # toList :: Bound a -> [a] # null :: Bound a -> Bool # length :: Bound a -> Int # elem :: Eq a => a -> Bound a -> Bool # maximum :: Ord a => Bound a -> a # minimum :: Ord a => Bound a -> a # sum :: Num a => Bound a -> a # product :: Num a => Bound a -> a #
Traversable Bound
Instance details Defined in Data.Semilattice.Bound Methods traverse :: Applicative f => (a -> f b) -> Bound a -> f (Bound b) # sequenceA :: Applicative f => Bound (f a) -> f (Bound a) # mapM :: Monad m => (a -> m b) -> Bound a -> m (Bound b) # sequence :: Monad m => Bound (m a) -> m (Bound a) #
Bounded a => Bounded (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods minBound :: Bound a # maxBound :: Bound a #
Enum a => Enum (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods succ :: Bound a -> Bound a # pred :: Bound a -> Bound a # toEnum :: Int -> Bound a # fromEnum :: Bound a -> Int # enumFrom :: Bound a -> [Bound a] # enumFromThen :: Bound a -> Bound a -> [Bound a] # enumFromTo :: Bound a -> Bound a -> [Bound a] # enumFromThenTo :: Bound a -> Bound a -> Bound a -> [Bound a] #
Eq a => Eq (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods (==) :: Bound a -> Bound a -> Bool # (/=) :: Bound a -> Bound a -> Bool #
Num a => Num (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods (+) :: Bound a -> Bound a -> Bound a # (-) :: Bound a -> Bound a -> Bound a # (*) :: Bound a -> Bound a -> Bound a # negate :: Bound a -> Bound a # abs :: Bound a -> Bound a # signum :: Bound a -> Bound a # fromInteger :: Integer -> Bound a #
Ord a => Ord (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods compare :: Bound a -> Bound a -> Ordering # (<) :: Bound a -> Bound a -> Bool # (<=) :: Bound a -> Bound a -> Bool # (>) :: Bound a -> Bound a -> Bool # (>=) :: Bound a -> Bound a -> Bool # max :: Bound a -> Bound a -> Bound a # min :: Bound a -> Bound a -> Bound a #
Read a => Read (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods readsPrec :: Int -> ReadS (Bound a) # readList :: ReadS [Bound a] # readPrec :: ReadPrec (Bound a) # readListPrec :: ReadPrec [Bound a] #
Show a => Show (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods showsPrec :: Int -> Bound a -> ShowS # show :: Bound a -> String # showList :: [Bound a] -> ShowS #
Bounded a => Upper (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods upperBound :: Bound a #
Bounded a => Lower (Bound a)
Instance details Defined in Data.Semilattice.Bound Methods lowerBound :: Bound a #