i-0.1: Haskell interval types. Bounds checking.

I

Contents

Description

I am a Haskell module designed to be imported as follows:

import I (I)
import I qualified

I exist so that you don't have to manually check that a value is within an interval. For example:

I Int (N 5) (P 5)
An Int known to be in the interval [-5, +5].
I Natural 100 'Nothing
A Natural known to be in the interval [100, +infinity).
I Rational ('Just '( 'False, 0 / 1)) ('Just '( 'True, 1 / 2))
A Rational known to be in the interval (0, +0.5].
Synopsis

# Interval

data I (x :: Type) (l :: L x) (r :: R x) Source #

A value of type x known to be within the interval determined by the left end l and right end r.

#### Instances

Instances details
 (Known x l r (MinI x l r), Known x l r (MaxI x l r)) => Bounded (I x l r) Source # Instance detailsDefined in I.Internal MethodsminBound :: I x l r #maxBound :: I x l r # Show x => Show (I x l r) Source # Instance detailsDefined in I.Internal MethodsshowsPrec :: Int -> I x l r -> ShowS #show :: I x l r -> String #showList :: [I x l r] -> ShowS # Eq x => Eq (I x l r) Source # Instance detailsDefined in I.Internal Methods(==) :: I x l r -> I x l r -> Bool #(/=) :: I x l r -> I x l r -> Bool # Ord x => Ord (I x l r) Source # Instance detailsDefined in I.Internal Methodscompare :: I x l r -> I x l r -> Ordering #(<) :: I x l r -> I x l r -> Bool #(<=) :: I x l r -> I x l r -> Bool #(>) :: I x l r -> I x l r -> Bool #(>=) :: I x l r -> I x l r -> Bool #max :: I x l r -> I x l r -> I x l r #min :: I x l r -> I x l r -> I x l r #

type family T (x :: Type) :: k Source #

The kind of the type-level representation of x in I x l r, as it appears in Known x l r t.

#### Instances

