bounds-0.1: Typeclasses for bounded types
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Bounds

Description

Provides various typeclasses for dealing with bounded and unbounded types.

Synopsis

Bounded

class LowerBounded a where Source #

Names the lower limit of a type. Types that also have a Bounded instance should define lowerBound === minBound. This can be derived with the anyclass strategy.

Examples

Expand
>>> -- -XDeriveAnyClass, -XDerivingStrategies
>>> data Foo = Foo1 | Foo2 deriving stock (Bounded, Show) deriving anyclass LowerBounded
>>> lowerBound @Foo
Foo1

Since: 0.1

Minimal complete definition

Nothing

Methods

lowerBound :: a Source #

Since: 0.1

default lowerBound :: Bounded a => a Source #

Instances

Instances details
LowerBounded All Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: All Source #

LowerBounded Any Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Any Source #

LowerBounded CBool Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CBool Source #

LowerBounded CChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CChar Source #

LowerBounded CInt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CInt Source #

LowerBounded CIntMax Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CIntMax Source #

LowerBounded CIntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CIntPtr Source #

LowerBounded CLLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CLLong Source #

LowerBounded CLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CLong Source #

LowerBounded CPtrdiff Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CPtrdiff Source #

LowerBounded CSChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CSChar Source #

LowerBounded CShort Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CShort Source #

LowerBounded CSigAtomic Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CSigAtomic Source #

LowerBounded CSize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CSize Source #

LowerBounded CUChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CUChar Source #

LowerBounded CUInt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CUInt Source #

LowerBounded CUIntMax Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CUIntMax Source #

LowerBounded CUIntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CUIntPtr Source #

LowerBounded CULLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CULLong Source #

LowerBounded CULong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CULong Source #

LowerBounded CUShort Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CUShort Source #

LowerBounded CWchar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CWchar Source #

LowerBounded IntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: IntPtr Source #

LowerBounded WordPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: WordPtr Source #

LowerBounded ByteOrder Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: ByteOrder Source #

LowerBounded Associativity Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Associativity Source #

LowerBounded DecidedStrictness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: DecidedStrictness Source #

LowerBounded SourceStrictness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: SourceStrictness Source #

LowerBounded SourceUnpackedness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: SourceUnpackedness Source #

LowerBounded Int16 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Int16 Source #

LowerBounded Int32 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Int32 Source #

LowerBounded Int64 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Int64 Source #

LowerBounded Int8 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Int8 Source #

LowerBounded GeneralCategory Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: GeneralCategory Source #

LowerBounded Word16 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Word16 Source #

LowerBounded Word32 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Word32 Source #

LowerBounded Word64 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Word64 Source #

LowerBounded Word8 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Word8 Source #

LowerBounded CBlkCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CBlkCnt Source #

LowerBounded CBlkSize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CBlkSize Source #

LowerBounded CClockId Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CClockId Source #

LowerBounded CDev Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CDev Source #

LowerBounded CFsBlkCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CFsBlkCnt Source #

LowerBounded CFsFilCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CFsFilCnt Source #

LowerBounded CGid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CGid Source #

LowerBounded CId Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CId Source #

LowerBounded CIno Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CIno Source #

LowerBounded CKey Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CKey Source #

LowerBounded CMode Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CMode Source #

LowerBounded CNfds Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CNfds Source #

LowerBounded CNlink Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CNlink Source #

LowerBounded COff Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: COff Source #

LowerBounded CPid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CPid Source #

LowerBounded CRLim Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CRLim Source #

LowerBounded CSsize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CSsize Source #

LowerBounded CTcflag Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CTcflag Source #

LowerBounded CUid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: CUid Source #

LowerBounded Fd Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Fd Source #

LowerBounded Ordering Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Ordering Source #

LowerBounded Natural Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Natural Source #

LowerBounded () Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: () Source #

LowerBounded Bool Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Bool Source #

LowerBounded Char Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Char Source #

LowerBounded Int Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Int Source #

LowerBounded Levity Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Levity Source #

LowerBounded VecCount Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: VecCount Source #

LowerBounded VecElem Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: VecElem Source #

LowerBounded Word Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Word Source #

