Bounded

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

Defined in GHC.Enum

Methods

minBound :: Bool

maxBound :: Bool

Bounded Char

Since: base-2.1

Defined in GHC.Enum

Methods

minBound :: Char

maxBound :: Char

Bounded Int

Since: base-2.1

Defined in GHC.Enum

Methods

minBound :: Int

maxBound :: Int

Bounded Int8

Since: base-2.1

Defined in GHC.Int

Methods

minBound :: Int8

maxBound :: Int8

Bounded Int16

Since: base-2.1

Defined in GHC.Int

Methods

minBound :: Int16

maxBound :: Int16

Bounded Int32

Since: base-2.1

Defined in GHC.Int

Methods

minBound :: Int32

maxBound :: Int32

Bounded Int64

Since: base-2.1

Defined in GHC.Int

Methods

minBound :: Int64

maxBound :: Int64

Bounded Ordering

Since: base-2.1

Defined in GHC.Enum

Methods

minBound :: Ordering

maxBound :: Ordering

Bounded Word

Since: base-2.1

Defined in GHC.Enum

Methods

minBound :: Word

maxBound :: Word

Bounded Word8

Since: base-2.1

Defined in GHC.Word

Methods

minBound :: Word8

maxBound :: Word8

Bounded Word16

Since: base-2.1

Defined in GHC.Word

Methods

minBound :: Word16

maxBound :: Word16

Bounded Word32

Since: base-2.1

Defined in GHC.Word

Methods

minBound :: Word32

maxBound :: Word32

Bounded Word64

Since: base-2.1

Defined in GHC.Word

Methods

minBound :: Word64

maxBound :: Word64

Bounded VecCount

Since: base-4.10.0.0

Defined in GHC.Enum

Methods

minBound :: VecCount

maxBound :: VecCount

Bounded VecElem

Since: base-4.10.0.0

Defined in GHC.Enum

Methods

minBound :: VecElem

maxBound :: VecElem

Bounded ()

Since: base-2.1

Defined in GHC.Enum

Methods

minBound :: ()

maxBound :: ()

Bounded Color

Defined in System.Console.ANSI.Types

Methods

minBound :: Color

maxBound :: Color

Bounded ColorIntensity

Defined in System.Console.ANSI.Types

Methods

minBound :: ColorIntensity

maxBound :: ColorIntensity

Bounded ConsoleLayer

Defined in System.Console.ANSI.Types

Methods

minBound :: ConsoleLayer

maxBound :: ConsoleLayer

Bounded BlinkSpeed

Defined in System.Console.ANSI.Types

Methods

minBound :: BlinkSpeed

maxBound :: BlinkSpeed

Bounded Underlining

Defined in System.Console.ANSI.Types

Methods

minBound :: Underlining

maxBound :: Underlining

Bounded ConsoleIntensity

Defined in System.Console.ANSI.Types

Methods

minBound :: ConsoleIntensity

maxBound :: ConsoleIntensity

Bounded ByteOrder

Defined in GHC.ByteOrder

Methods

minBound :: ByteOrder

maxBound :: ByteOrder

Bounded CDev

Defined in System.Posix.Types

Methods

minBound :: CDev

maxBound :: CDev

Bounded CIno

Defined in System.Posix.Types

Methods

minBound :: CIno

maxBound :: CIno

Bounded CMode

Defined in System.Posix.Types

Methods

minBound :: CMode

maxBound :: CMode

Bounded COff

Defined in System.Posix.Types

Methods

minBound :: COff

maxBound :: COff

Bounded CPid

Defined in System.Posix.Types

Methods

minBound :: CPid

maxBound :: CPid

Bounded CSsize

Defined in System.Posix.Types

Methods

minBound :: CSsize

maxBound :: CSsize

Bounded CGid

Defined in System.Posix.Types

Methods

minBound :: CGid

maxBound :: CGid

Bounded CNlink

Defined in System.Posix.Types

Methods

minBound :: CNlink

maxBound :: CNlink

Bounded CUid

Defined in System.Posix.Types

Methods

minBound :: CUid

maxBound :: CUid

Bounded CTcflag

Defined in System.Posix.Types

Methods

minBound :: CTcflag

maxBound :: CTcflag

Bounded CRLim

Defined in System.Posix.Types

Methods

minBound :: CRLim

maxBound :: CRLim

Bounded CBlkSize

Defined in System.Posix.Types

Methods

minBound :: CBlkSize

maxBound :: CBlkSize

Bounded CBlkCnt

Defined in System.Posix.Types