Instances details
 (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 Associated Typestype KnownCtx CChar l r t Source # Methodsknown' :: Proxy t -> I CChar l r Source # (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 Associated Typestype KnownCtx CInt l r t Source # Methodsknown' :: Proxy t -> I CInt l r Source # (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 Associated Typestype KnownCtx CIntMax l r t Source # Methodsknown' :: Proxy t -> I CIntMax l r Source # (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 Associated Typestype KnownCtx CIntPtr l r t Source # Methodsknown' :: Proxy t -> I CIntPtr l r Source # (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 Associated Typestype KnownCtx CLLong l r t Source # Methodsknown' :: Proxy t -> I CLLong l r Source # (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 Associated Typestype KnownCtx CLong l r t Source # Methodsknown' :: Proxy t -> I CLong l r Source # (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 Associated Typestype KnownCtx CPtrdiff l r t Source # Methodsknown' :: Proxy t -> I CPtrdiff l r Source # (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 Associated Typestype KnownCtx CSChar l r t Source # Methodsknown' :: Proxy t -> I CSChar l r Source # (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 Associated Typestype KnownCtx CShort l r t Source # Methodsknown' :: Proxy t -> I CShort l r Source # (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 Associated Typestype KnownCtx CSize l r t Source # Methodsknown' :: Proxy t -> I CSize l r Source # (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 Associated Typestype KnownCtx CUChar l r t Source # Methodsknown' :: Proxy t -> I CUChar l r Source # (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 Associated Typestype KnownCtx CUInt l r t Source # Methodsknown' :: Proxy t -> I CUInt l r Source # (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 Associated Typestype KnownCtx CUIntMax l r t Source # Methodsknown' :: Proxy t -> I CUIntMax l r Source # (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 Associated Typestype KnownCtx CUIntPtr l r t Source # Methodsknown' :: Proxy t -> I CUIntPtr l r Source # (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 Associated Typestype KnownCtx CULLong l r t Source # Methodsknown' :: Proxy t -> I CULLong l r Source # (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 Associated Typestype KnownCtx CULong l r t Source # Methodsknown' :: Proxy t -> I CULong l r Source # (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 Associated Typestype KnownCtx CUShort l r t Source # Methodsknown' :: Proxy t -> I CUShort l r Source # (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 Associated Typestype KnownCtx CWchar l r t Source # Methodsknown' :: Proxy t -> I CWchar l r Source # (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 Associated Typestype KnownCtx Int16 l r t Source # Methodsknown' :: Proxy t -> I Int16 l r Source # (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 Associated Typestype KnownCtx Int32 l r t Source # Methodsknown' :: Proxy t -> I Int32 l r Source # (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 Associated Typestype KnownCtx Int64 l r t Source # Methodsknown' :: Proxy t -> I Int64 l r Source # (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 Associated Typestype KnownCtx Int8 l r t Source # Methodsknown' :: Proxy t -> I Int8 l r Source # (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 Associated Typestype KnownCtx Word16 l r t Source # Methodsknown' :: Proxy t -> I Word16 l r Source # (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 Associated Typestype KnownCtx Word32 l r t Source # Methodsknown' :: Proxy t -> I Word32 l r Source # (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 Associated Typestype KnownCtx Word64 l r t Source # Methodsknown' :: Proxy t -> I Word64 l r Source # (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 Associated Typestype KnownCtx Word8 l r t Source # Methodsknown' :: Proxy t -> I Word8 l r Source # (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 Associated Typestype KnownCtx Int l r t Source # Methodsknown' :: Proxy t -> I Int l r Source # (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 Associated Typestype KnownCtx Word l r t Source # Methodsknown' :: Proxy t -> I Word l r Source # (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 Associated Typestype KnownCtx Natural l 'Nothing t Source # Methodsknown' :: Proxy t -> I Natural l 'Nothing Source # (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 Associated Typestype KnownCtx Natural l ('Just r) t Source # Methodsknown' :: Proxy t -> I Natural l ('Just r) Source # 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 Associated Types Methods 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 Associated Types Methods (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 Associated Typestype KnownCtx Rational 'Nothing ('Just '('False, r)) t Source # Methodsknown' :: Proxy t -> I Rational0 'Nothing ('Just '('False, r)) Source # (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 Associated Typestype KnownCtx Rational 'Nothing ('Just '('True, r)) t Source # Methodsknown' :: Proxy t -> I Rational0 'Nothing ('Just '('True, r)) Source # (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 Associated Typestype KnownCtx Integer 'Nothing ('Just r) t Source # Methodsknown' :: Proxy t -> I Integer0 'Nothing ('Just r) Source # (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 Associated Typestype KnownCtx Rational ('Just '('False, l)) 'Nothing t Source # Methodsknown' :: Proxy t -> I Rational0 ('Just '('False, l)) 'Nothing Source # (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 Associated Typestype KnownCtx Rational ('Just '('True, l)) 'Nothing t Source # Methodsknown' :: Proxy t -> I Rational0 ('Just '('True, l)) 'Nothing Source # (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 Associated Typestype KnownCtx Integer ('Just l) 'Nothing t Source # Methodsknown' :: Proxy t -> I Integer0 ('Just l) 'Nothing Source # (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 Associated Typestype KnownCtx Rational ('Just '('False, l)) ('Just '('False, r)) t Source # Methodsknown' :: Proxy t -> I Rational ('Just '('False, l)) ('Just '('False, r)) Source # (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 Associated Typestype KnownCtx Rational ('Just '('False, l)) ('Just '('True, r)) t Source # Methodsknown' :: Proxy t -> I Rational ('Just '('False, l)) ('Just '('True, r)) Source # (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 Associated Typestype KnownCtx Rational ('Just '('True, l)) ('Just '('False, r)) t Source # Methodsknown' :: Proxy t -> I Rational ('Just '('True, l)) ('Just '('False, r)) Source # (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 Associated Typestype KnownCtx Rational ('Just '('True, l)) ('Just '('True, r)) t Source # Methodsknown' :: Proxy t -> I Rational ('Just '('True, l)) ('Just '('True, r)) Source # (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 Associated Typestype KnownCtx Integer ('Just l) ('Just r) t Source # Methodsknown' :: Proxy t -> I Integer ('Just l) ('Just r) Source # type T Int16 Source # Instance detailsDefined in I.Internal type T Int16 = Integer type T Int32 Source # Instance detailsDefined in I.Internal type T Int32 = Integer type T Int64 Source # Instance detailsDefined in I.Internal type T Int64 = Integer type T Int8 Source # Instance detailsDefined in I.Internal type T Int8 = Integer type T Rational Source # Instance detailsDefined in I.Internal type T Rational = Rational type T Word16 Source # Instance detailsDefined in I.Internal type T Word16 = Natural type T Word32 Source # Instance detailsDefined in I.Internal type T Word32 = Natural type T Word64 Source # Instance detailsDefined in I.Internal type T Word64 = Natural type T Word8 Source # Instance detailsDefined in I.Internal type T Word8 = Natural type T Integer Source # Instance detailsDefined in I.Internal type T Integer = Integer type T Natural Source # Instance detailsDefined in I.Internal type T Natural = Natural type T Int Source # Instance detailsDefined in I.Internal type T Int = Integer type T Word Source # Instance detailsDefined in I.Internal type T Word = Natural type T CChar Source # Instance detailsDefined in I.Internal type T CChar = T Int8 :: k type T CClock Source # Instance detailsDefined in I.Internal type T CClock = T Int64 :: k type T CInt Source # Instance detailsDefined in I.Internal type T CInt = T Int32 :: k type T CIntMax Source # Instance detailsDefined in I.Internal type T CIntMax = T Int64 :: k type T CIntPtr Source # Instance detailsDefined in I.Internal type T CIntPtr = T Int64 :: k type T CLLong Source # Instance detailsDefined in I.Internal type T CLLong = T Int64 :: k type T CLong Source # Instance detailsDefined in I.Internal type T CLong = T Int64 :: k type T CPtrdiff Source # Instance detailsDefined in I.Internal type T CPtrdiff = T Int64 :: k type T CSChar Source # Instance detailsDefined in I.Internal type T CSChar = T Int8 :: k type T CSUSeconds Source # Instance detailsDefined in I.Internal type T CSUSeconds = T Int64 :: k type T CShort Source # Instance detailsDefined in I.Internal type T CShort = T Int16 :: k type T CSize Source # Instance detailsDefined in I.Internal type T CSize = T Word64 :: k type T CTime Source # Instance detailsDefined in I.Internal type T CTime = T Int64 :: k type T CUChar Source # Instance detailsDefined in I.Internal type T CUChar = T Word8 :: k type T CUInt Source # Instance detailsDefined in I.Internal type T CUInt = T Word32 :: k type T CUIntMax Source # Instance detailsDefined in I.Internal type T CUIntMax = T Word64 :: k type T CUIntPtr Source # Instance detailsDefined in I.Internal type T CUIntPtr = T Word64 :: k type T CULLong Source # Instance detailsDefined in I.Internal type T CULLong = T Word64 :: k type T CULong Source # Instance detailsDefined in I.Internal type T CULong = T Word64 :: k type T CUSeconds Source # Instance detailsDefined in I.Internal type T CUSeconds = T Word32 :: k type T CUShort Source # Instance detailsDefined in I.Internal type T CUShort = T Word16 :: k type T CWchar Source # Instance detailsDefined in I.Internal type T CWchar = T Int32 :: k type KnownCtx CChar (l :: L CChar :: Type) (r :: R CChar :: Type) (t :: T CChar :: Type) Source # Instance detailsDefined in I.Autogen.CChar type KnownCtx CChar (l :: L CChar :: Type) (r :: R CChar :: Type) (t :: T CChar :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx CInt (l :: L CInt :: Type) (r :: R CInt :: Type) (t :: T CInt :: Type) Source # Instance detailsDefined in I.Autogen.CInt type KnownCtx CInt (l :: L CInt :: Type) (r :: R CInt :: Type) (t :: T CInt :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) (t :: T CIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CIntMax type KnownCtx CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) (t :: T CIntMax :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) (t :: T CIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CIntPtr type KnownCtx CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) (t :: T CIntPtr :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) (t :: T CLLong :: Type) Source # Instance detailsDefined in I.Autogen.CLLong type KnownCtx CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) (t :: T CLLong :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx CLong (l :: L CLong :: Type) (r :: R CLong :: Type) (t :: T CLong :: Type) Source # Instance detailsDefined in I.Autogen.CLong type KnownCtx CLong (l :: L CLong :: Type) (r :: R CLong :: Type) (t :: T CLong :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) (t :: T CPtrdiff :: Type) Source # Instance detailsDefined in I.Autogen.CPtrdiff type KnownCtx CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) (t :: T CPtrdiff :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) (t :: T CSChar :: Type) Source # Instance detailsDefined in I.Autogen.CSChar type KnownCtx CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) (t :: T CSChar :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx CShort (l :: L CShort :: Type) (r :: R CShort :: Type) (t :: T CShort :: Type) Source # Instance detailsDefined in I.Autogen.CShort type KnownCtx CShort (l :: L CShort :: Type) (r :: R CShort :: Type) (t :: T CShort :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx CSize (l :: L CSize :: Type) (r :: R CSize :: Type) (t :: T CSize :: Type) Source # Instance detailsDefined in I.Autogen.CSize type KnownCtx CSize (l :: L CSize :: Type) (r :: R CSize :: Type) (t :: T CSize :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) (t :: T CUChar :: Type) Source # Instance detailsDefined in I.Autogen.CUChar type KnownCtx CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) (t :: T CUChar :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) (t :: T CUInt :: Type) Source # Instance detailsDefined in I.Autogen.CUInt type KnownCtx CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) (t :: T CUInt :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) (t :: T CUIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CUIntMax type KnownCtx CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) (t :: T CUIntMax :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) (t :: T CUIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CUIntPtr type KnownCtx CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) (t :: T CUIntPtr :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) (t :: T CULLong :: Type) Source # Instance detailsDefined in I.Autogen.CULLong type KnownCtx CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) (t :: T CULLong :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx CULong (l :: L CULong :: Type) (r :: R CULong :: Type) (t :: T CULong :: Type) Source # Instance detailsDefined in I.Autogen.CULong type KnownCtx CULong (l :: L CULong :: Type) (r :: R CULong :: Type) (t :: T CULong :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) (t :: T CUShort :: Type) Source # Instance detailsDefined in I.Autogen.CUShort type KnownCtx CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) (t :: T CUShort :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) (t :: T CWchar :: Type) Source # Instance detailsDefined in I.Autogen.CWchar type KnownCtx CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) (t :: T CWchar :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) (t :: T Int16 :: Type) Source # Instance detailsDefined in I.Autogen.Int16 type KnownCtx Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) (t :: T Int16 :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) (t :: T Int32 :: Type) Source # Instance detailsDefined in I.Autogen.Int32 type KnownCtx Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) (t :: T Int32 :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) (t :: T Int64 :: Type) Source # Instance detailsDefined in I.Autogen.Int64 type KnownCtx Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) (t :: T Int64 :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) (t :: T Int8 :: Type) Source # Instance detailsDefined in I.Int8 type KnownCtx Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) (t :: T Int8 :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) (t :: T Word16 :: Type) Source # Instance detailsDefined in I.Autogen.Word16 type KnownCtx Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) (t :: T Word16 :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) (t :: T Word32 :: Type) Source # Instance detailsDefined in I.Autogen.Word32 type KnownCtx Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) (t :: T Word32 :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) (t :: T Word64 :: Type) Source # Instance detailsDefined in I.Autogen.Word64 type KnownCtx Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) (t :: T Word64 :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) (t :: T Word8 :: Type) Source # Instance detailsDefined in I.Word8 type KnownCtx Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) (t :: T Word8 :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx Int (l :: L Int :: Type) (r :: R Int :: Type) (t :: T Int :: Type) Source # Instance detailsDefined in I.Autogen.Int type KnownCtx Int (l :: L Int :: Type) (r :: R Int :: Type) (t :: T Int :: Type) = (KnownInteger t, l <= t, t <= r) type KnownCtx Word (l :: L Word :: Type) (r :: R Word :: Type) (t :: T Word :: Type) Source # Instance detailsDefined in I.Autogen.Word type KnownCtx Word (l :: L Word :: Type) (r :: R Word :: Type) (t :: T Word :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) (t :: T Natural :: Type) Source # Instance detailsDefined in I.Natural type KnownCtx Natural (l :: L Natural :: Type) ('Nothing :: Maybe Natural) (t :: T Natural :: Type) = (KnownNat t, l <= t) type KnownCtx Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) (t :: T Natural :: Type) Source # Instance detailsDefined in I.Natural type KnownCtx Natural (l :: L Natural :: Type) ('Just r :: R Natural :: Type) (t :: T Natural :: Type) = (KnownNat t, l <= t, t <= r) type KnownCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) Source # Instance detailsDefined in I.Rational type KnownCtx Rational ('Nothing :: Maybe (Bool, Rational)) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) = KnownRational t type KnownCtx Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) (t :: T Integer :: Type) Source # Instance detailsDefined in I.Integer type KnownCtx Integer ('Nothing :: Maybe Integer) ('Nothing :: Maybe Integer) (t :: T Integer :: Type) = KnownInteger t 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 '('False, r) :: R Rational :: Type) (t :: T Rational :: Type) = (KnownRational t, t < r) 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 Rational ('Nothing :: Maybe (Bool, Rational)) ('Just '('True, r) :: R Rational :: Type) (t :: T Rational :: Type) = (KnownRational t, t <= r) type KnownCtx Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) (t :: T Integer :: Type) Source # Instance detailsDefined in I.Integer type KnownCtx Integer ('Nothing :: Maybe Integer) ('Just r :: R Integer :: Type) (t :: T Integer :: Type) = (KnownInteger t, t <= r) 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 '('False, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) = (KnownRational t, l < t) 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 Rational ('Just '('True, l) :: L Rational :: Type) ('Nothing :: Maybe (Bool, Rational)) (t :: T Rational :: Type) = (KnownRational t, l <= t) type KnownCtx Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) (t :: T Integer :: Type) Source # Instance detailsDefined in I.Integer type KnownCtx Integer ('Just l :: L Integer :: Type) ('Nothing :: Maybe Integer) (t :: T Integer :: Type) = (KnownInteger t, l <= t) 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 '('False, r) :: R Rational :: Type) (t :: T Rational :: Type) = (KnownRational t, l < t, t < r) 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 '('False, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) (t :: T Rational :: Type) = (KnownRational t, l < t, t <= r) 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 '('False, r) :: R Rational :: Type) (t :: T Rational :: Type) = (KnownRational t, l <= t, t < r) 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 Rational ('Just '('True, l) :: L Rational :: Type) ('Just '('True, r) :: R Rational :: Type) (t :: T Rational :: Type) = (KnownRational t, l <= t, t <= r) type KnownCtx Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) (t :: T Integer :: Type) Source # Instance detailsDefined in I.Integer type KnownCtx Integer ('Just l :: L Integer :: Type) ('Just r :: R Integer :: Type) (t :: T Integer :: Type) = (KnownInteger t, l <= t, t <= r)

type family MinT (x :: Type) :: T x Source #

Type-level verison of minBound :: x. If x is unbounded on the left end, then it's ok to leave MinT x undefined. If defined, it should match what MinL means.

#### Instances

Instances details
 type MinT CChar Source # Instance detailsDefined in I.Internal type MinT CChar = MinT Int8 type MinT CClock Source # Instance detailsDefined in I.Internal type MinT CClock = MinT Int64 type MinT CInt Source # Instance detailsDefined in I.Internal type MinT CInt = MinT Int32 type MinT CIntMax Source # Instance detailsDefined in I.Internal type MinT CIntMax = MinT Int64 type MinT CIntPtr Source # Instance detailsDefined in I.Internal type MinT CIntPtr = MinT Int64 type MinT CLLong Source # Instance detailsDefined in I.Internal type MinT CLLong = MinT Int64 type MinT CLong Source # Instance detailsDefined in I.Internal type MinT CLong = MinT Int64 type MinT CPtrdiff Source # Instance detailsDefined in I.Internal type MinT CSChar Source # Instance detailsDefined in I.Internal type MinT CSChar = MinT Int8 type MinT CSUSeconds Source # Instance detailsDefined in I.Internal type MinT CShort Source # Instance detailsDefined in I.Internal type MinT CShort = MinT Int16 type MinT CSize Source # Instance detailsDefined in I.Internal type MinT CSize = MinT Word64 type MinT CTime Source # Instance detailsDefined in I.Internal type MinT CTime = MinT Int64 type MinT CUChar Source # Instance detailsDefined in I.Internal type MinT CUChar = MinT Word8 type MinT CUInt Source # Instance detailsDefined in I.Internal type MinT CUInt = MinT Word32 type MinT CUIntMax Source # Instance detailsDefined in I.Internal type MinT CUIntPtr Source # Instance detailsDefined in I.Internal type MinT CULLong Source # Instance detailsDefined in I.Internal type MinT CULong Source # Instance detailsDefined in I.Internal type MinT CULong = MinT Word64 type MinT CUSeconds Source # Instance detailsDefined in I.Internal type MinT CUShort Source # Instance detailsDefined in I.Internal type MinT CWchar Source # Instance detailsDefined in I.Internal type MinT CWchar = MinT Int32 type MinT Int16 Source # Instance detailsDefined in I.Internal type MinT Int16 = N 32768 type MinT Int32 Source # Instance detailsDefined in I.Internal type MinT Int32 = N 2147483648 type MinT Int64 Source # Instance detailsDefined in I.Internal type MinT Int64 = N 9223372036854775808 type MinT Int8 Source # Instance detailsDefined in I.Internal type MinT Int8 = N 128 type MinT Word16 Source # Instance detailsDefined in I.Internal type MinT Word16 = 0 type MinT Word32 Source # Instance detailsDefined in I.Internal type MinT Word32 = 0 type MinT Word64 Source # Instance detailsDefined in I.Internal type MinT Word64 = 0 type MinT Word8 Source # Instance detailsDefined in I.Internal type MinT Word8 = 0 type MinT Natural Source # Instance detailsDefined in I.Internal type MinT Natural = 0 type MinT Int Source # Instance detailsDefined in I.Internal type MinT Int = N (Div (2 ^ 64) 2) type MinT Word Source # Instance detailsDefined in I.Internal type MinT Word = 0

type family MaxT (x :: Type) :: T x Source #

Type-level verison of maxBound :: x. If x is unbounded on the right end, then it's ok to leave MaxT x undefined. If defined, it should match what MaxR means.

#### Instances

Instances details
 type MaxT CChar Source # Instance detailsDefined in I.Internal type MaxT CChar = MaxT Int8 type MaxT CClock Source # Instance detailsDefined in I.Internal type MaxT CClock = MaxT Int64 type MaxT CInt Source # Instance detailsDefined in I.Internal type MaxT CInt = MaxT Int32 type MaxT CIntMax Source # Instance detailsDefined in I.Internal type MaxT CIntMax = MaxT Int64 type MaxT CIntPtr Source # Instance detailsDefined in I.Internal type MaxT CIntPtr = MaxT Int64 type MaxT CLLong Source # Instance detailsDefined in I.Internal type MaxT CLLong = MaxT Int64 type MaxT CLong Source # Instance detailsDefined in I.Internal type MaxT CLong = MaxT Int64 type MaxT CPtrdiff Source # Instance detailsDefined in I.Internal type MaxT CSChar Source # Instance detailsDefined in I.Internal type MaxT CSChar = MaxT Int8 type MaxT CSUSeconds Source # Instance detailsDefined in I.Internal type MaxT CShort Source # Instance detailsDefined in I.Internal type MaxT CShort = MaxT Int16 type MaxT CSize Source # Instance detailsDefined in I.Internal type MaxT CSize = MaxT Word64 type MaxT CTime Source # Instance detailsDefined in I.Internal type MaxT CTime = MaxT Int64 type MaxT CUChar Source # Instance detailsDefined in I.Internal type MaxT CUChar = MaxT Word8 type MaxT CUInt Source # Instance detailsDefined in I.Internal type MaxT CUInt = MaxT Word32 type MaxT CUIntMax Source # Instance detailsDefined in I.Internal type MaxT CUIntPtr Source # Instance detailsDefined in I.Internal type MaxT CULLong Source # Instance detailsDefined in I.Internal type MaxT CULong Source # Instance detailsDefined in I.Internal type MaxT CULong = MaxT Word64 type MaxT CUSeconds Source # Instance detailsDefined in I.Internal type MaxT CUShort Source # Instance detailsDefined in I.Internal type MaxT CWchar Source # Instance detailsDefined in I.Internal type MaxT CWchar = MaxT Int32 type MaxT Int16 Source # Instance detailsDefined in I.Internal type MaxT Int16 = P 32767 type MaxT Int32 Source # Instance detailsDefined in I.Internal type MaxT Int32 = P 2147483647 type MaxT Int64 Source # Instance detailsDefined in I.Internal type MaxT Int64 = P 9223372036854775807 type MaxT Int8 Source # Instance detailsDefined in I.Internal type MaxT Int8 = P 127 type MaxT Word16 Source # Instance detailsDefined in I.Internal type MaxT Word16 = 65535 type MaxT Word32 Source # Instance detailsDefined in I.Internal type MaxT Word32 = 4294967295 type MaxT Word64 Source # Instance detailsDefined in I.Internal type MaxT Word64 = 18446744073709551615 type MaxT Word8 Source # Instance detailsDefined in I.Internal type MaxT Word8 = 255 type MaxT Int Source # Instance detailsDefined in I.Internal type MaxT Int = P (Div (2 ^ 64) 2 - 1) type MaxT Word Source # Instance detailsDefined in I.Internal type MaxT Word = (2 ^ 64) - 1

type family L (x :: Type) :: k Source #

The kind of l in I x l r.

#### Instances

Instances details
 Interval CChar l r => Clamp CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # Instance detailsDefined in I.Autogen.CChar Methodsclamp :: CChar -> I CChar l r Source # Interval CInt l r => Clamp CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # Instance detailsDefined in I.Autogen.CInt Methodsclamp :: CInt -> I CInt l r Source # Interval CIntMax l r => Clamp CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CIntMax Methodsclamp :: CIntMax -> I CIntMax l r Source # Interval CIntPtr l r => Clamp CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CIntPtr Methodsclamp :: CIntPtr -> I CIntPtr l r Source # Interval CLLong l r => Clamp CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # Instance detailsDefined in I.Autogen.CLLong Methodsclamp :: CLLong -> I CLLong l r Source # Interval CLong l r => Clamp CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # Instance detailsDefined in I.Autogen.CLong Methodsclamp :: CLong -> I CLong l r Source # Interval CPtrdiff l r => Clamp CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # Instance detailsDefined in I.Autogen.CPtrdiff Methods Interval CSChar l r => Clamp CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # Instance detailsDefined in I.Autogen.CSChar Methodsclamp :: CSChar -> I CSChar l r Source # Interval CShort l r => Clamp CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # Instance detailsDefined in I.Autogen.CShort Methodsclamp :: CShort -> I CShort l r Source # Interval CSize l r => Clamp CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # Instance detailsDefined in I.Autogen.CSize Methodsclamp :: CSize -> I CSize l r Source # Interval CUChar l r => Clamp CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # Instance detailsDefined in I.Autogen.CUChar Methodsclamp :: CUChar -> I CUChar l r Source # Interval CUInt l r => Clamp CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # Instance detailsDefined in I.Autogen.CUInt Methodsclamp :: CUInt -> I CUInt l r Source # Interval CUIntMax l r => Clamp CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CUIntMax Methods Interval CUIntPtr l r => Clamp CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CUIntPtr Methods Interval CULLong l r => Clamp CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # Instance detailsDefined in I.Autogen.CULLong Methodsclamp :: CULLong -> I CULLong l r Source # Interval CULong l r => Clamp CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # Instance detailsDefined in I.Autogen.CULong Methodsclamp :: CULong -> I CULong l r Source # Interval CUShort l r => Clamp CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # Instance detailsDefined in I.Autogen.CUShort Methodsclamp :: CUShort -> I CUShort l r Source # Interval CWchar l r => Clamp CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # Instance detailsDefined in I.Autogen.CWchar Methodsclamp :: CWchar -> I CWchar l r Source # Interval Int16 l r => Clamp Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # Instance detailsDefined in I.Autogen.Int16 Methodsclamp :: Int16 -> I Int16 l r Source # Interval Int32 l r => Clamp Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # Instance detailsDefined in I.Autogen.Int32 Methodsclamp :: Int32 -> I Int32 l r Source # Interval Int64 l r => Clamp Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # Instance detailsDefined in I.Autogen.Int64 Methodsclamp :: Int64 -> I Int64 l r Source # Interval Int8 l r => Clamp Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # Instance detailsDefined in I.Int8 Methodsclamp :: Int8 -> I Int8 l r Source # Interval Word16 l r => Clamp Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # Instance detailsDefined in I.Autogen.Word16 Methodsclamp :: Word16 -> I Word16 l r Source # Interval Word32 l r => Clamp Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # Instance detailsDefined in I.Autogen.Word32 Methodsclamp :: Word32 -> I Word32 l r Source # Interval Word64 l r => Clamp Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # Instance detailsDefined in I.Autogen.Word64 Methodsclamp :: Word64 -> I Word64 l r Source # Interval Word8 l r => Clamp Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # Instance detailsDefined in I.Word8 Methodsclamp :: Word8 -> I Word8 l r Source # Interval Int l r => Clamp Int (l :: L Int :: Type) (r :: R Int :: Type) Source # Instance detailsDefined in I.Autogen.Int Methodsclamp :: Int -> I Int l r Source # Interval Word l r => Clamp Word (l :: L Word :: Type) (r :: R Word :: Type) Source # Instance detailsDefined in I.Autogen.Word Methodsclamp :: Word -> I Word l r Source # (Interval CChar l r, l /= r) => Discrete CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # Instance detailsDefined in I.Autogen.CChar Methodspred' :: I CChar l r -> Maybe (I CChar l r) Source #succ' :: I CChar l r -> Maybe (I CChar l r) Source # (Interval CInt l r, l /= r) => Discrete CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # Instance detailsDefined in I.Autogen.CInt Methodspred' :: I CInt l r -> Maybe (I CInt l r) Source #succ' :: I CInt l r -> Maybe (I CInt l r) Source # (Interval CIntMax l r, l /= r) => Discrete CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CIntMax Methodspred' :: I CIntMax l r -> Maybe (I CIntMax l r) Source #succ' :: I CIntMax l r -> Maybe (I CIntMax l r) Source # (Interval CIntPtr l r, l /= r) => Discrete CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CIntPtr Methodspred' :: I CIntPtr l r -> Maybe (I CIntPtr l r) Source #succ' :: I CIntPtr l r -> Maybe (I CIntPtr l r) Source # (Interval CLLong l r, l /= r) => Discrete CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # Instance detailsDefined in I.Autogen.CLLong Methodspred' :: I CLLong l r -> Maybe (I CLLong l r) Source #succ' :: I CLLong l r -> Maybe (I CLLong l r) Source # (Interval CLong l r, l /= r) => Discrete CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # Instance detailsDefined in I.Autogen.CLong Methodspred' :: I CLong l r -> Maybe (I CLong l r) Source #succ' :: I CLong l r -> Maybe (I CLong l r) Source # (Interval CPtrdiff l r, l /= r) => Discrete CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # Instance detailsDefined in I.Autogen.CPtrdiff Methodspred' :: I CPtrdiff l r -> Maybe (I CPtrdiff l r) Source #succ' :: I CPtrdiff l r -> Maybe (I CPtrdiff l r) Source # (Interval CSChar l r, l /= r) => Discrete CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # Instance detailsDefined in I.Autogen.CSChar Methodspred' :: I CSChar l r -> Maybe (I CSChar l r) Source #succ' :: I CSChar l r -> Maybe (I CSChar l r) Source # (Interval CShort l r, l /= r) => Discrete CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # Instance detailsDefined in I.Autogen.CShort Methodspred' :: I CShort l r -> Maybe (I CShort l r) Source #succ' :: I CShort l r -> Maybe (I CShort l r) Source # (Interval CSize l r, l /= r) => Discrete CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # Instance detailsDefined in I.Autogen.CSize Methodspred' :: I CSize l r -> Maybe (I CSize l r) Source #succ' :: I CSize l r -> Maybe (I CSize l r) Source # (Interval CUChar l r, l /= r) => Discrete CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # Instance detailsDefined in I.Autogen.CUChar Methodspred' :: I CUChar l r -> Maybe (I CUChar l r) Source #succ' :: I CUChar l r -> Maybe (I CUChar l r) Source # (Interval CUInt l r, l /= r) => Discrete CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # Instance detailsDefined in I.Autogen.CUInt Methodspred' :: I CUInt l r -> Maybe (I CUInt l r) Source #succ' :: I CUInt l r -> Maybe (I CUInt l r) Source # (Interval CUIntMax l r, l /= r) => Discrete CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CUIntMax Methodspred' :: I CUIntMax l r -> Maybe (I CUIntMax l r) Source #succ' :: I CUIntMax l r -> Maybe (I CUIntMax l r) Source # (Interval CUIntPtr l r, l /= r) => Discrete CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CUIntPtr Methodspred' :: I CUIntPtr l r -> Maybe (I CUIntPtr l r) Source #succ' :: I CUIntPtr l r -> Maybe (I CUIntPtr l r) Source # (Interval CULLong l r, l /= r) => Discrete CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # Instance detailsDefined in I.Autogen.CULLong Methodspred' :: I CULLong l r -> Maybe (I CULLong l r) Source #succ' :: I CULLong l r -> Maybe (I CULLong l r) Source # (Interval CULong l r, l /= r) => Discrete CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # Instance detailsDefined in I.Autogen.CULong Methodspred' :: I CULong l r -> Maybe (I CULong l r) Source #succ' :: I CULong l r -> Maybe (I CULong l r) Source # (Interval CUShort l r, l /= r) => Discrete CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # Instance detailsDefined in I.Autogen.CUShort Methodspred' :: I CUShort l r -> Maybe (I CUShort l r) Source #succ' :: I CUShort l r -> Maybe (I CUShort l r) Source # (Interval CWchar l r, l /= r) => Discrete CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # Instance detailsDefined in I.Autogen.CWchar Methodspred' :: I CWchar l r -> Maybe (I CWchar l r) Source #succ' :: I CWchar l r -> Maybe (I CWchar l r) Source # (Interval Int16 l r, l /= r) => Discrete Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # Instance detailsDefined in I.Autogen.Int16 Methodspred' :: I Int16 l r -> Maybe (I Int16 l r) Source #succ' :: I Int16 l r -> Maybe (I Int16 l r) Source # (Interval Int32 l r, l /= r) => Discrete Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # Instance detailsDefined in I.Autogen.Int32 Methodspred' :: I Int32 l r -> Maybe (I Int32 l r) Source #succ' :: I Int32 l r -> Maybe (I Int32 l r) Source # (Interval Int64 l r, l /= r) => Discrete Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # Instance detailsDefined in I.Autogen.Int64 Methodspred' :: I Int64 l r -> Maybe (I Int64 l r) Source #succ' :: I Int64 l r -> Maybe (I Int64 l r) Source # (Interval Int8 l r, l /= r) => Discrete Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # Instance detailsDefined in I.Int8 Methodspred' :: I Int8 l r -> Maybe (I Int8 l r) Source #succ' :: I Int8 l r -> Maybe (I Int8 l r) Source # (Interval Word16 l r, l /= r) => Discrete Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # Instance detailsDefined in I.Autogen.Word16 Methodspred' :: I Word16 l r -> Maybe (I Word16 l r) Source #succ' :: I Word16 l r -> Maybe (I Word16 l r) Source # (Interval Word32 l r, l /= r) => Discrete Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # Instance detailsDefined in I.Autogen.Word32 Methodspred' :: I Word32 l r -> Maybe (I Word32 l r) Source #succ' :: I Word32 l r -> Maybe (I Word32 l r) Source # (Interval Word64 l r, l /= r) => Discrete Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # Instance detailsDefined in I.Autogen.Word64 Methodspred' :: I Word64 l r -> Maybe (I Word64 l r) Source #succ' :: I Word64 l r -> Maybe (I Word64 l r) Source # (Interval Word8 l r, l /= r) => Discrete Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # Instance detailsDefined in I.Word8 Methodspred' :: I Word8 l r -> Maybe (I Word8 l r) Source #succ' :: I Word8 l r -> Maybe (I Word8 l r) Source # (Interval Int l r, l /= r) => Discrete Int (l :: L Int :: Type) (r :: R Int :: Type) Source # Instance detailsDefined in I.Autogen.Int Methodspred' :: I Int l r -> Maybe (I Int l r) Source #succ' :: I Int l r -> Maybe (I Int l r) Source # (Interval Word l r, l /= r) => Discrete Word (l :: L Word :: Type) (r :: R Word :: Type) Source # Instance detailsDefined in I.Autogen.Word Methodspred' :: I Word l r -> Maybe (I Word l r) Source #succ' :: I Word l r -> Maybe (I Word l r) Source # IntervalCtx CChar l r => Interval CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # Instance detailsDefined in I.Autogen.CChar Associated Typestype IntervalCtx CChar l r Source #type MinI CChar l r :: T x :: Type Source #type MaxI CChar l r :: T x :: Type Source # Methodsfrom :: CChar -> Maybe (I CChar l r) Source #plus' :: I CChar l r -> I CChar l r -> Maybe (I CChar l r) Source #mult' :: I CChar l r -> I CChar l r -> Maybe (I CChar l r) Source #minus' :: I CChar l r -> I CChar l r -> Maybe (I CChar l r) Source #negate' :: I CChar l r -> Maybe (I CChar l r) Source #recip' :: I CChar l r -> Maybe (I CChar l r) Source #div' :: I CChar l r -> I CChar l r -> Maybe (I CChar l r) Source # IntervalCtx CInt l r => Interval CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # Instance detailsDefined in I.Autogen.CInt Associated Typestype IntervalCtx CInt l r Source #type MinI CInt l r :: T x :: Type Source #type MaxI CInt l r :: T x :: Type Source # Methodsfrom :: CInt -> Maybe (I CInt l r) Source #plus' :: I CInt l r -> I CInt l r -> Maybe (I CInt l r) Source #mult' :: I CInt l r -> I CInt l r -> Maybe (I CInt l r) Source #minus' :: I CInt l r -> I CInt l r -> Maybe (I CInt l r) Source #negate' :: I CInt l r -> Maybe (I CInt l r) Source #recip' :: I CInt l r -> Maybe (I CInt l r) Source #div' :: I CInt l r -> I CInt l r -> Maybe (I CInt l r) Source # IntervalCtx CIntMax l r => Interval CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CIntMax Associated Typestype IntervalCtx CIntMax l r Source #type MinI CIntMax l r :: T x :: Type Source #type MaxI CIntMax l r :: T x :: Type Source # Methodsfrom :: CIntMax -> Maybe (I CIntMax l r) Source #plus' :: I CIntMax l r -> I CIntMax l r -> Maybe (I CIntMax l r) Source #mult' :: I CIntMax l r -> I CIntMax l r -> Maybe (I CIntMax l r) Source #minus' :: I CIntMax l r -> I CIntMax l r -> Maybe (I CIntMax l r) Source #negate' :: I CIntMax l r -> Maybe (I CIntMax l r) Source #recip' :: I CIntMax l r -> Maybe (I CIntMax l r) Source #div' :: I CIntMax l r -> I CIntMax l r -> Maybe (I CIntMax l r) Source # IntervalCtx CIntPtr l r => Interval CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CIntPtr Associated Typestype IntervalCtx CIntPtr l r Source #type MinI CIntPtr l r :: T x :: Type Source #type MaxI CIntPtr l r :: T x :: Type Source # Methodsfrom :: CIntPtr -> Maybe (I CIntPtr l r) Source #plus' :: I CIntPtr l r -> I CIntPtr l r -> Maybe (I CIntPtr l r) Source #mult' :: I CIntPtr l r -> I CIntPtr l r -> Maybe (I CIntPtr l r) Source #minus' :: I CIntPtr l r -> I CIntPtr l r -> Maybe (I CIntPtr l r) Source #negate' :: I CIntPtr l r -> Maybe (I CIntPtr l r) Source #recip' :: I CIntPtr l r -> Maybe (I CIntPtr l r) Source #div' :: I CIntPtr l r -> I CIntPtr l r -> Maybe (I CIntPtr l r) Source # IntervalCtx CLLong l r => Interval CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # Instance detailsDefined in I.Autogen.CLLong Associated Typestype IntervalCtx CLLong l r Source #type MinI CLLong l r :: T x :: Type Source #type MaxI CLLong l r :: T x :: Type Source # Methodsfrom :: CLLong -> Maybe (I CLLong l r) Source #plus' :: I CLLong l r -> I CLLong l r -> Maybe (I CLLong l r) Source #mult' :: I CLLong l r -> I CLLong l r -> Maybe (I CLLong l r) Source #minus' :: I CLLong l r -> I CLLong l r -> Maybe (I CLLong l r) Source #negate' :: I CLLong l r -> Maybe (I CLLong l r) Source #recip' :: I CLLong l r -> Maybe (I CLLong l r) Source #div' :: I CLLong l r -> I CLLong l r -> Maybe (I CLLong l r) Source # IntervalCtx CLong l r => Interval CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # Instance detailsDefined in I.Autogen.CLong Associated Typestype IntervalCtx CLong l r Source #type MinI CLong l r :: T x :: Type Source #type MaxI CLong l r :: T x :: Type Source # Methodsfrom :: CLong -> Maybe (I CLong l r) Source #plus' :: I CLong l r -> I CLong l r -> Maybe (I CLong l r) Source #mult' :: I CLong l r -> I CLong l r -> Maybe (I CLong l r) Source #minus' :: I CLong l r -> I CLong l r -> Maybe (I CLong l r) Source #negate' :: I CLong l r -> Maybe (I CLong l r) Source #recip' :: I CLong l r -> Maybe (I CLong l r) Source #div' :: I CLong l r -> I CLong l r -> Maybe (I CLong l r) Source # IntervalCtx CPtrdiff l r => Interval CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # Instance detailsDefined in I.Autogen.CPtrdiff Associated Typestype IntervalCtx CPtrdiff l r Source #type MinI CPtrdiff l r :: T x :: Type Source #type MaxI CPtrdiff l r :: T x :: Type Source # Methodsfrom :: CPtrdiff -> Maybe (I CPtrdiff l r) Source #plus' :: I CPtrdiff l r -> I CPtrdiff l r -> Maybe (I CPtrdiff l r) Source #mult' :: I CPtrdiff l r -> I CPtrdiff l r -> Maybe (I CPtrdiff l r) Source #minus' :: I CPtrdiff l r -> I CPtrdiff l r -> Maybe (I CPtrdiff l r) Source #negate' :: I CPtrdiff l r -> Maybe (I CPtrdiff l r) Source #recip' :: I CPtrdiff l r -> Maybe (I CPtrdiff l r) Source #div' :: I CPtrdiff l r -> I CPtrdiff l r -> Maybe (I CPtrdiff l r) Source # IntervalCtx CSChar l r => Interval CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # Instance detailsDefined in I.Autogen.CSChar Associated Typestype IntervalCtx CSChar l r Source #type MinI CSChar l r :: T x :: Type Source #type MaxI CSChar l r :: T x :: Type Source # Methodsfrom :: CSChar -> Maybe (I CSChar l r) Source #plus' :: I CSChar l r -> I CSChar l r -> Maybe (I CSChar l r) Source #mult' :: I CSChar l r -> I CSChar l r -> Maybe (I CSChar l r) Source #minus' :: I CSChar l r -> I CSChar l r -> Maybe (I CSChar l r) Source #negate' :: I CSChar l r -> Maybe (I CSChar l r) Source #recip' :: I CSChar l r -> Maybe (I CSChar l r) Source #div' :: I CSChar l r -> I CSChar l r -> Maybe (I CSChar l r) Source # IntervalCtx CShort l r => Interval CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # Instance detailsDefined in I.Autogen.CShort Associated Typestype IntervalCtx CShort l r Source #type MinI CShort l r :: T x :: Type Source #type MaxI CShort l r :: T x :: Type Source # Methodsfrom :: CShort -> Maybe (I CShort l r) Source #plus' :: I CShort l r -> I CShort l r -> Maybe (I CShort l r) Source #mult' :: I CShort l r -> I CShort l r -> Maybe (I CShort l r) Source #minus' :: I CShort l r -> I CShort l r -> Maybe (I CShort l r) Source #negate' :: I CShort l r -> Maybe (I CShort l r) Source #recip' :: I CShort l r -> Maybe (I CShort l r) Source #div' :: I CShort l r -> I CShort l r -> Maybe (I CShort l r) Source # IntervalCtx CSize l r => Interval CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # Instance detailsDefined in I.Autogen.CSize Associated Typestype IntervalCtx CSize l r Source #type MinI CSize l r :: T x :: Type Source #type MaxI CSize l r :: T x :: Type Source # Methodsfrom :: CSize -> Maybe (I CSize l r) Source #plus' :: I CSize l r -> I CSize l r -> Maybe (I CSize l r) Source #mult' :: I CSize l r -> I CSize l r -> Maybe (I CSize l r) Source #minus' :: I CSize l r -> I CSize l r -> Maybe (I CSize l r) Source #negate' :: I CSize l r -> Maybe (I CSize l r) Source #recip' :: I CSize l r -> Maybe (I CSize l r) Source #div' :: I CSize l r -> I CSize l r -> Maybe (I CSize l r) Source # IntervalCtx CUChar l r => Interval CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # Instance detailsDefined in I.Autogen.CUChar Associated Typestype IntervalCtx CUChar l r Source #type MinI CUChar l r :: T x :: Type Source #type MaxI CUChar l r :: T x :: Type Source # Methodsfrom :: CUChar -> Maybe (I CUChar l r) Source #plus' :: I CUChar l r -> I CUChar l r -> Maybe (I CUChar l r) Source #mult' :: I CUChar l r -> I CUChar l r -> Maybe (I CUChar l r) Source #minus' :: I CUChar l r -> I CUChar l r -> Maybe (I CUChar l r) Source #negate' :: I CUChar l r -> Maybe (I CUChar l r) Source #recip' :: I CUChar l r -> Maybe (I CUChar l r) Source #div' :: I CUChar l r -> I CUChar l r -> Maybe (I CUChar l r) Source # IntervalCtx CUInt l r => Interval CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # Instance detailsDefined in I.Autogen.CUInt Associated Typestype IntervalCtx CUInt l r Source #type MinI CUInt l r :: T x :: Type Source #type MaxI CUInt l r :: T x :: Type Source # Methodsfrom :: CUInt -> Maybe (I CUInt l r) Source #plus' :: I CUInt l r -> I CUInt l r -> Maybe (I CUInt l r) Source #mult' :: I CUInt l r -> I CUInt l r -> Maybe (I CUInt l r) Source #minus' :: I CUInt l r -> I CUInt l r -> Maybe (I CUInt l r) Source #negate' :: I CUInt l r -> Maybe (I CUInt l r) Source #recip' :: I CUInt l r -> Maybe (I CUInt l r) Source #div' :: I CUInt l r -> I CUInt l r -> Maybe (I CUInt l r) Source # IntervalCtx CUIntMax l r => Interval CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CUIntMax Associated Typestype IntervalCtx CUIntMax l r Source #type MinI CUIntMax l r :: T x :: Type Source #type MaxI CUIntMax l r :: T x :: Type Source # Methodsfrom :: CUIntMax -> Maybe (I CUIntMax l r) Source #plus' :: I CUIntMax l r -> I CUIntMax l r -> Maybe (I CUIntMax l r) Source #mult' :: I CUIntMax l r -> I CUIntMax l r -> Maybe (I CUIntMax l r) Source #minus' :: I CUIntMax l r -> I CUIntMax l r -> Maybe (I CUIntMax l r) Source #negate' :: I CUIntMax l r -> Maybe (I CUIntMax l r) Source #recip' :: I CUIntMax l r -> Maybe (I CUIntMax l r) Source #div' :: I CUIntMax l r -> I CUIntMax l r -> Maybe (I CUIntMax l r) Source # IntervalCtx CUIntPtr l r => Interval CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CUIntPtr Associated Typestype IntervalCtx CUIntPtr l r Source #type MinI CUIntPtr l r :: T x :: Type Source #type MaxI CUIntPtr l r :: T x :: Type Source # Methodsfrom :: CUIntPtr -> Maybe (I CUIntPtr l r) Source #plus' :: I CUIntPtr l r -> I CUIntPtr l r -> Maybe (I CUIntPtr l r) Source #mult' :: I CUIntPtr l r -> I CUIntPtr l r -> Maybe (I CUIntPtr l r) Source #minus' :: I CUIntPtr l r -> I CUIntPtr l r -> Maybe (I CUIntPtr l r) Source #negate' :: I CUIntPtr l r -> Maybe (I CUIntPtr l r) Source #recip' :: I CUIntPtr l r -> Maybe (I CUIntPtr l r) Source #div' :: I CUIntPtr l r -> I CUIntPtr l r -> Maybe (I CUIntPtr l r) Source # IntervalCtx CULLong l r => Interval CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # Instance detailsDefined in I.Autogen.CULLong Associated Typestype IntervalCtx CULLong l r Source #type MinI CULLong l r :: T x :: Type Source #type MaxI CULLong l r :: T x :: Type Source # Methodsfrom :: CULLong -> Maybe (I CULLong l r) Source #plus' :: I CULLong l r -> I CULLong l r -> Maybe (I CULLong l r) Source #mult' :: I CULLong l r -> I CULLong l r -> Maybe (I CULLong l r) Source #minus' :: I CULLong l r -> I CULLong l r -> Maybe (I CULLong l r) Source #negate' :: I CULLong l r -> Maybe (I CULLong l r) Source #recip' :: I CULLong l r -> Maybe (I CULLong l r) Source #div' :: I CULLong l r -> I CULLong l r -> Maybe (I CULLong l r) Source # IntervalCtx CULong l r => Interval CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # Instance detailsDefined in I.Autogen.CULong Associated Typestype IntervalCtx CULong l r Source #type MinI CULong l r :: T x :: Type Source #type MaxI CULong l r :: T x :: Type Source # Methodsfrom :: CULong -> Maybe (I CULong l r) Source #plus' :: I CULong l r -> I CULong l r -> Maybe (I CULong l r) Source #mult' :: I CULong l r -> I CULong l r -> Maybe (I CULong l r) Source #minus' :: I CULong l r -> I CULong l r -> Maybe (I CULong l r) Source #negate' :: I CULong l r -> Maybe (I CULong l r) Source #recip' :: I CULong l r -> Maybe (I CULong l r) Source #div' :: I CULong l r -> I CULong l r -> Maybe (I CULong l r) Source # IntervalCtx CUShort l r => Interval CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # Instance detailsDefined in I.Autogen.CUShort Associated Typestype IntervalCtx CUShort l r Source #type MinI CUShort l r :: T x :: Type Source #type MaxI CUShort l r :: T x :: Type Source # Methodsfrom :: CUShort -> Maybe (I CUShort l r) Source #plus' :: I CUShort l r -> I CUShort l r -> Maybe (I CUShort l r) Source #mult' :: I CUShort l r -> I CUShort l r -> Maybe (I CUShort l r) Source #minus' :: I CUShort l r -> I CUShort l r -> Maybe (I CUShort l r) Source #negate' :: I CUShort l r -> Maybe (I CUShort l r) Source #recip' :: I CUShort l r -> Maybe (I CUShort l r) Source #div' :: I CUShort l r -> I CUShort l r -> Maybe (I CUShort l r) Source # IntervalCtx CWchar l r => Interval CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # Instance detailsDefined in I.Autogen.CWchar Associated Typestype IntervalCtx CWchar l r Source #type MinI CWchar l r :: T x :: Type Source #type MaxI CWchar l r :: T x :: Type Source # Methodsfrom :: CWchar -> Maybe (I CWchar l r) Source #plus' :: I CWchar l r -> I CWchar l r -> Maybe (I CWchar l r) Source #mult' :: I CWchar l r -> I CWchar l r -> Maybe (I CWchar l r) Source #minus' :: I CWchar l r -> I CWchar l r -> Maybe (I CWchar l r) Source #negate' :: I CWchar l r -> Maybe (I CWchar l r) Source #recip' :: I CWchar l r -> Maybe (I CWchar l r) Source #div' :: I CWchar l r -> I CWchar l r -> Maybe (I CWchar l r) Source # IntervalCtx Int16 l r => Interval Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # Instance detailsDefined in I.Autogen.Int16 Associated Typestype IntervalCtx Int16 l r Source #type MinI Int16 l r :: T x :: Type Source #type MaxI Int16 l r :: T x :: Type Source # Methodsfrom :: Int16 -> Maybe (I Int16 l r) Source #plus' :: I Int16 l r -> I Int16 l r -> Maybe (I Int16 l r) Source #mult' :: I Int16 l r -> I Int16 l r -> Maybe (I Int16 l r) Source #minus' :: I Int16 l r -> I Int16 l r -> Maybe (I Int16 l r) Source #negate' :: I Int16 l r -> Maybe (I Int16 l r) Source #recip' :: I Int16 l r -> Maybe (I Int16 l r) Source #div' :: I Int16 l r -> I Int16 l r -> Maybe (I Int16 l r) Source # IntervalCtx Int32 l r => Interval Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # Instance detailsDefined in I.Autogen.Int32 Associated Typestype IntervalCtx Int32 l r Source #type MinI Int32 l r :: T x :: Type Source #type MaxI Int32 l r :: T x :: Type Source # Methodsfrom :: Int32 -> Maybe (I Int32 l r) Source #plus' :: I Int32 l r -> I Int32 l r -> Maybe (I Int32 l r) Source #mult' :: I Int32 l r -> I Int32 l r -> Maybe (I Int32 l r) Source #minus' :: I Int32 l r -> I Int32 l r -> Maybe (I Int32 l r) Source #negate' :: I Int32 l r -> Maybe (I Int32 l r) Source #recip' :: I Int32 l r -> Maybe (I Int32 l r) Source #div' :: I Int32 l r -> I Int32 l r -> Maybe (I Int32 l r) Source # IntervalCtx Int64 l r => Interval Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # Instance detailsDefined in I.Autogen.Int64 Associated Typestype IntervalCtx Int64 l r Source #type MinI Int64 l r :: T x :: Type Source #type MaxI Int64 l r :: T x :: Type Source # Methodsfrom :: Int64 -> Maybe (I Int64 l r) Source #plus' :: I Int64 l r -> I Int64 l r -> Maybe (I Int64 l r) Source #mult' :: I Int64 l r -> I Int64 l r -> Maybe (I Int64 l r) Source #minus' :: I Int64 l r -> I Int64 l r -> Maybe (I Int64 l r) Source #negate' :: I Int64 l r -> Maybe (I Int64 l r) Source #recip' :: I Int64 l r -> Maybe (I Int64 l r) Source #div' :: I Int64 l r -> I Int64 l r -> Maybe (I Int64 l r) Source # IntervalCtx Int8 l r => Interval Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # Instance detailsDefined in I.Int8 Associated Typestype IntervalCtx Int8 l r Source #type MinI Int8 l r :: T x :: Type Source #type MaxI Int8 l r :: T x :: Type Source # Methodsfrom :: Int8 -> Maybe (I Int8 l r) Source #plus' :: I Int8 l r -> I Int8 l r -> Maybe (I Int8 l r) Source #mult' :: I Int8 l r -> I Int8 l r -> Maybe (I Int8 l r) Source #minus' :: I Int8 l r -> I Int8 l r -> Maybe (I Int8 l r) Source #negate' :: I Int8 l r -> Maybe (I Int8 l r) Source #recip' :: I Int8 l r -> Maybe (I Int8 l r) Source #div' :: I Int8 l r -> I Int8 l r -> Maybe (I Int8 l r) Source # IntervalCtx Word16 l r => Interval Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # Instance detailsDefined in I.Autogen.Word16 Associated Typestype IntervalCtx Word16 l r Source #type MinI Word16 l r :: T x :: Type Source #type MaxI Word16 l r :: T x :: Type Source # Methodsfrom :: Word16 -> Maybe (I Word16 l r) Source #plus' :: I Word16 l r -> I Word16 l r -> Maybe (I Word16 l r) Source #mult' :: I Word16 l r -> I Word16 l r -> Maybe (I Word16 l r) Source #minus' :: I Word16 l r -> I Word16 l r -> Maybe (I Word16 l r) Source #negate' :: I Word16 l r -> Maybe (I Word16 l r) Source #recip' :: I Word16 l r -> Maybe (I Word16 l r) Source #div' :: I Word16 l r -> I Word16 l r -> Maybe (I Word16 l r) Source # IntervalCtx Word32 l r => Interval Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # Instance detailsDefined in I.Autogen.Word32 Associated Typestype IntervalCtx Word32 l r Source #type MinI Word32 l r :: T x :: Type Source #type MaxI Word32 l r :: T x :: Type Source # Methodsfrom :: Word32 -> Maybe (I Word32 l r) Source #plus' :: I Word32 l r -> I Word32 l r -> Maybe (I Word32 l r) Source #mult' :: I Word32 l r -> I Word32 l r -> Maybe (I Word32 l r) Source #minus' :: I Word32 l r -> I Word32 l r -> Maybe (I Word32 l r) Source #negate' :: I Word32 l r -> Maybe (I Word32 l r) Source #recip' :: I Word32 l r -> Maybe (I Word32 l r) Source #div' :: I Word32 l r -> I Word32 l r -> Maybe (I Word32 l r) Source # IntervalCtx Word64 l r => Interval Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # Instance detailsDefined in I.Autogen.Word64 Associated Typestype IntervalCtx Word64 l r Source #type MinI Word64 l r :: T x :: Type Source #type MaxI Word64 l r :: T x :: Type Source # Methodsfrom :: Word64 -> Maybe (I Word64 l r) Source #plus' :: I Word64 l r -> I Word64 l r -> Maybe (I Word64 l r) Source #mult' :: I Word64 l r -> I Word64 l r -> Maybe (I Word64 l r) Source #minus' :: I Word64 l r -> I Word64 l r -> Maybe (I Word64 l r) Source #negate' :: I Word64 l r -> Maybe (I Word64 l r) Source #recip' :: I Word64 l r -> Maybe (I Word64 l r) Source #div' :: I Word64 l r -> I Word64 l r -> Maybe (I Word64 l r) Source # IntervalCtx Word8 l r => Interval Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # Instance detailsDefined in I.Word8 Associated Typestype IntervalCtx Word8 l r Source #type MinI Word8 l r :: T x :: Type Source #type MaxI Word8 l r :: T x :: Type Source # Methodsfrom :: Word8 -> Maybe (I Word8 l r) Source #plus' :: I Word8 l r -> I Word8 l r -> Maybe (I Word8 l r) Source #mult' :: I Word8 l r -> I Word8 l r -> Maybe (I Word8 l r) Source #minus' :: I Word8 l r -> I Word8 l r -> Maybe (I Word8 l r) Source #negate' :: I Word8 l r -> Maybe (I Word8 l r) Source #recip' :: I Word8 l r -> Maybe (I Word8 l r) Source #div' :: I Word8 l r -> I Word8 l r -> Maybe (I Word8 l r) Source # IntervalCtx Int l r => Interval Int (l :: L Int :: Type) (r :: R Int :: Type) Source # Instance detailsDefined in I.Autogen.Int Associated Typestype IntervalCtx Int l r Source #type MinI Int l r :: T x :: Type Source #type MaxI Int l r :: T x :: Type Source # Methodsfrom :: Int -> Maybe (I Int l r) Source #plus' :: I Int l r -> I Int l r -> Maybe (I Int l r) Source #mult' :: I Int l r -> I Int l r -> Maybe (I Int l r) Source #minus' :: I Int l r -> I Int l r -> Maybe (I Int l r) Source #negate' :: I Int l r -> Maybe (I Int l r) Source #recip' :: I Int l r -> Maybe (I Int l r) Source #div' :: I Int l r -> I Int l r -> Maybe (I Int l r) Source # IntervalCtx Word l r => Interval Word (l :: L Word :: Type) (r :: R Word :: Type) Source # Instance detailsDefined in I.Autogen.Word Associated Typestype IntervalCtx Word l r Source #type MinI Word l r :: T x :: Type Source #type MaxI Word l r :: T x :: Type Source # Methodsfrom :: Word -> Maybe (I Word l r) Source #plus' :: I Word l r -> I Word l r -> Maybe (I Word l r) Source #mult' :: I Word l r -> I Word l r -> Maybe (I Word l r) Source #minus' :: I Word l r -> I Word l r -> Maybe (I Word l r) Source #negate' :: I Word l r -> Maybe (I Word l r) Source #recip' :: I Word l r -> Maybe (I Word l r) Source #div' :: I Word l r -> I Word l r -> Maybe (I Word l r) Source # (Zero CChar l r, l == Negate r) => Negate CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # Instance detailsDefined in I.Autogen.CChar Methodsnegate :: I CChar l r -> I CChar l r Source # (Zero CInt l r, l == Negate r) => Negate CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # Instance detailsDefined in I.Autogen.CInt Methodsnegate :: I CInt l r -> I CInt l r Source # (Zero CIntMax l r, l == Negate r) => Negate CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CIntMax Methodsnegate :: I CIntMax l r -> I CIntMax l r Source # (Zero CIntPtr l r, l == Negate r) => Negate CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CIntPtr Methodsnegate :: I CIntPtr l r -> I CIntPtr l r Source # (Zero CLLong l r, l == Negate r) => Negate CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # Instance detailsDefined in I.Autogen.CLLong Methodsnegate :: I CLLong l r -> I CLLong l r Source # (Zero CLong l r, l == Negate r) => Negate CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # Instance detailsDefined in I.Autogen.CLong Methodsnegate :: I CLong l r -> I CLong l r Source # (Zero CPtrdiff l r, l == Negate r) => Negate CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # Instance detailsDefined in I.Autogen.CPtrdiff Methodsnegate :: I CPtrdiff l r -> I CPtrdiff l r Source # (Zero CSChar l r, l == Negate r) => Negate CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # Instance detailsDefined in I.Autogen.CSChar Methodsnegate :: I CSChar l r -> I CSChar l r Source # (Zero CShort l r, l == Negate r) => Negate CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # Instance detailsDefined in I.Autogen.CShort Methodsnegate :: I CShort l r -> I CShort l r Source # (Zero CWchar l r, l == Negate r) => Negate CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # Instance detailsDefined in I.Autogen.CWchar Methodsnegate :: I CWchar l r -> I CWchar l r Source # (Zero Int16 l r, l == Negate r) => Negate Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # Instance detailsDefined in I.Autogen.Int16 Methodsnegate :: I Int16 l r -> I Int16 l r Source # (Zero Int32 l r, l == Negate r) => Negate Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # Instance detailsDefined in I.Autogen.Int32 Methodsnegate :: I Int32 l r -> I Int32 l r Source # (Zero Int64 l r, l == Negate r) => Negate Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # Instance detailsDefined in I.Autogen.Int64 Methodsnegate :: I Int64 l r -> I Int64 l r Source # (Zero Int8 l r, l == Negate r) => Negate Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # Instance detailsDefined in I.Int8 Methodsnegate :: I Int8 l r -> I Int8 l r Source # (Zero Int l r, l == Negate r) => Negate Int (l :: L Int :: Type) (r :: R Int :: Type) Source # Instance detailsDefined in I.Autogen.Int Methodsnegate :: I Int l r -> I Int l r Source # (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 Methodsone :: I CChar l r Source # (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 Methodsone :: I CInt l r Source # (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 Methodsone :: I CIntMax l r Source # (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 Methodsone :: I CIntPtr l r Source # (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 Methodsone :: I CLLong l r Source # (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 Methodsone :: I CLong l r Source # (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 Methodsone :: I CPtrdiff l r Source # (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 Methodsone :: I CSChar l r Source # (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 Methodsone :: I CShort l r Source # (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 Methodsone :: I CSize l r Source # (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 Methodsone :: I CUChar l r Source # (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 Methodsone :: I CUInt l r Source # (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 Methodsone :: I CUIntMax l r Source # (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 Methodsone :: I CUIntPtr l r Source # (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 Methodsone :: I CULLong l r Source # (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 Methodsone :: I CULong l r Source # (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 Methodsone :: I CUShort l r Source # (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 Methodsone :: I CWchar l r Source # (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 Methodsone :: I Int16 l r Source # (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 Methodsone :: I Int32 l r Source # (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 Methodsone :: I Int64 l r Source # (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 Methodsone :: I Int8 l r Source # (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 Methodsone :: I Word16 l r Source # (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 Methodsone :: I Word32 l r Source # (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 Methodsone :: I Word64 l r Source # (Interval Word8 l r, l <= 1, 1 <= r) => One Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # Instance detailsDefined in I.Word8 Methodsone :: I Word8 l r Source # (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 Methodsone :: I Int l r Source # (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 Methodsone :: I Word l r Source # Interval CChar l r => Shove CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # Instance detailsDefined in I.Autogen.CChar Methodsshove :: CChar -> I CChar l r Source # Interval CInt l r => Shove CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # Instance detailsDefined in I.Autogen.CInt Methodsshove :: CInt -> I CInt l r Source # Interval CIntMax l r => Shove CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CIntMax Methodsshove :: CIntMax -> I CIntMax l r Source # Interval CIntPtr l r => Shove CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CIntPtr Methodsshove :: CIntPtr -> I CIntPtr l r Source # Interval CLLong l r => Shove CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # Instance detailsDefined in I.Autogen.CLLong Methodsshove :: CLLong -> I CLLong l r Source # Interval CLong l r => Shove CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # Instance detailsDefined in I.Autogen.CLong Methodsshove :: CLong -> I CLong l r Source # Interval CPtrdiff l r => Shove CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # Instance detailsDefined in I.Autogen.CPtrdiff Methods Interval CSChar l r => Shove CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # Instance detailsDefined in I.Autogen.CSChar Methodsshove :: CSChar -> I CSChar l r Source # Interval CShort l r => Shove CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # Instance detailsDefined in I.Autogen.CShort Methodsshove :: CShort -> I CShort l r Source # Interval CSize l r => Shove CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # Instance detailsDefined in I.Autogen.CSize Methodsshove :: CSize -> I CSize l r Source # Interval CUChar l r => Shove CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # Instance detailsDefined in I.Autogen.CUChar Methodsshove :: CUChar -> I CUChar l r Source # Interval CUInt l r => Shove CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # Instance detailsDefined in I.Autogen.CUInt Methodsshove :: CUInt -> I CUInt l r Source # Interval CUIntMax l r => Shove CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CUIntMax Methods Interval CUIntPtr l r => Shove CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CUIntPtr Methods Interval CULLong l r => Shove CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # Instance detailsDefined in I.Autogen.CULLong Methodsshove :: CULLong -> I CULLong l r Source # Interval CULong l r => Shove CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # Instance detailsDefined in I.Autogen.CULong Methodsshove :: CULong -> I CULong l r Source # Interval CUShort l r => Shove CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # Instance detailsDefined in I.Autogen.CUShort Methodsshove :: CUShort -> I CUShort l r Source # Interval CWchar l r => Shove CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # Instance detailsDefined in I.Autogen.CWchar Methodsshove :: CWchar -> I CWchar l r Source # Interval Int16 l r => Shove Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # Instance detailsDefined in I.Autogen.Int16 Methodsshove :: Int16 -> I Int16 l r Source # Interval Int32 l r => Shove Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # Instance detailsDefined in I.Autogen.Int32 Methodsshove :: Int32 -> I Int32 l r Source # Interval Int64 l r => Shove Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # Instance detailsDefined in I.Autogen.Int64 Methodsshove :: Int64 -> I Int64 l r Source # Interval Int8 l r => Shove Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # Instance detailsDefined in I.Int8 Methodsshove :: Int8 -> I Int8 l r Source # Interval Word16 l r => Shove Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # Instance detailsDefined in I.Autogen.Word16 Methodsshove :: Word16 -> I Word16 l r Source # Interval Word32 l r => Shove Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # Instance detailsDefined in I.Autogen.Word32 Methodsshove :: Word32 -> I Word32 l r Source # Interval Word64 l r => Shove Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # Instance detailsDefined in I.Autogen.Word64 Methodsshove :: Word64 -> I Word64 l r Source # Interval Word8 l r => Shove Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # Instance detailsDefined in I.Word8 Methodsshove :: Word8 -> I Word8 l r Source # Interval Int l r => Shove Int (l :: L Int :: Type) (r :: R Int :: Type) Source # Instance detailsDefined in I.Autogen.Int Methodsshove :: Int -> I Int l r Source # Interval Word l r => Shove Word (l :: L Word :: Type) (r :: R Word :: Type) Source # Instance detailsDefined in I.Autogen.Word Methodsshove :: Word -> I Word l r Source # Interval CChar l r => With CChar (l :: L CChar :: Type) (r :: R CChar :: Type) Source # Instance detailsDefined in I.Autogen.CChar Methodswith :: I CChar l r -> (forall (t :: T CChar). Known CChar l r t => Proxy t -> b) -> b Source # Interval CInt l r => With CInt (l :: L CInt :: Type) (r :: R CInt :: Type) Source # Instance detailsDefined in I.Autogen.CInt Methodswith :: I CInt l r -> (forall (t :: T CInt). Known CInt l r t => Proxy t -> b) -> b Source # Interval CIntMax l r => With CIntMax (l :: L CIntMax :: Type) (r :: R CIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CIntMax Methodswith :: I CIntMax l r -> (forall (t :: T CIntMax). Known CIntMax l r t => Proxy t -> b) -> b Source # Interval CIntPtr l r => With CIntPtr (l :: L CIntPtr :: Type) (r :: R CIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CIntPtr Methodswith :: I CIntPtr l r -> (forall (t :: T CIntPtr). Known CIntPtr l r t => Proxy t -> b) -> b Source # Interval CLLong l r => With CLLong (l :: L CLLong :: Type) (r :: R CLLong :: Type) Source # Instance detailsDefined in I.Autogen.CLLong Methodswith :: I CLLong l r -> (forall (t :: T CLLong). Known CLLong l r t => Proxy t -> b) -> b Source # Interval CLong l r => With CLong (l :: L CLong :: Type) (r :: R CLong :: Type) Source # Instance detailsDefined in I.Autogen.CLong Methodswith :: I CLong l r -> (forall (t :: T CLong). Known CLong l r t => Proxy t -> b) -> b Source # Interval CPtrdiff l r => With CPtrdiff (l :: L CPtrdiff :: Type) (r :: R CPtrdiff :: Type) Source # Instance detailsDefined in I.Autogen.CPtrdiff Methodswith :: I CPtrdiff l r -> (forall (t :: T CPtrdiff). Known CPtrdiff l r t => Proxy t -> b) -> b Source # Interval CSChar l r => With CSChar (l :: L CSChar :: Type) (r :: R CSChar :: Type) Source # Instance detailsDefined in I.Autogen.CSChar Methodswith :: I CSChar l r -> (forall (t :: T CSChar). Known CSChar l r t => Proxy t -> b) -> b Source # Interval CShort l r => With CShort (l :: L CShort :: Type) (r :: R CShort :: Type) Source # Instance detailsDefined in I.Autogen.CShort Methodswith :: I CShort l r -> (forall (t :: T CShort). Known CShort l r t => Proxy t -> b) -> b Source # Interval CSize l r => With CSize (l :: L CSize :: Type) (r :: R CSize :: Type) Source # Instance detailsDefined in I.Autogen.CSize Methodswith :: I CSize l r -> (forall (t :: T CSize). Known CSize l r t => Proxy t -> b) -> b Source # Interval CUChar l r => With CUChar (l :: L CUChar :: Type) (r :: R CUChar :: Type) Source # Instance detailsDefined in I.Autogen.CUChar Methodswith :: I CUChar l r -> (forall (t :: T CUChar). Known CUChar l r t => Proxy t -> b) -> b Source # Interval CUInt l r => With CUInt (l :: L CUInt :: Type) (r :: R CUInt :: Type) Source # Instance detailsDefined in I.Autogen.CUInt Methodswith :: I CUInt l r -> (forall (t :: T CUInt). Known CUInt l r t => Proxy t -> b) -> b Source # Interval CUIntMax l r => With CUIntMax (l :: L CUIntMax :: Type) (r :: R CUIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CUIntMax Methodswith :: I CUIntMax l r -> (forall (t :: T CUIntMax). Known CUIntMax l r t => Proxy t -> b) -> b Source # Interval CUIntPtr l r => With CUIntPtr (l :: L CUIntPtr :: Type) (r :: R CUIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CUIntPtr Methodswith :: I CUIntPtr l r -> (forall (t :: T CUIntPtr). Known CUIntPtr l r t => Proxy t -> b) -> b Source # Interval CULLong l r => With CULLong (l :: L CULLong :: Type) (r :: R CULLong :: Type) Source # Instance detailsDefined in I.Autogen.CULLong Methodswith :: I CULLong l r -> (forall (t :: T CULLong). Known CULLong l r t => Proxy t -> b) -> b Source # Interval CULong l r => With CULong (l :: L CULong :: Type) (r :: R CULong :: Type) Source # Instance detailsDefined in I.Autogen.CULong Methodswith :: I CULong l r -> (forall (t :: T CULong). Known CULong l r t => Proxy t -> b) -> b Source # Interval CUShort l r => With CUShort (l :: L CUShort :: Type) (r :: R CUShort :: Type) Source # Instance detailsDefined in I.Autogen.CUShort Methodswith :: I CUShort l r -> (forall (t :: T CUShort). Known CUShort l r t => Proxy t -> b) -> b Source # Interval CWchar l r => With CWchar (l :: L CWchar :: Type) (r :: R CWchar :: Type) Source # Instance detailsDefined in I.Autogen.CWchar Methodswith :: I CWchar l r -> (forall (t :: T CWchar). Known CWchar l r t => Proxy t -> b) -> b Source # Interval Int16 l r => With Int16 (l :: L Int16 :: Type) (r :: R Int16 :: Type) Source # Instance detailsDefined in I.Autogen.Int16 Methodswith :: I Int16 l r -> (forall (t :: T Int16). Known Int16 l r t => Proxy t -> b) -> b Source # Interval Int32 l r => With Int32 (l :: L Int32 :: Type) (r :: R Int32 :: Type) Source # Instance detailsDefined in I.Autogen.Int32 Methodswith :: I Int32 l r -> (forall (t :: T Int32). Known Int32 l r t => Proxy t -> b) -> b Source # Interval Int64 l r => With Int64 (l :: L Int64 :: Type) (r :: R Int64 :: Type) Source # Instance detailsDefined in I.Autogen.Int64 Methodswith :: I Int64 l r -> (forall (t :: T Int64). Known Int64 l r t => Proxy t -> b) -> b Source # Interval Int8 l r => With Int8 (l :: L Int8 :: Type) (r :: R Int8 :: Type) Source # Instance detailsDefined in I.Int8 Methodswith :: I Int8 l r -> (forall (t :: T Int8). Known Int8 l r t => Proxy t -> b) -> b Source # Interval Word16 l r => With Word16 (l :: L Word16 :: Type) (r :: R Word16 :: Type) Source # Instance detailsDefined in I.Autogen.Word16 Methodswith :: I Word16 l r -> (forall (t :: T Word16). Known Word16 l r t => Proxy t -> b) -> b Source # Interval Word32 l r => With Word32 (l :: L Word32 :: Type) (r :: R Word32 :: Type) Source # Instance detailsDefined in I.Autogen.Word32 Methodswith :: I Word32 l r -> (forall (t :: T Word32). Known Word32 l r t => Proxy t -> b) -> b Source # Interval Word64 l r => With Word64 (l :: L Word64 :: Type) (r :: R Word64 :: Type) Source # Instance detailsDefined in I.Autogen.Word64 Methodswith :: I Word64 l r -> (forall (t :: T Word64). Known Word64 l r t => Proxy t -> b) -> b Source # Interval Word8 l r => With Word8 (l :: L Word8 :: Type) (r :: R Word8 :: Type) Source # Instance detailsDefined in I.Word8 Methodswith :: I Word8 l r -> (forall (t :: T Word8). Known Word8 l r t => Proxy t -> b) -> b Source # Interval Int l r => With Int (l :: L Int :: Type) (r :: R Int :: Type) Source # Instance detailsDefined in I.Autogen.Int Methodswith :: I Int l r -> (forall (t :: T Int). Known Int l r t => Proxy t -> b) -> b Source # Interval Word l r => With Word (l :: L Word :: Type) (r :: R Word :: Type) Source # Instance detailsDefined in I.Autogen.Word Methodswith :: I Word l r -> (forall (t :: T Word). Known Word l r t => Proxy t -> b) -> b Source # (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 Methodszero :: I CChar l r Source # (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 Methodszero :: I CInt l r Source # (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 Methodszero :: I CIntMax l r Source # (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 Methodszero :: I CIntPtr l r Source # (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 Methodszero :: I CLLong l r Source # (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 Methodszero :: I CLong l r Source # (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 Methodszero :: I CPtrdiff l r Source # (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 Methodszero :: I CSChar l r Source # (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 Methodszero :: I CShort l r Source # Interval CSize 0 r => Zero CSize 0 (r :: R CSize :: Type) Source # Instance detailsDefined in I.Autogen.CSize Methodszero :: I CSize 0 r Source # Interval CUChar 0 r => Zero CUChar 0 (r :: R CUChar :: Type) Source # Instance detailsDefined in I.Autogen.CUChar Methodszero :: I CUChar 0 r Source # Interval CUInt 0 r => Zero CUInt 0 (r :: R CUInt :: Type) Source # Instance detailsDefined in I.Autogen.CUInt Methodszero :: I CUInt 0 r Source # Interval CUIntMax 0 r => Zero CUIntMax 0 (r :: R CUIntMax :: Type) Source # Instance detailsDefined in I.Autogen.CUIntMax Methodszero :: I CUIntMax 0 r Source # Interval CUIntPtr 0 r => Zero CUIntPtr 0 (r :: R CUIntPtr :: Type) Source # Instance detailsDefined in I.Autogen.CUIntPtr Methodszero :: I CUIntPtr 0 r Source # Interval CULLong 0 r => Zero CULLong 0 (r :: R CULLong :: Type) Source # Instance detailsDefined in I.Autogen.CULLong Methodszero :: I CULLong 0 r Source # Interval CULong 0 r => Zero CULong 0 (r :: R CULong :: Type) Source # Instance detailsDefined in I.Autogen.CULong Methodszero :: I CULong 0 r Source # Interval CUShort 0 r => Zero CUShort 0 (r :: R CUShort :: Type) Source # Instance detailsDefined in I.Autogen.CUShort Methodszero :: I CUShort 0 r Source # (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 Methodszero :: I CWchar l r Source # (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 Methodszero :: I Int16 l r Source # (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 Methodszero :: I Int32 l r Source # (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 Methodszero :: I Int64 l r Source # (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 Methodszero :: I Int8 l r Source # Interval Word16 0 r => Zero Word16 0 (r :: R Word16 :: Type) Source # Instance detailsDefined in I.Autogen.Word16 Methodszero :: I Word16 0 r Source # Interval Word32 0 r => Zero Word32 0 (r :: R Word32 :: Type) Source # Instance detailsDefined in I.Autogen.Word32 Methodszero :: I Word32 0 r Source # Interval Word64 0 r => Zero Word64 0 (r :: R Word64 :: Type) Source # Instance detailsDefined in I.Autogen.Word64 Methodszero :: I Word64 0 r Source # Interval Word8 0 r => Zero Word8 0 (r :: R Word8 :: Type) Source # Instance detailsDefined in I.Word8 Methodszero :: I Word8 0 r Source # Interval Natural 0 r => Zero Natural 0 (r :: R Natural :: Type) Source # Instance detailsDefined in I.Natural Methodszero :: I Natural 0 r Source # (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 Methodszero :: I Int l r Source # Interval Word 0 r => Zero Word 0 (r :: R Word :: Type) Source # Instance detailsDefined in I.Autogen.Word Methodszero :: I Word 0 r Source # (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 Associated Typestype KnownCtx CChar l r t Source # Methodsknown' :: Proxy t -> I CChar l r Source # (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 Associated Typestype KnownCtx CInt l r t Source # Methodsknown' :: Proxy t -> I CInt l r Source # (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 Associated Typestype KnownCtx CIntMax l r t Source # Methodsknown' :: Proxy t -> I CIntMax l r Source # (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 Associated Typestype KnownCtx CIntPtr l r t Source # Methodsknown' :: Proxy t -> I CIntPtr l r Source # (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 Associated Typestype KnownCtx CLLong l r t Source # Methodsknown' :: Proxy t -> I CLLong l r Source # (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 Associated Typestype KnownCtx CLong l r t Source # Methodsknown' :: Proxy t -> I CLong l r Source # (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 Associated Typestype KnownCtx CPtrdiff l r t Source # Methodsknown' :: Proxy t -> I CPtrdiff l r Source # (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 Associated Typestype KnownCtx CSChar l r t Source # Methodsknown' :: Proxy t -> I CSChar l r Source # (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 Associated Typestype KnownCtx CShort l r t Source # Methodsknown' :: Proxy t -> I CShort l r Source # (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 Associated Typestype KnownCtx CSize l r t Source # Methodsknown' :: Proxy t -> I CSize l r Source # (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 Associated Typestype KnownCtx CUChar l r t Source # Methodsknown' :: Proxy t -> I CUChar l r Source # (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 Associated Typestype KnownCtx CUInt l r t Source # Methodsknown' :: Proxy t -> I CUInt l r Source # (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 Associated Typestype KnownCtx CUIntMax l r t Source # Methodsknown' :: Proxy t -> I CUIntMax l r Source # (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 Associated Typestype KnownCtx CUIntPtr l r t Source # Methodsknown' :: Proxy t -> I CUIntPtr l r Source # (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 Associated Typestype KnownCtx CULLong l r t Source # Methodsknown' :: Proxy t -> I CULLong l r Source # (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 Associated Typestype KnownCtx CULong l r t Source # Methodsknown' :: Proxy t -> I CULong l r Source # (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 Associated Typestype KnownCtx CUShort l r t Source # Methodsknown' :: Proxy t -> I CUShort l r Source # (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 Associated Typestype KnownCtx CWchar l r t Source # Methodsknown' :: Proxy t -> I CWchar l r Source # (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 Associated Typestype KnownCtx Int16 l r t Source # Methodsknown' :: Proxy t -> I Int16 l r Source # (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 Associated Typestype KnownCtx Int32 l r t Source # Methodsknown' :: Proxy t -> I Int32 l r Source # (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 Associated Typestype KnownCtx Int64 l r t Source # Methodsknown' :: Proxy t -> I Int64 l r Source # (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 Associated Typestype KnownCtx Int8 l r t Source # Methodsknown' :: Proxy t -> I Int8 l r Source # (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 Associated Typestype KnownCtx Word16 l r t Source # Methodsknown' :: Proxy t -> I Word16 l r Source # (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 Associated Typestype KnownCtx Word32 l r t Source # Methodsknown' :: Proxy t -> I Word32 l r Source # (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 Associated Typestype KnownCtx Word64 l r t Source # Methodsknown' :: Proxy t -> I Word64 l r Source # (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 Associated Typestype KnownCtx Word8 l r t Source # Methodsknown' :: Proxy t -> I Word8 l r Source # (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 Associated Typestype KnownCtx Int l r t Source # Methodsknown' :: Proxy t -> I Int l r Source # (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 Associated Typestype KnownCtx Word l r t Source # Methodsknown' :: Proxy t -> I Word l r Source # (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 Methodsup :: I CChar ld rd -> I CChar lu ru Source # (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 Methodsup :: I CInt ld rd -> I CInt lu ru Source # (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 Methodsup :: I CIntMax ld rd -> I CIntMax lu ru Source # (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 Methodsup :: I CIntPtr ld rd -> I CIntPtr lu ru Source # (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 Methodsup :: I CLLong ld rd -> I CLLong lu ru Source # (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 Methodsup :: I CLong ld rd -> I CLong lu ru Source # (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 Methodsup :: I CPtrdiff ld rd -> I CPtrdiff lu ru Source # (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 Methodsup :: I CSChar ld rd -> I CSChar lu ru Source # (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 Methodsup :: I CShort ld rd -> I CShort lu ru Source # (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 Methodsup :: I CSize ld rd -> I CSize lu ru Source # (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 Methodsup :: I CUChar ld rd -> I CUChar lu ru Source # (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 Methodsup :: I CUInt ld rd -> I CUInt lu ru Source # (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 Methodsup :: I CUIntMax ld rd -> I CUIntMax lu ru Source # (Interval CUIntPtr ld rd, Interval CUIntPtr lu ru, lu