planet-mitchell-0.1.0: Planet Mitchell

Safe HaskellNone
LanguageHaskell2010

Bounded

Contents

Synopsis

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

Bounded Char

Since: base-2.1

Instance details

Defined in GHC.Enum

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

Bounded Int16

Since: base-2.1

Instance details

Defined in GHC.Int

Bounded Int32

Since: base-2.1

Instance details

Defined in GHC.Int

Bounded Int64

Since: base-2.1

Instance details

Defined in GHC.Int

Bounded Ordering

Since: base-2.1

Instance details

Defined in GHC.Enum

Bounded Word

Since: base-2.1

Instance details

Defined in GHC.Enum

Bounded Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Bounded Word16

Since: base-2.1

Instance details

Defined in GHC.Word

Bounded Word32

Since: base-2.1

Instance details

Defined in GHC.Word

Bounded Word64

Since: base-2.1

Instance details

Defined in GHC.Word

Bounded VecCount

Since: base-4.10.0.0

Instance details

Defined in GHC.Enum

Bounded VecElem

Since: base-4.10.0.0

Instance details

Defined in GHC.Enum

Bounded ()

Since: base-2.1

Instance details

Defined in GHC.Enum

Methods

minBound :: () #

maxBound :: () #

Bounded Color 
Instance details

Defined in System.Console.ANSI.Types

Bounded ColorIntensity 
Instance details

Defined in System.Console.ANSI.Types

Bounded ConsoleLayer 
Instance details

Defined in System.Console.ANSI.Types

Bounded BlinkSpeed 
Instance details

Defined in System.Console.ANSI.Types

Bounded Underlining 
Instance details

Defined in System.Console.ANSI.Types

Bounded ConsoleIntensity 
Instance details

Defined in System.Console.ANSI.Types

Bounded ByteOrder 
Instance details

Defined in GHC.ByteOrder

Bounded CDev 
Instance details

Defined in System.Posix.Types

Bounded CIno 
Instance details

Defined in System.Posix.Types

Bounded CMode 
Instance details

Defined in System.Posix.Types

Bounded COff 
Instance details

Defined in System.Posix.Types

Bounded CPid 
Instance details

Defined in System.Posix.Types

Bounded CSsize 
Instance details

Defined in System.Posix.Types

Bounded CGid 
Instance details

Defined in System.Posix.Types

Bounded CNlink 
Instance details

Defined in System.Posix.Types

Bounded CUid 
Instance details

Defined in System.Posix.Types

Bounded CTcflag 
Instance details

Defined in System.Posix.Types

Bounded CRLim 
Instance details

Defined in System.Posix.Types

Bounded CBlkSize 
Instance details

Defined in System.Posix.Types

Bounded CBlkCnt 
Instance details

Defined in System.Posix.Types

Bounded CClockId 
Instance details

Defined in System.Posix.Types

Bounded CFsBlkCnt 
Instance details

Defined in System.Posix.Types

Bounded CFsFilCnt 
Instance details

Defined in System.Posix.Types

Bounded CId 
Instance details

Defined in System.Posix.Types

Methods

minBound :: CId #

maxBound :: CId #

Bounded CKey 
Instance details

Defined in System.Posix.Types

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

Bounded SourceUnpackedness 
Instance details

Defined in GHC.Generics

Bounded SourceStrictness 
Instance details

Defined in GHC.Generics

Bounded DecidedStrictness 
Instance details

Defined in GHC.Generics

Bounded CChar 
Instance details

Defined in Foreign.C.Types

Bounded CSChar 
Instance details

Defined in Foreign.C.Types

Bounded CUChar 
Instance details

Defined in Foreign.C.Types

Bounded CShort 
Instance details

Defined in Foreign.C.Types

Bounded CUShort 
Instance details

Defined in Foreign.C.Types

Bounded CInt 
Instance details

Defined in Foreign.C.Types