Methods

minBound :: CBlkCnt

maxBound :: CBlkCnt

Bounded CClockId

Defined in System.Posix.Types

Methods

minBound :: CClockId

maxBound :: CClockId

Bounded CFsBlkCnt

Defined in System.Posix.Types

Methods

minBound :: CFsBlkCnt

maxBound :: CFsBlkCnt

Bounded CFsFilCnt

Defined in System.Posix.Types

Methods

minBound :: CFsFilCnt

maxBound :: CFsFilCnt

Bounded CId

Defined in System.Posix.Types

Methods

minBound :: CId

maxBound :: CId

Bounded CKey

Defined in System.Posix.Types

Methods

minBound :: CKey

maxBound :: CKey

Bounded Fd

Defined in System.Posix.Types

Methods

minBound :: Fd

maxBound :: Fd

Bounded All

Defined in Data.Semigroup.Internal

Methods

minBound :: All

maxBound :: All

Bounded Any

Defined in Data.Semigroup.Internal

Methods

minBound :: Any

maxBound :: Any

Bounded Associativity

Defined in GHC.Generics

Methods

minBound :: Associativity

maxBound :: Associativity

Bounded SourceUnpackedness

Defined in GHC.Generics

Methods

minBound :: SourceUnpackedness

maxBound :: SourceUnpackedness

Bounded SourceStrictness

Defined in GHC.Generics

Methods

minBound :: SourceStrictness

maxBound :: SourceStrictness

Bounded DecidedStrictness

Defined in GHC.Generics

Methods

minBound :: DecidedStrictness

maxBound :: DecidedStrictness

Bounded CChar

Defined in Foreign.C.Types

Methods

minBound :: CChar

maxBound :: CChar

Bounded CSChar

Defined in Foreign.C.Types

Methods

minBound :: CSChar

maxBound :: CSChar

Bounded CUChar

Defined in Foreign.C.Types

Methods

minBound :: CUChar

maxBound :: CUChar

Bounded CShort

Defined in Foreign.C.Types

Methods

minBound :: CShort

maxBound :: CShort

Bounded CUShort

Defined in Foreign.C.Types

Methods

minBound :: CUShort

maxBound :: CUShort

Bounded CInt

Defined in Foreign.C.Types

Methods

minBound :: CInt

maxBound :: CInt

Bounded CUInt

Defined in Foreign.C.Types

Methods

minBound :: CUInt

maxBound :: CUInt

Bounded CLong

Defined in Foreign.C.Types

Methods

minBound :: CLong

maxBound :: CLong

Bounded CULong

Defined in Foreign.C.Types

Methods

minBound :: CULong

maxBound :: CULong

Bounded CLLong

Defined in Foreign.C.Types

Methods

minBound :: CLLong

maxBound :: CLLong

Bounded CULLong

Defined in Foreign.C.Types

Methods

minBound :: CULLong

maxBound :: CULLong

Bounded CBool

Defined in Foreign.C.Types

Methods

minBound :: CBool

maxBound :: CBool

Bounded CPtrdiff

Defined in Foreign.C.Types

Methods

minBound :: CPtrdiff

maxBound :: CPtrdiff

Bounded CSize

Defined in Foreign.C.Types

Methods

minBound :: CSize

maxBound :: CSize

Bounded CWchar

Defined in Foreign.C.Types

Methods

minBound :: CWchar

maxBound :: CWchar

Bounded CSigAtomic

Defined in Foreign.C.Types

Methods

minBound :: CSigAtomic

maxBound :: CSigAtomic

Bounded CIntPtr

Defined in Foreign.C.Types

Methods

minBound :: CIntPtr

maxBound :: CIntPtr

Bounded CUIntPtr

Defined in Foreign.C.Types

Methods

minBound :: CUIntPtr

maxBound :: CUIntPtr

Bounded CIntMax

Defined in Foreign.C.Types

Methods

minBound :: CIntMax

maxBound :: CIntMax

Bounded CUIntMax

Defined in Foreign.C.Types

Methods

minBound :: CUIntMax

maxBound :: CUIntMax

Bounded WordPtr

Defined in Foreign.Ptr

Methods

minBound :: WordPtr

maxBound :: WordPtr

Bounded IntPtr

Defined in Foreign.Ptr

Methods

minBound :: IntPtr

maxBound :: IntPtr

Bounded GeneralCategory

Defined in GHC.Unicode

Methods

minBound :: GeneralCategory

maxBound :: GeneralCategory

Bounded XdgDirectory

Defined in System.Directory

