Îõ³h)>/*      !"#$%&'()0.1 Safe-Inferred(1ÊÚë¡& kind-integerThis should be exported by  Data.Type.Ord. kind-integerThis should be exported by  Data.Type.Ord. kind-integerThis should be exported by  Data.Type.Ord. kind-integerThis should be exported by  Data.Type.Ord.* kind-integer9An internal data type that is only used for defining the  pattern synonym. kind-integer Singleton type for a type-level  i. kind-integerComparison of type-level s, as a function. kind-integer Log base 2 (+ed) of type-level s. Logarithm of zero doesn't type-check.0Logarithm of negative number doesn't type-check. kind-integer Remainder (,d division) of type-level s.  forall (a :: ) (b :: ).  such that (b  0). a   a b    b   a b  Remainder by zero doesn't type-check. kind-integer Division (,d) of type-level s.  forall (a :: ) (b :: ).  such that (b  0). a   a b    b   a b  Division by zero doesn't type-check.  kind-integer Modulus (+ed division) of type-level s.  forall (a :: ) (b :: ).  such that (b  0). a    a b    b    a b  Modulus by zero doesn't type-check.  kind-integer Division (+ed) of type-level s.  forall (a :: ) (b :: ).  such that (b  0). a    a b    b    a b  Division by zero doesn't type-check.  kind-integerSubtraction of type-level s.  kind-integerExponentiation of type-level s.Exponentiation by negative  doesn't type-check.  kind-integerMultiplication of type-level s. kind-integerAddition of type-level s. kind-integerNegation of type-level s.- kind-integer Construct a d egative type-level .=To be used for producing all negative outputs in this module. kind-integer Make sure zero is represented as  0 , not as  0!Notice that all the tools in the  KindInteger can readily handle non-d inputs. This Ô type-family is offered offered only as a convenience in case you want to simplify your dealing with zeros. kind-integer(This type represents unknown type-level . kind-integer÷This class gives the integer associated with a type-level integer. There are instances of the class for every integer. kind-integerA negative number -x is represented as  x.Zero can be represented as  0 (but often isn't, see notes at ). kind-integerA positive number +x is represented as  x.Zero can be represented as  0 (see notes at ). kind-integerType-level version of ., only ever used as a kind for  and A positive number +x is represented as  x.A negative number -x is represented as  x.Zero can be represented as  0 or  0. For consistency, all zero$ outputs from type families in this  KindInteger module use the  0Ó, but don't assume that this will be the case elsewhere. So, if you need to treat zero: specially in some situation, be sure to handle both the  0 and  0 cases. kind-integer7A explicitly bidirectional pattern synonym relating an  to a  constraint.As an  expression: Constructs an explicit  i value from an implicit  i constraint:  @i ::  i =>  i As a pattern: Matches on an explicit  i value bringing an implicit  i constraint into scope: f :: 0 i -> .. f SInteger = {- SInteger i in scope -} / kind-integer;We are not interested in giving any instance to type-level s, so we implement 0 here. kind-integer Term-level ." representation of the type-level  i. kind-integer Term-level ." representation of the type-level  i. kind-integerConvert a term-level . into an unknown type-level . kind-integerÕWe either get evidence that this function was instantiated with the same type-level s, or 1. kind-integerLike , but if the type-level 5s aren't equal, this additionally provides proof of 2 or 3.4 kind-integer8An internal function that is only used for defining the  pattern synonym. kind-integerReturn the type-level . number corresponding to i in a  i value. kind-integerConvert an explicit  i value into an implicit  i constraint.  kind-integer Convert a . number into an  n value, where n is a fresh type-level .5 kind-integer Data.Type.Ord support for type-level s.$ kind-integerNegative numbers and zero.% kind-integerPositive numbers and zero.!   !    444477 7 7 6 8 766      !"#$%&'()*+,-.,-/0123,45,6789:89;<=>kind-integer-0.1-inplace KindInteger kind-integer/=/=?====?SInteger CmpIntegerLog2RemQuotModDiv-^*+Negate Normalize SomeInteger KnownInteger integerSingNPInteger integerVal integerVal'someIntegerVal sameInteger cmpInteger fromSIntegerwithKnownIntegerwithSomeSInteger$fTestCoercionIntegerSInteger$fTestEqualityIntegerSInteger$fShowSInteger$fKnownIntegerNegative$fKnownIntegerPositive$fReadSomeInteger$fShowSomeInteger$fOrdSomeInteger$fEqSomeIntegerKnownIntegeregerInstancebaseGHC.RealfloortruncateNN ghc-bignumGHC.Num.IntegershowsPrecIntegerGHC.Show showsPrec GHC.MaybeNothingghc-prim GHC.TypesLTGTknownIntegerInstanceD:R:CompareIntegerab