Bounded CUInt 
Instance details

Defined in Foreign.C.Types

Bounded CLong 
Instance details

Defined in Foreign.C.Types

Bounded CULong 
Instance details

Defined in Foreign.C.Types

Bounded CLLong 
Instance details

Defined in Foreign.C.Types

Bounded CULLong 
Instance details

Defined in Foreign.C.Types

Bounded CBool 
Instance details

Defined in Foreign.C.Types

Bounded CPtrdiff 
Instance details

Defined in Foreign.C.Types

Bounded CSize 
Instance details

Defined in Foreign.C.Types

Bounded CWchar 
Instance details

Defined in Foreign.C.Types

Bounded CSigAtomic 
Instance details

Defined in Foreign.C.Types

Bounded CIntPtr 
Instance details

Defined in Foreign.C.Types

Bounded CUIntPtr 
Instance details

Defined in Foreign.C.Types

Bounded CIntMax 
Instance details

Defined in Foreign.C.Types

Bounded CUIntMax 
Instance details

Defined in Foreign.C.Types

Bounded WordPtr 
Instance details

Defined in Foreign.Ptr

Bounded IntPtr 
Instance details

Defined in Foreign.Ptr

Bounded GeneralCategory 
Instance details

Defined in GHC.Unicode

Bounded XdgDirectory 
Instance details

Defined in System.Directory

Bounded FileType 
Instance details

Defined in System.Directory.Internal.Common

Bounded IPv4 
Instance details

Defined in Network.Info

Bounded IPv6 
Instance details

Defined in Network.Info

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

Bounded a => Bounded (Identity a) 
Instance details

Defined in Data.Functor.Identity

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

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

Bounded a => Bounded (Joining a) 
Instance details

Defined in Data.Semilattice.Join

(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

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

Lower CBlkCnt 
Instance details

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CBlkCnt #

Lower CClockId 
Instance details

Defined in Data.Semilattice.Lower

Lower CFsBlkCnt 
Instance details

Defined in Data.Semilattice.Lower

Lower CFsFilCnt 
Instance details

Defined in Data.Semilattice.Lower

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

Lower SourceUnpackedness 
Instance details

Defined in Data.Semilattice.Lower

Lower SourceStrictness 
Instance details

Defined in Data.Semilattice.Lower

Lower DecidedStrictness 
Instance details

Defined in Data.Semilattice.Lower

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

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

Lower CIntPtr 
Instance details

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CIntPtr #

Lower CUIntPtr 
Instance details

Defined in Data.Semilattice.Lower

Lower CIntMax 
Instance details

Defined in Data.Semilattice.Lower

Methods

lowerBound :: CIntMax #

Lower CUIntMax 
Instance details

Defined in Data.Semilattice.Lower

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

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

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

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

Upper CBlkCnt 
Instance details

Defined in Data.Semilattice.Upper

Methods

upperBound :: CBlkCnt #

Upper CClockId 
Instance details

Defined in Data.Semilattice.Upper

Upper CFsBlkCnt 
Instance details

Defined in Data.Semilattice.Upper

Upper CFsFilCnt 
Instance details

Defined in Data.Semilattice.Upper

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

Upper SourceUnpackedness 
Instance details

Defined in Data.Semilattice.Upper

Upper SourceStrictness 
Instance details

Defined in Data.Semilattice.Upper

Upper DecidedStrictness 
Instance details

Defined in Data.Semilattice.Upper

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

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

Upper CIntPtr 
Instance details

Defined in Data.Semilattice.Upper

Methods

upperBound :: CIntPtr #

Upper CUIntPtr 
Instance details

Defined in Data.Semilattice.Upper

Upper CIntMax 
Instance details

Defined in Data.Semilattice.Upper

Methods

upperBound :: CIntMax #

Upper CUIntMax 
Instance details

Defined in Data.Semilattice.Upper

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

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

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

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

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 #