Methods

minBound :: XdgDirectory

maxBound :: XdgDirectory

Bounded FileType

Defined in System.Directory.Internal.Common

Methods

minBound :: FileType

maxBound :: FileType

Bounded IPv4

Defined in Network.Info

Methods

minBound :: IPv4

maxBound :: IPv4

Bounded IPv6

Defined in Network.Info

Methods

minBound :: IPv6

maxBound :: IPv6

Bounded MAC

Defined in Network.Info

Methods

minBound :: MAC

maxBound :: MAC

Class () (Bounded a)

Defined in Data.Constraint

Methods

cls :: Bounded a :- ()

a :=> (Bounded (Dict a))

Defined in Data.Constraint

Methods

ins :: a :- Bounded (Dict a)

() :=> (Bounded Bool)

Defined in Data.Constraint

Methods

ins :: () :- Bounded Bool

() :=> (Bounded Char)

Defined in Data.Constraint

Methods

ins :: () :- Bounded Char

() :=> (Bounded Int)

Defined in Data.Constraint

Methods

ins :: () :- Bounded Int

() :=> (Bounded Ordering)

Defined in Data.Constraint

Methods

ins :: () :- Bounded Ordering

() :=> (Bounded Word)

Defined in Data.Constraint

Methods

ins :: () :- Bounded Word

() :=> (Bounded ())

Defined in Data.Constraint

Methods

ins :: () :- Bounded ()

Bounded a => Bounded (Min a)

Defined in Data.Semigroup

Methods

minBound :: Min a

maxBound :: Min a

Bounded a => Bounded (Max a)

Defined in Data.Semigroup

Methods

minBound :: Max a

maxBound :: Max a

Bounded a => Bounded (First a)

Defined in Data.Semigroup

Methods

minBound :: First a

maxBound :: First a

Bounded a => Bounded (Last a)

Defined in Data.Semigroup

Methods

minBound :: Last a

maxBound :: Last a

Bounded m => Bounded (WrappedMonoid m)

Defined in Data.Semigroup

Methods

minBound :: WrappedMonoid m

maxBound :: WrappedMonoid m

Bounded a => Bounded (Identity a)

Defined in Data.Functor.Identity

Methods

minBound :: Identity a

maxBound :: Identity a

Bounded a => Bounded (Dual a)

Defined in Data.Semigroup.Internal

Methods

minBound :: Dual a

maxBound :: Dual a

Bounded a => Bounded (Sum a)

Defined in Data.Semigroup.Internal

Methods

minBound :: Sum a

maxBound :: Sum a

Bounded a => Bounded (Product a)

Defined in Data.Semigroup.Internal

Methods

minBound :: Product a

maxBound :: Product a

a => Bounded (Dict a)

Defined in Data.Constraint

Methods

minBound :: Dict a

maxBound :: Dict a

Bounded a => Bounded (Bound a)

Defined in Data.Semilattice.Bound

Methods

minBound :: Bound a

maxBound :: Bound a

Bounded a => Bounded (Order a)

Defined in Data.Semilattice.Order

Methods

minBound :: Order a

maxBound :: Order a

Bounded a => Bounded (Meeting a)

Defined in Data.Semilattice.Meet

Methods

minBound :: Meeting a

maxBound :: Meeting a

Bounded a => Bounded (Joining a)

Defined in Data.Semilattice.Join

Methods

minBound :: Joining a

maxBound :: Joining a

(Bounded a) :=> (Bounded (Identity a))

Defined in Data.Constraint

Methods

ins :: Bounded a :- Bounded (Identity a)

(Bounded a) :=> (Bounded (Const a b))

Defined in Data.Constraint

Methods

ins :: Bounded a :- Bounded (Const a b)

(Bounded a, Bounded b) => Bounded (a, b)

Since: base-2.1

Defined in GHC.Enum

Methods

minBound :: (a, b)

maxBound :: (a, b)

Bounded (Proxy t)

Defined in Data.Proxy

Methods

minBound :: Proxy t

maxBound :: Proxy t

(Bounded a, Bounded b) :=> (Bounded (a, b))

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

Defined in GHC.Enum

Methods

minBound :: (a, b, c)

maxBound :: (a, b, c)

Bounded a => Bounded (Const a b)

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

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

Defined in Data.Type.Equality

Methods

minBound :: a :~: b

maxBound :: a :~: b

Bounded b => Bounded (Tagged s b)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bounded a => Lower (Bound a)

Defined in Data.Semilattice.Bound

Methods

lowerBound :: Bound a