LowerBounded a => LowerBounded (And a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: And a Source #

LowerBounded a => LowerBounded (Iff a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Iff a Source #

LowerBounded a => LowerBounded (Ior a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Ior a Source #

LowerBounded a => LowerBounded (Xor a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Xor a Source #

LowerBounded a => LowerBounded (Identity a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Identity a Source #

UpperBounded a => LowerBounded (Down a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Down a Source #

LowerBounded a => LowerBounded (First a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: First a Source #

LowerBounded a => LowerBounded (Last a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Last a Source #

LowerBounded a => LowerBounded (Max a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Max a Source #

LowerBounded a => LowerBounded (Min a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Min a Source #

LowerBounded a => LowerBounded (WrappedMonoid a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: WrappedMonoid a Source #

LowerBounded a => LowerBounded (Dual a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Dual a Source #

LowerBounded a => LowerBounded (Product a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Product a Source #

LowerBounded a => LowerBounded (Sum a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Sum a Source #

Bounded a => LowerBounded (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Bounds a Source #

LowerBounded a => LowerBounded (a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: (a) Source #

LowerBounded (Proxy t) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Proxy t Source #

(LowerBounded a, LowerBounded b) => LowerBounded (a, b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: (a, b) Source #

LowerBounded a => LowerBounded (Const a b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Const a b Source #

(Applicative f, LowerBounded a) => LowerBounded (Ap f a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Ap f a Source #

Coercible a b => LowerBounded (Coercion a b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Coercion a b Source #

a ~ b => LowerBounded (a :~: b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: a :~: b Source #

(LowerBounded a, LowerBounded b, LowerBounded c) => LowerBounded (a, b, c) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: (a, b, c) Source #

a ~~ b => LowerBounded (a :~~: b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: a :~~: b Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d) => LowerBounded (a, b, c, d) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e) => LowerBounded (a, b, c, d, e) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f) => LowerBounded (a, b, c, d, e, f) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g) => LowerBounded (a, b, c, d, e, f, g) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h) => LowerBounded (a, b, c, d, e, f, g, h) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i) => LowerBounded (a, b, c, d, e, f, g, h, i) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j) => LowerBounded (a, b, c, d, e, f, g, h, i, j) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

class UpperBounded a where Source #

Names the upper limit of a type. Types that also have a Bounded instance should define upperBound === maxBound. This can be derived with the anyclass strategy.

Examples

Expand
>>> -- -XDeriveAnyClass, -XDerivingStrategies
>>> data Foo = Foo1 | Foo2 deriving stock (Bounded, Show) deriving anyclass UpperBounded
>>> upperBound @Foo
Foo2

Since: 0.1

Minimal complete definition

Nothing

Methods

upperBound :: a Source #

Since: 0.1

default upperBound :: Bounded a => a Source #

Instances

Instances details
UpperBounded All Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: All Source #

UpperBounded Any Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Any Source #

UpperBounded CBool Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CBool Source #

UpperBounded CChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CChar Source #

UpperBounded CInt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CInt Source #

UpperBounded CIntMax Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CIntMax Source #

UpperBounded CIntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CIntPtr Source #

UpperBounded CLLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CLLong Source #

UpperBounded CLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CLong Source #

UpperBounded CPtrdiff Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CPtrdiff Source #

UpperBounded CSChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CSChar Source #

UpperBounded CShort Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CShort Source #

UpperBounded CSigAtomic Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CSigAtomic Source #

UpperBounded CSize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CSize Source #

UpperBounded CUChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CUChar Source #

UpperBounded CUInt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CUInt Source #

UpperBounded CUIntMax Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CUIntMax Source #

UpperBounded CUIntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CUIntPtr Source #

UpperBounded CULLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CULLong Source #

UpperBounded CULong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CULong Source #

UpperBounded CUShort Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CUShort Source #

UpperBounded CWchar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CWchar Source #

UpperBounded IntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: IntPtr Source #

UpperBounded WordPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: WordPtr Source #

UpperBounded ByteOrder Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: ByteOrder Source #

UpperBounded Associativity Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Associativity Source #

UpperBounded DecidedStrictness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: DecidedStrictness Source #

UpperBounded SourceStrictness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: SourceStrictness Source #

UpperBounded SourceUnpackedness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: SourceUnpackedness Source #

UpperBounded Int16 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Int16 Source #

UpperBounded Int32 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Int32 Source #

UpperBounded Int64 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Int64 Source #

UpperBounded Int8 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Int8 Source #

UpperBounded GeneralCategory Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: GeneralCategory Source #

UpperBounded Word16 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Word16 Source #

UpperBounded Word32 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Word32 Source #

UpperBounded Word64 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Word64 Source #

UpperBounded Word8 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Word8 Source #

UpperBounded CBlkCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CBlkCnt Source #

UpperBounded CBlkSize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CBlkSize Source #

UpperBounded CClockId Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CClockId Source #

UpperBounded CDev Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CDev Source #

UpperBounded CFsBlkCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CFsBlkCnt Source #

UpperBounded CFsFilCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CFsFilCnt Source #

UpperBounded CGid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CGid Source #

UpperBounded CId Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CId Source #

UpperBounded CIno Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CIno Source #

UpperBounded CKey Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CKey Source #

UpperBounded CMode Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CMode Source #

UpperBounded CNfds Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CNfds Source #

UpperBounded CNlink Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CNlink Source #

UpperBounded COff Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: COff Source #

UpperBounded CPid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CPid Source #

UpperBounded CRLim Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CRLim Source #

UpperBounded CSsize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CSsize Source #

UpperBounded CTcflag Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CTcflag Source #

UpperBounded CUid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: CUid Source #

UpperBounded Fd Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Fd Source #

UpperBounded Ordering Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Ordering Source #

UpperBounded () Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: () Source #

UpperBounded Bool Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Bool Source #

UpperBounded Char Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Char Source #

UpperBounded Int Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Int Source #

UpperBounded Levity Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Levity Source #

UpperBounded VecCount Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: VecCount Source #

UpperBounded VecElem Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: VecElem Source #

UpperBounded Word Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Word Source #

UpperBounded a => UpperBounded (And a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: And a Source #

UpperBounded a => UpperBounded (Iff a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Iff a Source #

UpperBounded a => UpperBounded (Ior a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Ior a Source #

UpperBounded a => UpperBounded (Xor a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Xor a Source #

UpperBounded a => UpperBounded (Identity a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Identity a Source #

LowerBounded a => UpperBounded (Down a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Down a Source #

UpperBounded a => UpperBounded (First a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: First a Source #

UpperBounded a => UpperBounded (Last a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Last a Source #

UpperBounded a => UpperBounded (Max a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Max a Source #

UpperBounded a => UpperBounded (Min a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Min a Source #

UpperBounded a => UpperBounded (WrappedMonoid a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: WrappedMonoid a Source #

UpperBounded a => UpperBounded (Dual a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Dual a Source #

UpperBounded a => UpperBounded (Product a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Product a Source #

UpperBounded a => UpperBounded (Sum a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Sum a Source #

Bounded a => UpperBounded (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Bounds a Source #

UpperBounded a => UpperBounded (a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a) Source #

UpperBounded (Proxy t) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Proxy t Source #

(UpperBounded a, UpperBounded b) => UpperBounded (a, b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a, b) Source #

UpperBounded a => UpperBounded (Const a b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Const a b Source #

(Applicative f, UpperBounded a) => UpperBounded (Ap f a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Ap f a Source #

Coercible a b => UpperBounded (Coercion a b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Coercion a b Source #

a ~ b => UpperBounded (a :~: b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: a :~: b Source #

(UpperBounded a, UpperBounded b, UpperBounded c) => UpperBounded (a, b, c) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a, b, c) Source #

a ~~ b => UpperBounded (a :~~: b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: a :~~: b Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d) => UpperBounded (a, b, c, d) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e) => UpperBounded (a, b, c, d, e) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a, b, c, d, e) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f) => UpperBounded (a, b, c, d, e, f) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a, b, c, d, e, f) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g) => UpperBounded (a, b, c, d, e, f, g) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a, b, c, d, e, f, g) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h) => UpperBounded (a, b, c, d, e, f, g, h) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a, b, c, d, e, f, g, h) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h, UpperBounded i) => UpperBounded (a, b, c, d, e, f, g, h, i) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a, b, c, d, e, f, g, h, i) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h, UpperBounded i, UpperBounded j) => UpperBounded (a, b, c, d, e, f, g, h, i, j) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a, b, c, d, e, f, g, h, i, j) Source #

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: (a, b, c, d, e, f, g, h, i, j, k) Source #

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

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

newtype Bounds a Source #

Newtype that gives UpperBounded and LowerBounded instances to types that only have a Bounded instance.

Examples

Expand
>>> newtype Foo = MkFoo Int8 deriving stock (Bounded, Show)
>>> upperBound @(Bounds Foo)
MkBounds {unBounds = MkFoo 127}

>>> lowerBound @(Bounds Foo)
MkBounds {unBounds = MkFoo (-128)}

Since: 0.1

Constructors

MkBounds 

Fields

Instances

Instances details
Bounded a => Bounded (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

minBound :: Bounds a #

maxBound :: Bounds a #

Show a => Show (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

showsPrec :: Int -> Bounds a -> ShowS #

show :: Bounds a -> String #

showList :: [Bounds a] -> ShowS #

Bounded a => AnyLowerBounded (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Bounds a) Source #

Bounded a => AnyUpperBounded (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Bounds a) Source #

Bounded a => LowerBounded (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

lowerBound :: Bounds a Source #

Bounded a => UpperBounded (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

upperBound :: Bounds a Source #

Eq a => Eq (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

(==) :: Bounds a -> Bounds a -> Bool #

(/=) :: Bounds a -> Bounds a -> Bool #

Ord a => Ord (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

compare :: Bounds a -> Bounds a -> Ordering #

(<) :: Bounds a -> Bounds a -> Bool #

(<=) :: Bounds a -> Bounds a -> Bool #

(>) :: Bounds a -> Bounds a -> Bool #

(>=) :: Bounds a -> Bounds a -> Bool #

max :: Bounds a -> Bounds a -> Bounds a #

min :: Bounds a -> Bounds a -> Bounds a #

Boundless

class LowerBoundless a Source #

Types that have no lower bound.

Since: 0.1

Instances

Instances details
LowerBoundless Integer Source #

Since: 0.1

Instance details

Defined in Data.Bounds

class UpperBoundless a Source #

Types that have no upper bound.

Since: 0.1

Instances

Instances details
UpperBoundless Integer Source #

Since: 0.1

Instance details

Defined in Data.Bounds

UpperBoundless Natural Source #

Since: 0.1

Instance details

Defined in Data.Bounds

class (LowerBoundless a, UpperBoundless a) => Boundless a Source #

Types that are unbounded above and below.

Since: 0.1

Instances

Instances details
Boundless Integer Source #

Since: 0.1

Instance details

Defined in Data.Bounds

AnyBounded

class AnyLowerBounded a where Source #

Class for types that may have a lower bound. The intention is that bounded types (e.g. Int8) return Just minBound whereas unbounded types (e.g. Integer) return Nothing.

Since: 0.1

Minimal complete definition

Nothing

Methods

someLowerBound :: Maybe a Source #

Retrieves the lower bound.

Since: 0.1

default someLowerBound :: LowerBounded a => Maybe a Source #

Instances

Instances details
AnyLowerBounded All Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe All Source #

AnyLowerBounded Any Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Any Source #

AnyLowerBounded CBool Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CBool Source #

AnyLowerBounded CChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CChar Source #

AnyLowerBounded CInt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CInt Source #

AnyLowerBounded CIntMax Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CIntMax Source #

AnyLowerBounded CIntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CIntPtr Source #

AnyLowerBounded CLLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CLLong Source #

AnyLowerBounded CLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CLong Source #

AnyLowerBounded CPtrdiff Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CPtrdiff Source #

AnyLowerBounded CSChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CSChar Source #

AnyLowerBounded CShort Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CShort Source #

AnyLowerBounded CSigAtomic Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CSigAtomic Source #

AnyLowerBounded CSize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CSize Source #

AnyLowerBounded CUChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CUChar Source #

AnyLowerBounded CUInt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CUInt Source #

AnyLowerBounded CUIntMax Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CUIntMax Source #

AnyLowerBounded CUIntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CUIntPtr Source #

AnyLowerBounded CULLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CULLong Source #

AnyLowerBounded CULong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CULong Source #

AnyLowerBounded CUShort Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CUShort Source #

AnyLowerBounded CWchar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CWchar Source #

AnyLowerBounded IntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe IntPtr Source #

AnyLowerBounded WordPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe WordPtr Source #

AnyLowerBounded ByteOrder Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe ByteOrder Source #

AnyLowerBounded Associativity Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Associativity Source #

AnyLowerBounded DecidedStrictness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe DecidedStrictness Source #

AnyLowerBounded SourceStrictness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe SourceStrictness Source #

AnyLowerBounded SourceUnpackedness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe SourceUnpackedness Source #

AnyLowerBounded Int16 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Int16 Source #

AnyLowerBounded Int32 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Int32 Source #

AnyLowerBounded Int64 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Int64 Source #

AnyLowerBounded Int8 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Int8 Source #

AnyLowerBounded GeneralCategory Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe GeneralCategory Source #

AnyLowerBounded Word16 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Word16 Source #

AnyLowerBounded Word32 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Word32 Source #

AnyLowerBounded Word64 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Word64 Source #

AnyLowerBounded Word8 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Word8 Source #

AnyLowerBounded CBlkCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CBlkCnt Source #

AnyLowerBounded CBlkSize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CBlkSize Source #

AnyLowerBounded CClockId Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CClockId Source #

AnyLowerBounded CDev Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CDev Source #

AnyLowerBounded CFsBlkCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CFsBlkCnt Source #

AnyLowerBounded CFsFilCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CFsFilCnt Source #

AnyLowerBounded CGid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CGid Source #

AnyLowerBounded CId Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CId Source #

AnyLowerBounded CIno Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CIno Source #

AnyLowerBounded CKey Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CKey Source #

AnyLowerBounded CMode Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CMode Source #

AnyLowerBounded CNfds Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CNfds Source #

AnyLowerBounded CNlink Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CNlink Source #

AnyLowerBounded COff Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe COff Source #

AnyLowerBounded CPid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CPid Source #

AnyLowerBounded CRLim Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CRLim Source #

AnyLowerBounded CSsize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CSsize Source #

AnyLowerBounded CTcflag Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CTcflag Source #

AnyLowerBounded CUid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe CUid Source #

AnyLowerBounded Fd Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Fd Source #

AnyLowerBounded Ordering Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Ordering Source #

AnyLowerBounded Integer Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Integer Source #

AnyLowerBounded Natural Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Natural Source #

AnyLowerBounded () Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe () Source #

AnyLowerBounded Bool Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Bool Source #

AnyLowerBounded Char Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Char Source #

AnyLowerBounded Int Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Int Source #

AnyLowerBounded Levity Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Levity Source #

AnyLowerBounded VecCount Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe VecCount Source #

AnyLowerBounded VecElem Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe VecElem Source #

AnyLowerBounded Word Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe Word Source #

LowerBounded a => AnyLowerBounded (And a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (And a) Source #

LowerBounded a => AnyLowerBounded (Iff a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Iff a) Source #

LowerBounded a => AnyLowerBounded (Ior a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Ior a) Source #

LowerBounded a => AnyLowerBounded (Xor a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Xor a) Source #

LowerBounded a => AnyLowerBounded (Identity a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Identity a) Source #

UpperBounded a => AnyLowerBounded (Down a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Down a) Source #

LowerBounded a => AnyLowerBounded (First a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (First a) Source #

LowerBounded a => AnyLowerBounded (Last a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Last a) Source #

LowerBounded a => AnyLowerBounded (Max a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Max a) Source #

LowerBounded a => AnyLowerBounded (Min a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Min a) Source #

LowerBounded a => AnyLowerBounded (WrappedMonoid a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (WrappedMonoid a) Source #

LowerBounded a => AnyLowerBounded (Dual a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Dual a) Source #

LowerBounded a => AnyLowerBounded (Product a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Product a) Source #

LowerBounded a => AnyLowerBounded (Sum a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Sum a) Source #

Bounded a => AnyLowerBounded (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Bounds a) Source #

LowerBounded a => AnyLowerBounded (a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a) Source #

AnyLowerBounded (Proxy t) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Proxy t) Source #

(LowerBounded a, LowerBounded b) => AnyLowerBounded (a, b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b) Source #

LowerBounded a => AnyLowerBounded (Const a b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Const a b) Source #

(Applicative f, LowerBounded a) => AnyLowerBounded (Ap f a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Ap f a) Source #

Coercible a b => AnyLowerBounded (Coercion a b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (Coercion a b) Source #

a ~ b => AnyLowerBounded (a :~: b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a :~: b) Source #

(LowerBounded a, LowerBounded b, LowerBounded c) => AnyLowerBounded (a, b, c) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c) Source #

a ~~ b => AnyLowerBounded (a :~~: b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a :~~: b) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d) => AnyLowerBounded (a, b, c, d) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e) => AnyLowerBounded (a, b, c, d, e) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f) => AnyLowerBounded (a, b, c, d, e, f) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g) => AnyLowerBounded (a, b, c, d, e, f, g) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f, g) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h) => AnyLowerBounded (a, b, c, d, e, f, g, h) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f, g, h) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i) => AnyLowerBounded (a, b, c, d, e, f, g, h, i) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f, g, h, i) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j) => AnyLowerBounded (a, b, c, d, e, f, g, h, i, j) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f, g, h, i, j) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j, LowerBounded k) => AnyLowerBounded (a, b, c, d, e, f, g, h, i, j, k) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j, LowerBounded k, LowerBounded l) => AnyLowerBounded (a, b, c, d, e, f, g, h, i, j, k, l) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j, LowerBounded k, LowerBounded l, LowerBounded m) => AnyLowerBounded (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #

(LowerBounded a, LowerBounded b, LowerBounded c, LowerBounded d, LowerBounded e, LowerBounded f, LowerBounded g, LowerBounded h, LowerBounded i, LowerBounded j, LowerBounded k, LowerBounded l, LowerBounded m, LowerBounded n) => AnyLowerBounded (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someLowerBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #

class AnyUpperBounded a where Source #

Class for types that may have an upper bound. The intention is that bounded types (e.g. Int8) return Just maxBound whereas unbounded types (e.g. Integer) return Nothing.

Since: 0.1

Minimal complete definition

Nothing

Methods

someUpperBound :: Maybe a Source #

Retrieves the upper bound.

Since: 0.1

default someUpperBound :: UpperBounded a => Maybe a Source #

Instances

Instances details
AnyUpperBounded All Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe All Source #

AnyUpperBounded Any Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Any Source #

AnyUpperBounded CBool Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CBool Source #

AnyUpperBounded CChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CChar Source #

AnyUpperBounded CInt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CInt Source #

AnyUpperBounded CIntMax Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CIntMax Source #

AnyUpperBounded CIntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CIntPtr Source #

AnyUpperBounded CLLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CLLong Source #

AnyUpperBounded CLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CLong Source #

AnyUpperBounded CPtrdiff Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CPtrdiff Source #

AnyUpperBounded CSChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CSChar Source #

AnyUpperBounded CShort Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CShort Source #

AnyUpperBounded CSigAtomic Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CSigAtomic Source #

AnyUpperBounded CSize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CSize Source #

AnyUpperBounded CUChar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CUChar Source #

AnyUpperBounded CUInt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CUInt Source #

AnyUpperBounded CUIntMax Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CUIntMax Source #

AnyUpperBounded CUIntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CUIntPtr Source #

AnyUpperBounded CULLong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CULLong Source #

AnyUpperBounded CULong Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CULong Source #

AnyUpperBounded CUShort Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CUShort Source #

AnyUpperBounded CWchar Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CWchar Source #

AnyUpperBounded IntPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe IntPtr Source #

AnyUpperBounded WordPtr Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe WordPtr Source #

AnyUpperBounded ByteOrder Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe ByteOrder Source #

AnyUpperBounded Associativity Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Associativity Source #

AnyUpperBounded DecidedStrictness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe DecidedStrictness Source #

AnyUpperBounded SourceStrictness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe SourceStrictness Source #

AnyUpperBounded SourceUnpackedness Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe SourceUnpackedness Source #

AnyUpperBounded Int16 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Int16 Source #

AnyUpperBounded Int32 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Int32 Source #

AnyUpperBounded Int64 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Int64 Source #

AnyUpperBounded Int8 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Int8 Source #

AnyUpperBounded GeneralCategory Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe GeneralCategory Source #

AnyUpperBounded Word16 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Word16 Source #

AnyUpperBounded Word32 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Word32 Source #

AnyUpperBounded Word64 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Word64 Source #

AnyUpperBounded Word8 Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Word8 Source #

AnyUpperBounded CBlkCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CBlkCnt Source #

AnyUpperBounded CBlkSize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CBlkSize Source #

AnyUpperBounded CClockId Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CClockId Source #

AnyUpperBounded CDev Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CDev Source #

AnyUpperBounded CFsBlkCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CFsBlkCnt Source #

AnyUpperBounded CFsFilCnt Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CFsFilCnt Source #

AnyUpperBounded CGid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CGid Source #

AnyUpperBounded CId Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CId Source #

AnyUpperBounded CIno Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CIno Source #

AnyUpperBounded CKey Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CKey Source #

AnyUpperBounded CMode Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CMode Source #

AnyUpperBounded CNfds Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CNfds Source #

AnyUpperBounded CNlink Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CNlink Source #

AnyUpperBounded COff Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe COff Source #

AnyUpperBounded CPid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CPid Source #

AnyUpperBounded CRLim Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CRLim Source #

AnyUpperBounded CSsize Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CSsize Source #

AnyUpperBounded CTcflag Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CTcflag Source #

AnyUpperBounded CUid Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe CUid Source #

AnyUpperBounded Fd Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Fd Source #

AnyUpperBounded Ordering Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Ordering Source #

AnyUpperBounded Integer Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Integer Source #

AnyUpperBounded Natural Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Natural Source #

AnyUpperBounded () Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe () Source #

AnyUpperBounded Bool Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Bool Source #

AnyUpperBounded Char Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Char Source #

AnyUpperBounded Int Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Int Source #

AnyUpperBounded Levity Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Levity Source #

AnyUpperBounded VecCount Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe VecCount Source #

AnyUpperBounded VecElem Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe VecElem Source #

AnyUpperBounded Word Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe Word Source #

UpperBounded a => AnyUpperBounded (And a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (And a) Source #

UpperBounded a => AnyUpperBounded (Iff a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Iff a) Source #

UpperBounded a => AnyUpperBounded (Ior a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Ior a) Source #

UpperBounded a => AnyUpperBounded (Xor a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Xor a) Source #

UpperBounded a => AnyUpperBounded (Identity a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Identity a) Source #

LowerBounded a => AnyUpperBounded (Down a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Down a) Source #

UpperBounded a => AnyUpperBounded (First a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (First a) Source #

UpperBounded a => AnyUpperBounded (Last a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Last a) Source #

UpperBounded a => AnyUpperBounded (Max a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Max a) Source #

UpperBounded a => AnyUpperBounded (Min a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Min a) Source #

UpperBounded a => AnyUpperBounded (WrappedMonoid a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (WrappedMonoid a) Source #

UpperBounded a => AnyUpperBounded (Dual a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Dual a) Source #

UpperBounded a => AnyUpperBounded (Product a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Product a) Source #

UpperBounded a => AnyUpperBounded (Sum a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Sum a) Source #

Bounded a => AnyUpperBounded (Bounds a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Bounds a) Source #

UpperBounded a => AnyUpperBounded (a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a) Source #

AnyUpperBounded (Proxy t) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Proxy t) Source #

(UpperBounded a, UpperBounded b) => AnyUpperBounded (a, b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b) Source #

UpperBounded a => AnyUpperBounded (Const a b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Const a b) Source #

(Applicative f, UpperBounded a) => AnyUpperBounded (Ap f a) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Ap f a) Source #

Coercible a b => AnyUpperBounded (Coercion a b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (Coercion a b) Source #

a ~ b => AnyUpperBounded (a :~: b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a :~: b) Source #

(UpperBounded a, UpperBounded b, UpperBounded c) => AnyUpperBounded (a, b, c) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c) Source #

a ~~ b => AnyUpperBounded (a :~~: b) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a :~~: b) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d) => AnyUpperBounded (a, b, c, d) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e) => AnyUpperBounded (a, b, c, d, e) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f) => AnyUpperBounded (a, b, c, d, e, f) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g) => AnyUpperBounded (a, b, c, d, e, f, g) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f, g) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h) => AnyUpperBounded (a, b, c, d, e, f, g, h) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f, g, h) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h, UpperBounded i) => AnyUpperBounded (a, b, c, d, e, f, g, h, i) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f, g, h, i) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h, UpperBounded i, UpperBounded j) => AnyUpperBounded (a, b, c, d, e, f, g, h, i, j) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f, g, h, i, j) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h, UpperBounded i, UpperBounded j, UpperBounded k) => AnyUpperBounded (a, b, c, d, e, f, g, h, i, j, k) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h, UpperBounded i, UpperBounded j, UpperBounded k, UpperBounded l) => AnyUpperBounded (a, b, c, d, e, f, g, h, i, j, k, l) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h, UpperBounded i, UpperBounded j, UpperBounded k, UpperBounded l, UpperBounded m) => AnyUpperBounded (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #

(UpperBounded a, UpperBounded b, UpperBounded c, UpperBounded d, UpperBounded e, UpperBounded f, UpperBounded g, UpperBounded h, UpperBounded i, UpperBounded j, UpperBounded k, UpperBounded l, UpperBounded m, UpperBounded n) => AnyUpperBounded (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #

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

Since: 0.1

Instance details

Defined in Data.Bounds

Methods

someUpperBound :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #