Interval CChar l r => Clamp CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
Interval CInt l r => Clamp CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
Interval CIntMax l r => Clamp CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
Interval CIntPtr l r => Clamp CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
Interval CLLong l r => Clamp CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
Interval CLong l r => Clamp CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
Interval CPtrdiff l r => Clamp CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
Interval CSChar l r => Clamp CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
Interval CShort l r => Clamp CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
Interval CSize l r => Clamp CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
Interval CUChar l r => Clamp CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
Interval CUInt l r => Clamp CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
Interval CUIntMax l r => Clamp CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
Interval CUIntPtr l r => Clamp CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
Interval CULLong l r => Clamp CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
Interval CULong l r => Clamp CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
Interval CUShort l r => Clamp CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
Interval CWchar l r => Clamp CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
Interval Int16 l r => Clamp Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
Interval Int32 l r => Clamp Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
Interval Int64 l r => Clamp Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
Interval Int8 l r => Clamp Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
Interval Word16 l r => Clamp Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
Interval Word32 l r => Clamp Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
Interval Word64 l r => Clamp Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
Interval Word8 l r => Clamp Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
Interval Int l r => Clamp Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
Interval Word l r => Clamp Word (l :: L Word :: Type) (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
(Interval CChar l r, l /= r) => Discrete CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
(Interval CInt l r, l /= r) => Discrete CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
(Interval CIntMax l r, l /= r) => Discrete CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
(Interval CIntPtr l r, l /= r) => Discrete CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
(Interval CLLong l r, l /= r) => Discrete CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
(Interval CLong l r, l /= r) => Discrete CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
(Interval CPtrdiff l r, l /= r) => Discrete CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
(Interval CSChar l r, l /= r) => Discrete CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
(Interval CShort l r, l /= r) => Discrete CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
(Interval CSize l r, l /= r) => Discrete CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
(Interval CUChar l r, l /= r) => Discrete CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
(Interval CUInt l r, l /= r) => Discrete CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
(Interval CUIntMax l r, l /= r) => Discrete CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
(Interval CUIntPtr l r, l /= r) => Discrete CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
(Interval CULLong l r, l /= r) => Discrete CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
(Interval CULong l r, l /= r) => Discrete CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
(Interval CUShort l r, l /= r) => Discrete CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
(Interval CWchar l r, l /= r) => Discrete CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
(Interval Int16 l r, l /= r) => Discrete Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
(Interval Int32 l r, l /= r) => Discrete Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
(Interval Int64 l r, l /= r) => Discrete Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
(Interval Int8 l r, l /= r) => Discrete Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
(Interval Word16 l r, l /= r) => Discrete Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
(Interval Word32 l r, l /= r) => Discrete Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
(Interval Word64 l r, l /= r) => Discrete Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
(Interval Word8 l r, l /= r) => Discrete Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
(Interval Int l r, l /= r) => Discrete Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
(Interval Word l r, l /= r) => Discrete Word (l :: L Word :: Type) (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
IntervalCtx CChar l r => Interval CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
IntervalCtx CInt l r => Interval CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
IntervalCtx CIntMax l r => Interval CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
IntervalCtx CIntPtr l r => Interval CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
IntervalCtx CLLong l r => Interval CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
IntervalCtx CLong l r => Interval CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
IntervalCtx CPtrdiff l r => Interval CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
IntervalCtx CSChar l r => Interval CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
IntervalCtx CShort l r => Interval CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
IntervalCtx CSize l r => Interval CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
IntervalCtx CUChar l r => Interval CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
IntervalCtx CUInt l r => Interval CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
IntervalCtx CUIntMax l r => Interval CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
IntervalCtx CUIntPtr l r => Interval CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
IntervalCtx CULLong l r => Interval CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
IntervalCtx CULong l r => Interval CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
IntervalCtx CUShort l r => Interval CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
IntervalCtx CWchar l r => Interval CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
IntervalCtx Int16 l r => Interval Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
IntervalCtx Int32 l r => Interval Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
IntervalCtx Int64 l r => Interval Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
IntervalCtx Int8 l r => Interval Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
IntervalCtx Word16 l r => Interval Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
IntervalCtx Word32 l r => Interval Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
IntervalCtx Word64 l r => Interval Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
IntervalCtx Word8 l r => Interval Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
IntervalCtx Int l r => Interval Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
IntervalCtx Word l r => Interval Word (l :: L Word :: Type) (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
(Zero CChar l r, l == Negate r) => Negate CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
(Zero CInt l r, l == Negate r) => Negate CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
(Zero CIntMax l r, l == Negate r) => Negate CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
(Zero CIntPtr l r, l == Negate r) => Negate CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
(Zero CLLong l r, l == Negate r) => Negate CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
(Zero CLong l r, l == Negate r) => Negate CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
(Zero CPtrdiff l r, l == Negate r) => Negate CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
(Zero CSChar l r, l == Negate r) => Negate CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
(Zero CShort l r, l == Negate r) => Negate CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
(Zero CWchar l r, l == Negate r) => Negate CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
(Zero Int16 l r, l == Negate r) => Negate Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
(Zero Int32 l r, l == Negate r) => Negate Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
(Zero Int64 l r, l == Negate r) => Negate Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
(Zero Int8 l r, l == Negate r) => Negate Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
(Zero Int l r, l == Negate r) => Negate Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
(Interval CChar l r, l <= P 1, P 1 <= r) => One CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
(Interval CInt l r, l <= P 1, P 1 <= r) => One CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
(Interval CIntMax l r, l <= P 1, P 1 <= r) => One CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
(Interval CIntPtr l r, l <= P 1, P 1 <= r) => One CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
(Interval CLLong l r, l <= P 1, P 1 <= r) => One CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
(Interval CLong l r, l <= P 1, P 1 <= r) => One CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
(Interval CPtrdiff l r, l <= P 1, P 1 <= r) => One CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
(Interval CSChar l r, l <= P 1, P 1 <= r) => One CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
(Interval CShort l r, l <= P 1, P 1 <= r) => One CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
(Interval CSize l r, l <= 1, 1 <= r) => One CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
(Interval CUChar l r, l <= 1, 1 <= r) => One CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
(Interval CUInt l r, l <= 1, 1 <= r) => One CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
(Interval CUIntMax l r, l <= 1, 1 <= r) => One CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
(Interval CUIntPtr l r, l <= 1, 1 <= r) => One CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
(Interval CULLong l r, l <= 1, 1 <= r) => One CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
(Interval CULong l r, l <= 1, 1 <= r) => One CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
(Interval CUShort l r, l <= 1, 1 <= r) => One CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
(Interval CWchar l r, l <= P 1, P 1 <= r) => One CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
(Interval Int16 l r, l <= P 1, P 1 <= r) => One Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
(Interval Int32 l r, l <= P 1, P 1 <= r) => One Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
(Interval Int64 l r, l <= P 1, P 1 <= r) => One Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
(Interval Int8 l r, l <= P 1, P 1 <= r) => One Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
(Interval Word16 l r, l <= 1, 1 <= r) => One Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
(Interval Word32 l r, l <= 1, 1 <= r) => One Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
(Interval Word64 l r, l <= 1, 1 <= r) => One Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
(Interval Word8 l r, l <= 1, 1 <= r) => One Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
(Interval Int l r, l <= P 1, P 1 <= r) => One Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
(Interval Word l r, l <= 1, 1 <= r) => One Word (l :: L Word :: Type) (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
Interval CChar l r => Shove CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
Interval CInt l r => Shove CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
Interval CIntMax l r => Shove CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
Interval CIntPtr l r => Shove CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
Interval CLLong l r => Shove CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
Interval CLong l r => Shove CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
Interval CPtrdiff l r => Shove CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
Interval CSChar l r => Shove CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
Interval CShort l r => Shove CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
Interval CSize l r => Shove CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
Interval CUChar l r => Shove CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
Interval CUInt l r => Shove CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
Interval CUIntMax l r => Shove CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
Interval CUIntPtr l r => Shove CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
Interval CULLong l r => Shove CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
Interval CULong l r => Shove CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
Interval CUShort l r => Shove CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
Interval CWchar l r => Shove CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
Interval Int16 l r => Shove Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
Interval Int32 l r => Shove Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
Interval Int64 l r => Shove Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
Interval Int8 l r => Shove Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
Interval Word16 l r => Shove Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
Interval Word32 l r => Shove Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
Interval Word64 l r => Shove Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
Interval Word8 l r => Shove Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
Interval Int l r => Shove Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
Interval Word l r => Shove Word (l :: L Word :: Type) (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
Interval CChar l r => With CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
Interval CInt l r => With CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
Interval CIntMax l r => With CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
Interval CIntPtr l r => With CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
Interval CLLong l r => With CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
Interval CLong l r => With CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
Interval CPtrdiff l r => With CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
Interval CSChar l r => With CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
Interval CShort l r => With CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
Interval CSize l r => With CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
Interval CUChar l r => With CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
Interval CUInt l r => With CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
Interval CUIntMax l r => With CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
Interval CUIntPtr l r => With CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
Interval CULLong l r => With CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
Interval CULong l r => With CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
Interval CUShort l r => With CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
Interval CWchar l r => With CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
Interval Int16 l r => With Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
Interval Int32 l r => With Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
Interval Int64 l r => With Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
Interval Int8 l r => With Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
Interval Word16 l r => With Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
Interval Word32 l r => With Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
Interval Word64 l r => With Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
Interval Word8 l r => With Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
Interval Int l r => With Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
Interval Word l r => With Word (l :: L Word :: Type) (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
(Interval CChar l r, l <= P 0, P 0 <= r) => Zero CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
(Interval CInt l r, l <= P 0, P 0 <= r) => Zero CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
(Interval CIntMax l r, l <= P 0, P 0 <= r) => Zero CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
(Interval CIntPtr l r, l <= P 0, P 0 <= r) => Zero CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
(Interval CLLong l r, l <= P 0, P 0 <= r) => Zero CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
(Interval CLong l r, l <= P 0, P 0 <= r) => Zero CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
(Interval CPtrdiff l r, l <= P 0, P 0 <= r) => Zero CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
(Interval CSChar l r, l <= P 0, P 0 <= r) => Zero CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
(Interval CShort l r, l <= P 0, P 0 <= r) => Zero CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
Interval CSize 0 r => Zero CSize 0 (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
Interval CUChar 0 r => Zero CUChar 0 (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
Interval CUInt 0 r => Zero CUInt 0 (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
Interval CUIntMax 0 r => Zero CUIntMax 0 (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
Interval CUIntPtr 0 r => Zero CUIntPtr 0 (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
Interval CULLong 0 r => Zero CULLong 0 (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
Interval CULong 0 r => Zero CULong 0 (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
Interval CUShort 0 r => Zero CUShort 0 (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
(Interval CWchar l r, l <= P 0, P 0 <= r) => Zero CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
(Interval Int16 l r, l <= P 0, P 0 <= r) => Zero Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
(Interval Int32 l r, l <= P 0, P 0 <= r) => Zero Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
(Interval Int64 l r, l <= P 0, P 0 <= r) => Zero Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
(Interval Int8 l r, l <= P 0, P 0 <= r) => Zero Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
Interval Word16 0 r => Zero Word16 0 (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
Interval Word32 0 r => Zero Word32 0 (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
Interval Word64 0 r => Zero Word64 0 (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
Interval Word8 0 r => Zero Word8 0 (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
Interval Natural 0 r => Zero Natural 0 (r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
(Interval Int l r, l <= P 0, P 0 <= r) => Zero Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
Interval Word 0 r => Zero Word 0 (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
(Interval CChar l r, KnownCtx CChar l r t) => Known CChar (l :: L CChar :: Type) (r :: R CChar :: Type) (t :: T CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
(Interval CInt l r, KnownCtx CInt l r t) => Known CInt (l :: L CInt :: Type) (r :: R CInt :: Type) (t :: T CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
(Interval CIntMax l r, KnownCtx CIntMax l r t) => Known CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) (t :: T CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
(Interval CIntPtr l r, KnownCtx CIntPtr l r t) => Known CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) (t :: T CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
(Interval CLLong l r, KnownCtx CLLong l r t) => Known CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) (t :: T CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
(Interval CLong l r, KnownCtx CLong l r t) => Known CLong (l :: L CLong :: Type) (r :: R CLong :: Type) (t :: T CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
(Interval CPtrdiff l r, KnownCtx CPtrdiff l r t) => Known CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) (t :: T CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
(Interval CSChar l r, KnownCtx CSChar l r t) => Known CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) (t :: T CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
(Interval CShort l r, KnownCtx CShort l r t) => Known CShort (l :: L CShort :: Type) (r :: R CShort :: Type) (t :: T CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
(Interval CSize l r, KnownCtx CSize l r t) => Known CSize (l :: L CSize :: Type) (r :: R CSize :: Type) (t :: T CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
(Interval CUChar l r, KnownCtx CUChar l r t) => Known CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) (t :: T CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
(Interval CUInt l r, KnownCtx CUInt l r t) => Known CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) (t :: T CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
(Interval CUIntMax l r, KnownCtx CUIntMax l r t) => Known CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) (t :: T CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
(Interval CUIntPtr l r, KnownCtx CUIntPtr l r t) => Known CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) (t :: T CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
(Interval CULLong l r, KnownCtx CULLong l r t) => Known CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) (t :: T CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
(Interval CULong l r, KnownCtx CULong l r t) => Known CULong (l :: L CULong :: Type) (r :: R CULong :: Type) (t :: T CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
(Interval CUShort l r, KnownCtx CUShort l r t) => Known CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) (t :: T CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
(Interval CWchar l r, KnownCtx CWchar l r t) => Known CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) (t :: T CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
(Interval Int16 l r, KnownCtx Int16 l r t) => Known Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) (t :: T Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
(Interval Int32 l r, KnownCtx Int32 l r t) => Known Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) (t :: T Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
(Interval Int64 l r, KnownCtx Int64 l r t) => Known Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) (t :: T Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
(Interval Int8 l r, KnownCtx Int8 l r t) => Known Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) (t :: T Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
(Interval Word16 l r, KnownCtx Word16 l r t) => Known Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) (t :: T Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
(Interval Word32 l r, KnownCtx Word32 l r t) => Known Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) (t :: T Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
(Interval Word64 l r, KnownCtx Word64 l r t) => Known Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) (t :: T Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
(Interval Word8 l r, KnownCtx Word8 l r t) => Known Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) (t :: T Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
(Interval Int l r, KnownCtx Int l r t) => Known Int (l :: L Int :: Type) (r :: R Int :: Type) (t :: T Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
(Interval Word l r, KnownCtx Word l r t) => Known Word (l :: L Word :: Type) (r :: R Word :: Type) (t :: T Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
(Interval CChar ld rd, Interval CChar lu ru, lu <= ld, rd <= ru) => Up CChar (ld :: L CChar :: Type) (rd :: R CChar :: Type) (lu :: L CChar :: Type) (ru :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
(Interval CInt ld rd, Interval CInt lu ru, lu <= ld, rd <= ru) => Up CInt (ld :: L CInt :: Type) (rd :: R CInt :: Type) (lu :: L CInt :: Type) (ru :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
(Interval CIntMax ld rd, Interval CIntMax lu ru, lu <= ld, rd <= ru) => Up CIntMax (ld :: L CIntMax :: Type) (rd :: R CIntMax :: Type) (lu :: L CIntMax :: Type) (ru :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
(Interval CIntPtr ld rd, Interval CIntPtr lu ru, lu <= ld, rd <= ru) => Up CIntPtr (ld :: L CIntPtr :: Type) (rd :: R CIntPtr :: Type) (lu :: L CIntPtr :: Type) (ru :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
(Interval CLLong ld rd, Interval CLLong lu ru, lu <= ld, rd <= ru) => Up CLLong (ld :: L CLLong :: Type) (rd :: R CLLong :: Type) (lu :: L CLLong :: Type) (ru :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
(Interval CLong ld rd, Interval CLong lu ru, lu <= ld, rd <= ru) => Up CLong (ld :: L CLong :: Type) (rd :: R CLong :: Type) (lu :: L CLong :: Type) (ru :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
(Interval CPtrdiff ld rd, Interval CPtrdiff lu ru, lu <= ld, rd <= ru) => Up CPtrdiff (ld :: L CPtrdiff :: Type) (rd :: R CPtrdiff :: Type) (lu :: L CPtrdiff :: Type) (ru :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
(Interval CSChar ld rd, Interval CSChar lu ru, lu <= ld, rd <= ru) => Up CSChar (ld :: L CSChar :: Type) (rd :: R CSChar :: Type) (lu :: L CSChar :: Type) (ru :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
(Interval CShort ld rd, Interval CShort lu ru, lu <= ld, rd <= ru) => Up CShort (ld :: L CShort :: Type) (rd :: R CShort :: Type) (lu :: L CShort :: Type) (ru :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
(Interval CSize ld rd, Interval CSize lu ru, lu <= ld, rd <= ru) => Up CSize (ld :: L CSize :: Type) (rd :: R CSize :: Type) (lu :: L CSize :: Type) (ru :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
(Interval CUChar ld rd, Interval CUChar lu ru, lu <= ld, rd <= ru) => Up CUChar (ld :: L CUChar :: Type) (rd :: R CUChar :: Type) (lu :: L CUChar :: Type) (ru :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
(Interval CUInt ld rd, Interval CUInt lu ru, lu <= ld, rd <= ru) => Up CUInt (ld :: L CUInt :: Type) (rd :: R CUInt :: Type) (lu :: L CUInt :: Type) (ru :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
(Interval CUIntMax ld rd, Interval CUIntMax lu ru, lu <= ld, rd <= ru) => Up CUIntMax (ld :: L CUIntMax :: Type) (rd :: R CUIntMax :: Type) (lu :: L CUIntMax :: Type) (ru :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
(Interval CUIntPtr ld rd, Interval CUIntPtr lu ru, lu <= ld, rd <= ru) => Up CUIntPtr (ld :: L CUIntPtr :: Type) (rd :: R CUIntPtr :: Type) (lu :: L CUIntPtr :: Type) (ru :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
(Interval CULLong ld rd, Interval CULLong lu ru, lu <= ld, rd <= ru) => Up CULLong (ld :: L CULLong :: Type) (rd :: R CULLong :: Type) (lu :: L CULLong :: Type) (ru :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
(Interval CULong ld rd, Interval CULong lu ru, lu <= ld, rd <= ru) => Up CULong (ld :: L CULong :: Type) (rd :: R CULong :: Type) (lu :: L CULong :: Type) (ru :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
(Interval CUShort ld rd, Interval CUShort lu ru, lu <= ld, rd <= ru) => Up CUShort (ld :: L CUShort :: Type) (rd :: R CUShort :: Type) (lu :: L CUShort :: Type) (ru :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
(Interval CWchar ld rd, Interval CWchar lu ru, lu <= ld, rd <= ru) => Up CWchar (ld :: L CWchar :: Type) (rd :: R CWchar :: Type) (lu :: L CWchar :: Type) (ru :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
(Interval Int16 ld rd, Interval Int16 lu ru, lu <= ld, rd <= ru) => Up Int16 (ld :: L Int16 :: Type) (rd :: R Int16 :: Type) (lu :: L Int16 :: Type) (ru :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
(Interval Int32 ld rd, Interval Int32 lu ru, lu <= ld, rd <= ru) => Up Int32 (ld :: L Int32 :: Type) (rd :: R Int32 :: Type) (lu :: L Int32 :: Type) (ru :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
(Interval Int64 ld rd, Interval Int64 lu ru, lu <= ld, rd <= ru) => Up Int64 (ld :: L Int64 :: Type) (rd :: R Int64 :: Type) (lu :: L Int64 :: Type) (ru :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
(Interval Int8 ld rd, Interval Int8 lu ru, lu <= ld, rd <= ru) => Up Int8 (ld :: L Int8 :: Type) (rd :: R Int8 :: Type) (lu :: L Int8 :: Type) (ru :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
(Interval Word16 ld rd, Interval Word16 lu ru, lu <= ld, rd <= ru) => Up Word16 (ld :: L Word16 :: Type) (rd :: R Word16 :: Type) (lu :: L Word16 :: Type) (ru :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
(Interval Word32 ld rd, Interval Word32 lu ru, lu <= ld, rd <= ru) => Up Word32 (ld :: L Word32 :: Type) (rd :: R Word32 :: Type) (lu :: L Word32 :: Type) (ru :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
(Interval Word64 ld rd, Interval Word64 lu ru, lu <= ld, rd <= ru) => Up Word64 (ld :: L Word64 :: Type) (rd :: R Word64 :: Type) (lu :: L Word64 :: Type) (ru :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
(Interval Word8 ld rd, Interval Word8 lu ru, lu <= ld, rd <= ru) => Up Word8 (ld :: L Word8 :: Type) (rd :: R Word8 :: Type) (lu :: L Word8 :: Type) (ru :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
(Interval Int ld rd, Interval Int lu ru, lu <= ld, rd <= ru) => Up Int (ld :: L Int :: Type) (rd :: R Int :: Type) (lu :: L Int :: Type) (ru :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
(Interval Word ld rd, Interval Word lu ru, lu <= ld, rd <= ru) => Up Word (ld :: L Word :: Type) (rd :: R Word :: Type) (lu :: L Word :: Type) (ru :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
(lu <= ld, Interval Natural ld yrd, Interval Natural lu ('Nothing :: Maybe Natural)) => Up Natural (ld :: L Natural :: Type) (yrd :: R Natural :: Type) (lu :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
(Interval Rational yld yrd, Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational))) => Up Rational (yld :: L Rational :: Type) (yrd :: R Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer yld yrd, Interval Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer)) => Up Integer (yld :: L Integer :: Type) (yrd :: R Integer :: Type) ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Interval Natural l ('Nothing :: Maybe Natural) => Clamp Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
Interval Natural l ('Nothing :: Maybe Natural) => Discrete Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
IntervalCtx Natural l ('Nothing :: Maybe Natural) => Interval Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
Interval Natural l ('Nothing :: Maybe Natural) => Mult Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
(Interval Natural l ('Nothing :: Maybe Natural), l <= 1) => One Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
Interval Natural l ('Nothing :: Maybe Natural) => Plus Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
Interval Natural l ('Nothing :: Maybe Natural) => Shove Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
Discrete Integer l ('Nothing :: Maybe Integer) => Succ Integer (l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Discrete Natural l ('Nothing :: Maybe Natural) => Succ Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
Interval Natural l ('Nothing :: Maybe Natural) => With Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
(Interval Natural l ('Nothing :: Maybe Natural), KnownCtx Natural l ('Nothing :: Maybe Natural) t) => Known Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) (t :: T Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
Interval Natural l ('Just r) => Clamp Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
(Interval Natural l ('Just r), l /= r) => Discrete Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
IntervalCtx Natural l ('Just r) => Interval Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
(Interval Natural l ('Just r), l <= 1, 1 <= r) => One Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
Interval Natural l ('Just r) => Shove Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
Interval Natural l ('Just r) => With Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
(Interval Natural l ('Just r), KnownCtx Natural l ('Just r) t) => Known Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) (t :: T Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
(lu <= ld, rd <= ru, Interval Natural ld ('Just rd), Interval Natural lu ('Just ru)) => Up Natural (ld :: L Natural :: Type) ('Just rd :: R Natural :: Type) (lu :: L Natural :: Type) ('Just ru :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
(Interval Rational yld ('Just '('False, rd)), Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, ru)), ru <= rd) => Up Rational (yld :: L Rational :: Type) ('Just '('False, rd) :: R Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, ru) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational yld ('Just '(ird, rd)), Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, ru)), ru <= rd) => Up Rational (yld :: L Rational :: Type) ('Just '(ird, rd) :: R Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, ru) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(rd <= ru, Interval Integer yld ('Just rd), Interval Integer ('Nothing :: Maybe Integer) ('Just ru)) => Up Integer (yld :: L Integer :: Type) ('Just rd :: R Integer :: Type) ('Nothing :: Maybe Integer) ('Just ru :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
Discrete Integer ('Nothing :: Maybe Integer) r => Pred Integer ('Nothing :: Maybe Integer) (r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) => Clamp Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) => Clamp Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Discrete Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Minus Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Minus Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Mult Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Mult Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Negate Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Negate Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
One Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
One Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Plus Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Plus Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Shove Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) => Shove Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
With Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
With Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Zero Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Zero Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
KnownCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) t => Known Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
KnownCtx Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) t => Known Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) (t :: T Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r)) => Clamp Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Nothing :: Maybe Integer) ('Just r) => Clamp Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
Interval Integer ('Nothing :: Maybe Integer) ('Just r) => Discrete Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
IntervalCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r)) => Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational Methods inhabitant :: I Rational0 'Nothing ('Just '('False, r)) Source # from :: Rational0 -> Maybe (I Rational0 'Nothing ('Just '('False, r))) Source # plus' :: I Rational0 'Nothing ('Just '('False, r)) -> I Rational0 'Nothing ('Just '('False, r)) -> Maybe (I Rational0 'Nothing ('Just '('False, r))) Source # mult' :: I Rational0 'Nothing ('Just '('False, r)) -> I Rational0 'Nothing ('Just '('False, r)) -> Maybe (I Rational0 'Nothing ('Just '('False, r))) Source # minus' :: I Rational0 'Nothing ('Just '('False, r)) -> I Rational0 'Nothing ('Just '('False, r)) -> Maybe (I Rational0 'Nothing ('Just '('False, r))) Source # negate' :: I Rational0 'Nothing ('Just '('False, r)) -> Maybe (I Rational0 'Nothing ('Just '('False, r))) Source # recip' :: I Rational0 'Nothing ('Just '('False, r)) -> Maybe (I Rational0 'Nothing ('Just '('False, r))) Source # div' :: I Rational0 'Nothing ('Just '('False, r)) -> I Rational0 'Nothing ('Just '('False, r)) -> Maybe (I Rational0 'Nothing ('Just '('False, r))) Source # |
IntervalCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r)) => Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational Methods inhabitant :: I Rational0 'Nothing ('Just '('True, r)) Source # from :: Rational0 -> Maybe (I Rational0 'Nothing ('Just '('True, r))) Source # plus' :: I Rational0 'Nothing ('Just '('True, r)) -> I Rational0 'Nothing ('Just '('True, r)) -> Maybe (I Rational0 'Nothing ('Just '('True, r))) Source # mult' :: I Rational0 'Nothing ('Just '('True, r)) -> I Rational0 'Nothing ('Just '('True, r)) -> Maybe (I Rational0 'Nothing ('Just '('True, r))) Source # minus' :: I Rational0 'Nothing ('Just '('True, r)) -> I Rational0 'Nothing ('Just '('True, r)) -> Maybe (I Rational0 'Nothing ('Just '('True, r))) Source # negate' :: I Rational0 'Nothing ('Just '('True, r)) -> Maybe (I Rational0 'Nothing ('Just '('True, r))) Source # recip' :: I Rational0 'Nothing ('Just '('True, r)) -> Maybe (I Rational0 'Nothing ('Just '('True, r))) Source # div' :: I Rational0 'Nothing ('Just '('True, r)) -> I Rational0 'Nothing ('Just '('True, r)) -> Maybe (I Rational0 'Nothing ('Just '('True, r))) Source # |
IntervalCtx Integer ('Nothing :: Maybe Integer) ('Just r) => Interval Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r)), (1 / 1) < r) => One Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r)), (1 / 1) <= r) => One Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Nothing :: Maybe Integer) ('Just r), P 1 <= r) => One Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '(ir, r)), r <= (0 / 1)) => Plus Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '(ir, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Nothing :: Maybe Integer) ('Just r), r <= P 0) => Plus Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r)) => Shove Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r)) => Shove Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Nothing :: Maybe Integer) ('Just r) => Shove Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r)) => With Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r)) => With Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Nothing :: Maybe Integer) ('Just r) => With Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r)), (0 / 1) < r) => Zero Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r)), (0 / 1) <= r) => Zero Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Nothing :: Maybe Integer) ('Just r), P 0 <= r) => Zero Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r)), KnownCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r)) t) => Known Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r)), KnownCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r)) t) => Known Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Nothing :: Maybe Integer) ('Just r), KnownCtx Integer ('Nothing :: Maybe Integer) ('Just r) t) => Known Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) (t :: T Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Just '('False, ld)) yrd, Interval Rational ('Just '('False, lu)) ('Nothing :: Maybe (Bool, Rational)), lu <= ld) => Up Rational ('Just '('False, ld) :: L Rational :: Type) (yrd :: R Rational :: Type) ('Just '('False, lu) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '(ild, ld)) yrd, Interval Rational ('Just '('True, lu)) ('Nothing :: Maybe (Bool, Rational)), lu <= ld) => Up Rational ('Just '(ild, ld) :: L Rational :: Type) (yrd :: R Rational :: Type) ('Just '('True, lu) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
(lu <= ld, Interval Integer ('Just ld) yrd, Interval Integer ('Just lu) ('Nothing :: Maybe Integer)) => Up Integer ('Just ld :: L Integer :: Type) (yrd :: R Integer :: Type) ('Just lu :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Just '('True, l)) ('Nothing :: Maybe (Bool, Rational)) => Clamp Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Just l) ('Nothing :: Maybe Integer) => Clamp Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Interval Integer ('Just l) ('Nothing :: Maybe Integer) => Discrete Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
IntervalCtx Rational ('Just '('False, l)) ('Nothing :: Maybe (Bool, Rational)) => Interval Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational Methods inhabitant :: I Rational0 ('Just '('False, l)) 'Nothing Source # from :: Rational0 -> Maybe (I Rational0 ('Just '('False, l)) 'Nothing) Source # plus' :: I Rational0 ('Just '('False, l)) 'Nothing -> I Rational0 ('Just '('False, l)) 'Nothing -> Maybe (I Rational0 ('Just '('False, l)) 'Nothing) Source # mult' :: I Rational0 ('Just '('False, l)) 'Nothing -> I Rational0 ('Just '('False, l)) 'Nothing -> Maybe (I Rational0 ('Just '('False, l)) 'Nothing) Source # minus' :: I Rational0 ('Just '('False, l)) 'Nothing -> I Rational0 ('Just '('False, l)) 'Nothing -> Maybe (I Rational0 ('Just '('False, l)) 'Nothing) Source # negate' :: I Rational0 ('Just '('False, l)) 'Nothing -> Maybe (I Rational0 ('Just '('False, l)) 'Nothing) Source # recip' :: I Rational0 ('Just '('False, l)) 'Nothing -> Maybe (I Rational0 ('Just '('False, l)) 'Nothing) Source # div' :: I Rational0 ('Just '('False, l)) 'Nothing -> I Rational0 ('Just '('False, l)) 'Nothing -> Maybe (I Rational0 ('Just '('False, l)) 'Nothing) Source # |
IntervalCtx Rational ('Just '('True, l)) ('Nothing :: Maybe (Bool, Rational)) => Interval Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational Methods inhabitant :: I Rational0 ('Just '('True, l)) 'Nothing Source # from :: Rational0 -> Maybe (I Rational0 ('Just '('True, l)) 'Nothing) Source # plus' :: I Rational0 ('Just '('True, l)) 'Nothing -> I Rational0 ('Just '('True, l)) 'Nothing -> Maybe (I Rational0 ('Just '('True, l)) 'Nothing) Source # mult' :: I Rational0 ('Just '('True, l)) 'Nothing -> I Rational0 ('Just '('True, l)) 'Nothing -> Maybe (I Rational0 ('Just '('True, l)) 'Nothing) Source # minus' :: I Rational0 ('Just '('True, l)) 'Nothing -> I Rational0 ('Just '('True, l)) 'Nothing -> Maybe (I Rational0 ('Just '('True, l)) 'Nothing) Source # negate' :: I Rational0 ('Just '('True, l)) 'Nothing -> Maybe (I Rational0 ('Just '('True, l)) 'Nothing) Source # recip' :: I Rational0 ('Just '('True, l)) 'Nothing -> Maybe (I Rational0 ('Just '('True, l)) 'Nothing) Source # div' :: I Rational0 ('Just '('True, l)) 'Nothing -> I Rational0 ('Just '('True, l)) 'Nothing -> Maybe (I Rational0 ('Just '('True, l)) 'Nothing) Source # |
IntervalCtx Integer ('Just l) ('Nothing :: Maybe Integer) => Interval Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Just '(il, l)) ('Nothing :: Maybe (Bool, Rational)), (1 / 1) <= l) => Mult Rational ('Just '(il, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Just l) ('Nothing :: Maybe Integer), P 0 <= l) => Mult Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Just '('False, l)) ('Nothing :: Maybe (Bool, Rational)), l < (1 / 1)) => One Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '('True, l)) ('Nothing :: Maybe (Bool, Rational)), l <= (1 / 1)) => One Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Just l) ('Nothing :: Maybe Integer), l <= P 1) => One Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Just '(il, l)) ('Nothing :: Maybe (Bool, Rational)), (0 / 1) <= l) => Plus Rational ('Just '(il, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Just l) ('Nothing :: Maybe Integer), P 0 <= l) => Plus Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Just '('False, l)) ('Nothing :: Maybe (Bool, Rational)) => Shove Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Just '('True, l)) ('Nothing :: Maybe (Bool, Rational)) => Shove Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Just l) ('Nothing :: Maybe Integer) => Shove Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Just '('False, l)) ('Nothing :: Maybe (Bool, Rational)) => With Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Just '('True, l)) ('Nothing :: Maybe (Bool, Rational)) => With Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Just l) ('Nothing :: Maybe Integer) => With Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Just '('False, l)) ('Nothing :: Maybe (Bool, Rational)), l < (0 / 1)) => Zero Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '('True, l)) ('Nothing :: Maybe (Bool, Rational)), l <= (0 / 1)) => Zero Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Just l) ('Nothing :: Maybe Integer), l <= P 0) => Zero Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Just '('False, l)) ('Nothing :: Maybe (Bool, Rational)), KnownCtx Rational ('Just '('False, l)) ('Nothing :: Maybe (Bool, Rational)) t) => Known Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '('True, l)) ('Nothing :: Maybe (Bool, Rational)), KnownCtx Rational ('Just '('True, l)) ('Nothing :: Maybe (Bool, Rational)) t) => Known Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Just l) ('Nothing :: Maybe Integer), KnownCtx Integer ('Just l) ('Nothing :: Maybe Integer) t) => Known Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) (t :: T Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Just '('True, l)) ('Just '('True, r)) => Clamp Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Just l) ('Just r) => Clamp Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(Interval Integer ('Just l) ('Just r), l /= r) => Discrete Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
((0 / 1) < l, r <= (1 / 1), Interval Rational ('Just '(il, l)) ('Just '(ir, r))) => Div Rational ('Just '(il, l) :: L Rational :: Type) ('Just '(ir, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
IntervalCtx Rational ('Just '('False, l)) ('Just '('False, r)) => Interval Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational Methods inhabitant :: I Rational ('Just '('False, l)) ('Just '('False, r)) Source # from :: Rational -> Maybe (I Rational ('Just '('False, l)) ('Just '('False, r))) Source # plus' :: I Rational ('Just '('False, l)) ('Just '('False, r)) -> I Rational ('Just '('False, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('False, r))) Source # mult' :: I Rational ('Just '('False, l)) ('Just '('False, r)) -> I Rational ('Just '('False, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('False, r))) Source # minus' :: I Rational ('Just '('False, l)) ('Just '('False, r)) -> I Rational ('Just '('False, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('False, r))) Source # negate' :: I Rational ('Just '('False, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('False, r))) Source # recip' :: I Rational ('Just '('False, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('False, r))) Source # div' :: I Rational ('Just '('False, l)) ('Just '('False, r)) -> I Rational ('Just '('False, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('False, r))) Source # |
IntervalCtx Rational ('Just '('False, l)) ('Just '('True, r)) => Interval Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational Methods inhabitant :: I Rational ('Just '('False, l)) ('Just '('True, r)) Source # from :: Rational -> Maybe (I Rational ('Just '('False, l)) ('Just '('True, r))) Source # plus' :: I Rational ('Just '('False, l)) ('Just '('True, r)) -> I Rational ('Just '('False, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('True, r))) Source # mult' :: I Rational ('Just '('False, l)) ('Just '('True, r)) -> I Rational ('Just '('False, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('True, r))) Source # minus' :: I Rational ('Just '('False, l)) ('Just '('True, r)) -> I Rational ('Just '('False, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('True, r))) Source # negate' :: I Rational ('Just '('False, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('True, r))) Source # recip' :: I Rational ('Just '('False, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('True, r))) Source # div' :: I Rational ('Just '('False, l)) ('Just '('True, r)) -> I Rational ('Just '('False, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('False, l)) ('Just '('True, r))) Source # |
IntervalCtx Rational ('Just '('True, l)) ('Just '('False, r)) => Interval Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational Methods inhabitant :: I Rational ('Just '('True, l)) ('Just '('False, r)) Source # from :: Rational -> Maybe (I Rational ('Just '('True, l)) ('Just '('False, r))) Source # plus' :: I Rational ('Just '('True, l)) ('Just '('False, r)) -> I Rational ('Just '('True, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('False, r))) Source # mult' :: I Rational ('Just '('True, l)) ('Just '('False, r)) -> I Rational ('Just '('True, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('False, r))) Source # minus' :: I Rational ('Just '('True, l)) ('Just '('False, r)) -> I Rational ('Just '('True, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('False, r))) Source # negate' :: I Rational ('Just '('True, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('False, r))) Source # recip' :: I Rational ('Just '('True, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('False, r))) Source # div' :: I Rational ('Just '('True, l)) ('Just '('False, r)) -> I Rational ('Just '('True, l)) ('Just '('False, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('False, r))) Source # |
IntervalCtx Rational ('Just '('True, l)) ('Just '('True, r)) => Interval Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational Methods inhabitant :: I Rational ('Just '('True, l)) ('Just '('True, r)) Source # from :: Rational -> Maybe (I Rational ('Just '('True, l)) ('Just '('True, r))) Source # plus' :: I Rational ('Just '('True, l)) ('Just '('True, r)) -> I Rational ('Just '('True, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('True, r))) Source # mult' :: I Rational ('Just '('True, l)) ('Just '('True, r)) -> I Rational ('Just '('True, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('True, r))) Source # minus' :: I Rational ('Just '('True, l)) ('Just '('True, r)) -> I Rational ('Just '('True, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('True, r))) Source # negate' :: I Rational ('Just '('True, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('True, r))) Source # recip' :: I Rational ('Just '('True, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('True, r))) Source # div' :: I Rational ('Just '('True, l)) ('Just '('True, r)) -> I Rational ('Just '('True, l)) ('Just '('True, r)) -> Maybe (I Rational ('Just '('True, l)) ('Just '('True, r))) Source # |
IntervalCtx Integer ('Just l) ('Just r) => Interval Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Just '(il, l)) ('Just '(ir, r)), (0 / 1) <= l, r <= (1 / 1)) => Mult Rational ('Just '(il, l) :: L Rational :: Type) ('Just '(ir, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(l == Negate r, Zero Rational ('Just '(i, l)) ('Just '(i, r))) => Negate Rational ('Just '(i, l) :: L Rational :: Type) ('Just '(i, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Zero Integer ('Just l) ('Just r), l == Negate r) => Negate Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(l < (1 / 1), (1 / 1) < r, Interval Rational ('Just '('False, l)) ('Just '('False, r))) => One Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(l < (1 / 1), (1 / 1) <= r, Interval Rational ('Just '('False, l)) ('Just '('True, r))) => One Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(l <= (1 / 1), (1 / 1) < r, Interval Rational ('Just '('True, l)) ('Just '('False, r))) => One Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(l <= (1 / 1), (1 / 1) <= r, Interval Rational ('Just '('True, l)) ('Just '('True, r))) => One Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Just l) ('Just r), l <= P 1, P 1 <= r) => One Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Just '('False, l)) ('Just '('False, r)) => Shove Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Just '('False, l)) ('Just '('True, r)) => Shove Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Just '('True, l)) ('Just '('False, r)) => Shove Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Just '('True, l)) ('Just '('True, r)) => Shove Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Just l) ('Just r) => Shove Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
Interval Rational ('Just '('False, l)) ('Just '('False, r)) => With Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Just '('False, l)) ('Just '('True, r)) => With Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Just '('True, l)) ('Just '('False, r)) => With Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Rational ('Just '('True, l)) ('Just '('True, r)) => With Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
Interval Integer ('Just l) ('Just r) => With Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(l < (0 / 1), (0 / 1) < r, Interval Rational ('Just '('False, l)) ('Just '('False, r))) => Zero Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(l < (0 / 1), (0 / 1) <= r, Interval Rational ('Just '('False, l)) ('Just '('True, r))) => Zero Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(l <= (0 / 1), (0 / 1) < r, Interval Rational ('Just '('True, l)) ('Just '('False, r))) => Zero Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(l <= (0 / 1), (0 / 1) <= r, Interval Rational ('Just '('True, l)) ('Just '('True, r))) => Zero Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Just l) ('Just r), l <= P 0, P 0 <= r) => Zero Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Just '('False, l)) ('Just '('False, r)), KnownCtx Rational ('Just '('False, l)) ('Just '('False, r)) t) => Known Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '('False, l)) ('Just '('True, r)), KnownCtx Rational ('Just '('False, l)) ('Just '('True, r)) t) => Known Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '('True, l)) ('Just '('False, r)), KnownCtx Rational ('Just '('True, l)) ('Just '('False, r)) t) => Known Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '('True, l)) ('Just '('True, r)), KnownCtx Rational ('Just '('True, l)) ('Just '('True, r)) t) => Known Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Integer ('Just l) ('Just r), KnownCtx Integer ('Just l) ('Just r) t) => Known Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) (t :: T Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
(Interval Rational ('Just '('False, ld)) ('Just '('False, rd)), Interval Rational ('Just '('False, lu)) ('Just '('False, ru)), lu <= ld, rd <= ru) => Up Rational ('Just '('False, ld) :: L Rational :: Type) ('Just '('False, rd) :: R Rational :: Type) ('Just '('False, lu) :: L Rational :: Type) ('Just '('False, ru) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '('False, ld)) ('Just '(ird, rd)), Interval Rational ('Just '('False, lu)) ('Just '('True, ru)), lu <= ld, rd <= ru) => Up Rational ('Just '('False, ld) :: L Rational :: Type) ('Just '(ird, rd) :: R Rational :: Type) ('Just '('False, lu) :: L Rational :: Type) ('Just '('True, ru) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '(ild, ld)) ('Just '('False, rd)), Interval Rational ('Just '('True, lu)) ('Just '('False, ru)), lu <= ld, rd <= ru) => Up Rational ('Just '(ild, ld) :: L Rational :: Type) ('Just '('False, rd) :: R Rational :: Type) ('Just '('True, lu) :: L Rational :: Type) ('Just '('False, ru) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(Interval Rational ('Just '(ild, ld)) ('Just '(ird, rd)), Interval Rational ('Just '('True, lu)) ('Just '('True, ru)), lu <= ld, rd <= ru) => Up Rational ('Just '(ild, ld) :: L Rational :: Type) ('Just '(ird, rd) :: R Rational :: Type) ('Just '('True, lu) :: L Rational :: Type) ('Just '('True, ru) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
(lu <= ld, rd <= ru, Interval Integer ('Just ld) ('Just rd), Interval Integer ('Just lu) ('Just ru)) => Up Integer ('Just ld :: L Integer :: Type) ('Just rd :: R Integer :: Type) ('Just lu :: L Integer :: Type) ('Just ru :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type R Int16 Source # | |
Instance detailsDefined in I.Internal |
type R Int32 Source # | |
Instance detailsDefined in I.Internal |
type R Int64 Source # | |
Instance detailsDefined in I.Internal |
type R Int8 Source # | |
Instance detailsDefined in I.Internal |
type R Rational Source # | - '
Nothing means unbounded. ''Just ('True , t) means up to t , inclusive.''Just ('False , t) means up to t , exclusive.
|
Instance detailsDefined in I.Internal |
type R Word16 Source # | |
Instance detailsDefined in I.Internal |
type R Word32 Source # | |
Instance detailsDefined in I.Internal |
type R Word64 Source # | |
Instance detailsDefined in I.Internal |
type R Word8 Source # | |
Instance detailsDefined in I.Internal |
type R Integer Source # | - '
Nothing means unbounded. 'Just t means up to t , inclusive.
|
Instance detailsDefined in I.Internal |
type R Natural Source # | 'Nothing means unbounded. |
Instance detailsDefined in I.Internal |
type R Int Source # | |
Instance detailsDefined in I.Internal |
type R Word Source # | |
Instance detailsDefined in I.Internal |
type R CChar Source # | |
Instance detailsDefined in I.Internal |
type R CClock Source # | |
Instance detailsDefined in I.Internal |
type R CInt Source # | |
Instance detailsDefined in I.Internal |
type R CIntMax Source # | |
Instance detailsDefined in I.Internal |
type R CIntPtr Source # | |
Instance detailsDefined in I.Internal |
type R CLLong Source # | |
Instance detailsDefined in I.Internal |
type R CLong Source # | |
Instance detailsDefined in I.Internal |
type R CPtrdiff Source # | |
Instance detailsDefined in I.Internal |
type R CSChar Source # | |
Instance detailsDefined in I.Internal |
type R CSUSeconds Source # | |
Instance detailsDefined in I.Internal |
type R CShort Source # | |
Instance detailsDefined in I.Internal |
type R CSize Source # | |
Instance detailsDefined in I.Internal |
type R CTime Source # | |
Instance detailsDefined in I.Internal |
type R CUChar Source # | |
Instance detailsDefined in I.Internal |
type R CUInt Source # | |
Instance detailsDefined in I.Internal |
type R CUIntMax Source # | |
Instance detailsDefined in I.Internal |
type R CUIntPtr Source # | |
Instance detailsDefined in I.Internal |
type R CULLong Source # | |
Instance detailsDefined in I.Internal |
type R CULong Source # | |
Instance detailsDefined in I.Internal |
type R CUSeconds Source # | |
Instance detailsDefined in I.Internal |
type R CUShort Source # | |
Instance detailsDefined in I.Internal |
type R CWchar Source # | |
Instance detailsDefined in I.Internal |
type IntervalCtx CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
type IntervalCtx CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
type IntervalCtx CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
type IntervalCtx CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
type IntervalCtx CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
type IntervalCtx CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
type IntervalCtx CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
type IntervalCtx CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
type IntervalCtx CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
type IntervalCtx CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
type IntervalCtx CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
type IntervalCtx CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
type IntervalCtx CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
type IntervalCtx CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
type IntervalCtx CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
type IntervalCtx CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
type IntervalCtx CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
type IntervalCtx CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
type IntervalCtx Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
type IntervalCtx Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
type IntervalCtx Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
type IntervalCtx Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
type IntervalCtx Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
type IntervalCtx Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
type IntervalCtx Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
type IntervalCtx Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
type IntervalCtx Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
type IntervalCtx Word (l :: L Word :: Type) (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
type MaxI CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
type MaxI CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
type MaxI CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
type MaxI CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
type MaxI CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
type MaxI CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
type MaxI CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
type MaxI CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
type MaxI CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
type MaxI CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
type MaxI CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
type MaxI CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
type MaxI CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
type MaxI CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
type MaxI CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
type MaxI CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
type MaxI CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
type MaxI CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
type MaxI Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
type MaxI Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
type MaxI Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
type MaxI Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
type MaxI Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
type MaxI Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
type MaxI Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
type MaxI Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
type MaxI Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
type MaxI Word (l :: L Word :: Type) (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
type MinI CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
type MinI CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
type MinI CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
type MinI CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
type MinI CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
type MinI CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
type MinI CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
type MinI CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
type MinI CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
type MinI CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
type MinI CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
type MinI CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
type MinI CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
type MinI CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
type MinI CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
type MinI CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
type MinI CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
type MinI CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
type MinI Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
type MinI Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
type MinI Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
type MinI Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
type MinI Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
type MinI Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
type MinI Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
type MinI Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
type MinI Int (l :: L Int :: Type) (r :: R Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
type MinI Word (l :: L Word :: Type) (r :: R Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
type KnownCtx CChar (l :: L CChar :: Type) (r :: R CChar :: Type) (t :: T CChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CChar |
type KnownCtx CInt (l :: L CInt :: Type) (r :: R CInt :: Type) (t :: T CInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CInt |
type KnownCtx CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) (t :: T CIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntMax |
type KnownCtx CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) (t :: T CIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CIntPtr |
type KnownCtx CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) (t :: T CLLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLLong |
type KnownCtx CLong (l :: L CLong :: Type) (r :: R CLong :: Type) (t :: T CLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CLong |
type KnownCtx CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) (t :: T CPtrdiff :: Type) Source # | |
Instance detailsDefined in I.Autogen.CPtrdiff |
type KnownCtx CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) (t :: T CSChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSChar |
type KnownCtx CShort (l :: L CShort :: Type) (r :: R CShort :: Type) (t :: T CShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CShort |
type KnownCtx CSize (l :: L CSize :: Type) (r :: R CSize :: Type) (t :: T CSize :: Type) Source # | |
Instance detailsDefined in I.Autogen.CSize |
type KnownCtx CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) (t :: T CUChar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUChar |
type KnownCtx CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) (t :: T CUInt :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUInt |
type KnownCtx CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) (t :: T CUIntMax :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntMax |
type KnownCtx CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) (t :: T CUIntPtr :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUIntPtr |
type KnownCtx CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) (t :: T CULLong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULLong |
type KnownCtx CULong (l :: L CULong :: Type) (r :: R CULong :: Type) (t :: T CULong :: Type) Source # | |
Instance detailsDefined in I.Autogen.CULong |
type KnownCtx CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) (t :: T CUShort :: Type) Source # | |
Instance detailsDefined in I.Autogen.CUShort |
type KnownCtx CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) (t :: T CWchar :: Type) Source # | |
Instance detailsDefined in I.Autogen.CWchar |
type KnownCtx Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) (t :: T Int16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int16 |
type KnownCtx Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) (t :: T Int32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int32 |
type KnownCtx Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) (t :: T Int64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int64 |
type KnownCtx Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) (t :: T Int8 :: Type) Source # | |
Instance detailsDefined in I.Int8 |
type KnownCtx Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) (t :: T Word16 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word16 |
type KnownCtx Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) (t :: T Word32 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word32 |
type KnownCtx Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) (t :: T Word64 :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word64 |
type KnownCtx Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) (t :: T Word8 :: Type) Source # | |
Instance detailsDefined in I.Word8 |
type KnownCtx Int (l :: L Int :: Type) (r :: R Int :: Type) (t :: T Int :: Type) Source # | |
Instance detailsDefined in I.Autogen.Int |
type KnownCtx Word (l :: L Word :: Type) (r :: R Word :: Type) (t :: T Word :: Type) Source # | |
Instance detailsDefined in I.Autogen.Word |
type IntervalCtx Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
type MaxI Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
type MinI Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) Source # | |
Instance detailsDefined in I.Natural |
type KnownCtx Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) (t :: T Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
type IntervalCtx Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
type MaxI Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
type MinI Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
type KnownCtx Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) (t :: T Natural :: Type) Source # | |
Instance detailsDefined in I.Natural |
type IntervalCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
type IntervalCtx Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
type MaxI Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
type MaxI Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
type MinI Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
type MinI Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
type KnownCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type KnownCtx Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) (t :: T Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type IntervalCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type IntervalCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type IntervalCtx Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type MaxI Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MaxI Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MaxI Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type MinI Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MinI Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MinI Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type KnownCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('False, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type KnownCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type KnownCtx Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) (t :: T Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type IntervalCtx Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
type IntervalCtx Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
type IntervalCtx Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
type MaxI Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
type MaxI Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
type MaxI Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
type MinI Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
type MinI Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) Source # | |
Instance detailsDefined in I.Rational |
type MinI Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) Source # | |
Instance detailsDefined in I.Integer |
type KnownCtx Rational ('Just '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type KnownCtx Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type KnownCtx Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) (t :: T Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type IntervalCtx Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type IntervalCtx Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type IntervalCtx Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type IntervalCtx Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type IntervalCtx Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type MaxI Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MaxI Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MaxI Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MaxI Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MaxI Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type MinI Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MinI Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MinI Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MinI Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type MinI Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |
type KnownCtx Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type KnownCtx Rational ('Just '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type KnownCtx Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('False, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type KnownCtx Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) (t :: T Rational :: Type) Source # | |
Instance detailsDefined in I.Rational |
type KnownCtx Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) (t :: T Integer :: Type) Source # | |
Instance detailsDefined in I.Integer |