Lower a => Lower (Order a)

Defined in Data.Semilattice.Order

Methods

lowerBound :: Order a

Lower a => Lower (Joining a)

Defined in Data.Semilattice.Join

Methods

lowerBound :: Joining 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 (HashMap k a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: HashMap k a

Lower (Map k a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Map k a

Lower (Proxy a)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: Proxy 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)

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

Defined in Data.Semilattice.Upper

Methods

upperBound :: Bool

Upper Char

Defined in Data.Semilattice.Upper

Methods

upperBound :: Char

Upper Int

Defined in Data.Semilattice.Upper

Methods

upperBound :: Int

Upper Int8

Defined in Data.Semilattice.Upper

Methods

upperBound :: Int8

Upper Int16

Defined in Data.Semilattice.Upper

Methods

upperBound :: Int16

Upper Int32

Defined in Data.Semilattice.Upper

Methods

upperBound :: Int32

Upper Int64

Defined in Data.Semilattice.Upper

Methods

upperBound :: Int64

Upper Ordering

Defined in Data.Semilattice.Upper

Methods

upperBound :: Ordering

Upper Word8

Defined in Data.Semilattice.Upper

Methods

upperBound :: Word8

Upper Word16

Defined in Data.Semilattice.Upper

Methods

upperBound :: Word16

Upper Word32

Defined in Data.Semilattice.Upper

Methods

upperBound :: Word32

Upper Word64

Defined in Data.Semilattice.Upper

Methods

upperBound :: Word64

Upper ()

Defined in Data.Semilattice.Upper

Methods

upperBound :: ()

Upper CDev

Defined in Data.Semilattice.Upper

Methods

upperBound :: CDev

Upper CIno

Defined in Data.Semilattice.Upper

Methods

upperBound :: CIno

Upper CMode

Defined in Data.Semilattice.Upper

Methods

upperBound :: CMode

Upper COff

Defined in Data.Semilattice.Upper

Methods

upperBound :: COff

Upper CPid

Defined in Data.Semilattice.Upper

Methods

upperBound :: CPid

Upper CSsize

Defined in Data.Semilattice.Upper

Methods

upperBound :: CSsize

Upper CGid

Defined in Data.Semilattice.Upper

Methods

upperBound :: CGid

Upper CNlink

Defined in Data.Semilattice.Upper

Methods

upperBound :: CNlink

Upper CUid

Defined in Data.Semilattice.Upper

Methods

upperBound :: CUid

Upper CTcflag

Defined in Data.Semilattice.Upper

Methods

upperBound :: CTcflag

Upper CRLim

Defined in Data.Semilattice.Upper

Methods

upperBound :: CRLim

Upper CBlkSize

Defined in Data.Semilattice.Upper

Methods

upperBound :: CBlkSize

Upper CBlkCnt

Defined in Data.Semilattice.Upper

Methods

upperBound :: CBlkCnt

Upper CClockId

Defined in Data.Semilattice.Upper

Methods

upperBound :: CClockId

Upper CFsBlkCnt

Defined in Data.Semilattice.Upper

Methods

upperBound :: CFsBlkCnt

Upper CFsFilCnt

Defined in Data.Semilattice.Upper

Methods

upperBound :: CFsFilCnt

Upper CId

Defined in Data.Semilattice.Upper

Methods

upperBound :: CId

Upper CKey

Defined in Data.Semilattice.Upper

Methods

upperBound :: CKey

Upper Fd

Defined in Data.Semilattice.Upper

Methods

upperBound :: Fd

Upper All

Defined in Data.Semilattice.Upper

Methods

upperBound :: All

Upper Any

Defined in Data.Semilattice.Upper

Methods

upperBound :: Any

Upper Associativity

Defined in Data.Semilattice.Upper

Methods

upperBound :: Associativity

Upper SourceUnpackedness

Defined in Data.Semilattice.Upper

Methods

upperBound :: SourceUnpackedness

Upper SourceStrictness

Defined in Data.Semilattice.Upper

Methods

upperBound :: SourceStrictness

Upper DecidedStrictness

Defined in Data.Semilattice.Upper

Methods

upperBound :: DecidedStrictness

Upper CChar

Defined in Data.Semilattice.Upper

Methods

upperBound :: CChar

Upper CSChar

Defined in Data.Semilattice.Upper

Methods

upperBound :: CSChar

Upper CUChar

Defined in Data.Semilattice.Upper

Methods

upperBound :: CUChar

Upper CShort

Defined in Data.Semilattice.Upper

Methods

upperBound :: CShort

Upper CUShort

Defined in Data.Semilattice.Upper

Methods

upperBound :: CUShort

Upper CInt

Defined in Data.Semilattice.Upper

Methods

upperBound :: CInt

Upper CUInt

Defined in Data.Semilattice.Upper

Methods

upperBound :: CUInt

Upper CLong

Defined in Data.Semilattice.Upper

Methods

upperBound :: CLong

Upper CULong

Defined in Data.Semilattice.Upper

Methods

upperBound :: CULong

Upper CLLong

Defined in Data.Semilattice.Upper

Methods

upperBound :: CLLong

Upper CULLong

Defined in Data.Semilattice.Upper

Methods

upperBound :: CULLong

Upper CBool

Defined in Data.Semilattice.Upper

Methods

upperBound :: CBool

Upper CPtrdiff

Defined in Data.Semilattice.Upper

Methods

upperBound :: CPtrdiff

Upper CSize

Defined in Data.Semilattice.Upper

Methods

upperBound :: CSize

Upper CWchar

Defined in Data.Semilattice.Upper

Methods

upperBound :: CWchar

Upper CSigAtomic

Defined in Data.Semilattice.Upper

Methods

upperBound :: CSigAtomic

Upper CIntPtr

Defined in Data.Semilattice.Upper

Methods

upperBound :: CIntPtr

Upper CUIntPtr

Defined in Data.Semilattice.Upper

Methods

upperBound :: CUIntPtr

Upper CIntMax

Defined in Data.Semilattice.Upper

Methods

upperBound :: CIntMax

Upper CUIntMax

Defined in Data.Semilattice.Upper

Methods

upperBound :: CUIntMax

Upper WordPtr

Defined in Data.Semilattice.Upper

Methods

upperBound :: WordPtr

Upper IntPtr

Defined in Data.Semilattice.Upper

Methods

upperBound :: IntPtr

Upper GeneralCategory

Defined in Data.Semilattice.Upper

Methods

upperBound :: GeneralCategory

Upper a => Upper (Min a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Min a

Upper a => Upper (Max a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Max a

Upper a => Upper (First a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: First a

Upper a => Upper (Last a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Last a

Upper a => Upper (WrappedMonoid a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: WrappedMonoid a

Upper a => Upper (Identity a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Identity a

Upper a => Upper (Dual a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Dual a

Upper a => Upper (Sum a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Sum a

Upper a => Upper (Product a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Product a

Bounded a => Upper (Bound a)

Defined in Data.Semilattice.Bound

Methods

upperBound :: Bound a

Upper a => Upper (Order a)

Defined in Data.Semilattice.Order

Methods

upperBound :: Order a

Upper a => Upper (Meeting a)

Defined in Data.Semilattice.Meet

Methods

upperBound :: Meeting a

Upper b => Upper (a -> b)

Defined in Data.Semilattice.Upper

Methods

upperBound :: a -> b

(Upper a, Upper b) => Upper (a, b)

Defined in Data.Semilattice.Upper

Methods

upperBound :: (a, b)

Upper (Proxy a)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Proxy a

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

Defined in Data.Semilattice.Upper

Methods

upperBound :: (a, b, c)

Upper a => Upper (Const a b)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Const a b

Coercible a b => Upper (Coercion a b)

Defined in Data.Semilattice.Upper

Methods

upperBound :: Coercion a b

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

Defined in Data.Semilattice.Upper

Methods

upperBound :: a :~: b

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

Defined in Data.Semilattice.Upper

Methods

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

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

Defined in Data.Semilattice.Bound

Methods

fmap :: (a -> b) -> Bound a -> Bound b

(<$) :: a -> Bound b -> Bound a

Foldable Bound

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

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)

Defined in Data.Semilattice.Bound

Methods

minBound :: Bound a

maxBound :: Bound a

Enum a => Enum (Bound a)

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)

Defined in Data.Semilattice.Bound

Methods

(==) :: Bound a -> Bound a -> Bool

(/=) :: Bound a -> Bound a -> Bool

Num a => Num (Bound a)

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)

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)

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)

Defined in Data.Semilattice.Bound

Methods

showsPrec :: Int -> Bound a -> ShowS

show :: Bound a -> String

showList :: [Bound a] -> ShowS

Bounded a => Upper (Bound a)

Defined in Data.Semilattice.Bound

Methods

upperBound :: Bound a

Bounded a => Lower (Bound a)

Defined in Data.Semilattice.Bound

Methods

lowerBound :: Bound a