Ξυ³h$Έb       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ Alexey KhudyakovBSD3-style (see LICENSE),Alexey Khudyakov unstableunportable (GHC only) Safe-Inferred >?ΐΑΒΙΦΧ)type-level-numbersθUsually numbers have non-unique representation. This type family is canonical representation of number.type-level-numbersDivision of two numbers. n and mΗ should be instances of this class only if remainder of 'n/m' is zero.type-level-numbersProduct of two numbers.type-level-numbersDifference of two numbers.type-level-numbersSum of two numbers.type-level-numbersNegate number.type-level-numbersPrevious numbertype-level-numbers Next number.type-level-numbersPositive number. type-level-numbers3Non-zero number. For naturals it's same as positive type-level-numbersΒNumbers n and m are instances of this class if and only is n >= m. type-level-numbersΒNumbers n and m are instances of this class if and only is n <= m. type-level-numbersΑNumbers n and m are instances of this class if and only is n > m. type-level-numbersΑNumbers n and m are instances of this class if and only is n < m.type-level-numbersΝType family for comparing two numbers. It's expected that for any two valid n and mΫ 'Compare n m' is equal to IsLess when 'nm'.    Safe-Inferred $type-level-numbersDigit stream terminator%type-level-numbersDigit 1&type-level-numbersDigit 0'type-level-numbersDigit -1$%&' Safe-Inferred ±(type-level-numbersBit stream terminator.)type-level-numbers Zero bit.*type-level-numbersOne bit.()* None d+type-level-numbersCreate type for natural number.,type-level-numbers?Create value for type level natural. Value itself is undefined. +,Alexey KhudyakovBSD3-style (see LICENSE),Alexey Khudyakov unstableunportable (GHC only) Safe-Inferred3ΑΒ y-type-level-numbers*Convert type level into value level using /type-level-numbersValue with type tag-./01/01-.Alexey KhudyakovBSD3-style (see LICENSE),Alexey Khudyakov unstableunportable (GHC only)None'(3>?ΐΑΒΙΤΦΧΩ Ή5type-level-numbersSome natural number7type-level-numbersδType class for natural numbers. Only numbers without leading zeroes are members of this type class.8type-level-numbersίConvert natural number to integral value. It's not checked whether value could be represented.9type-level-numbers)Apply function which could work with any 7 value only know at runtime.$ ()*+,56789 *)(78569+,Nonehijklmnopqrstuvwxyz{qponmlkjihrstuvwxyz{ Safe-InferredΑΒΙΧk|type-level-numbersExlusive or for boolean types}type-level-numbersOr for boolean types~type-level-numbersAnd for boolean typestype-level-numbersNegation€type-level-numbersData type for false.type-level-numbersData type for truth |}~€‚ƒ„… €‚~ƒ}„|…  Safe-Inferred±‘Alexey KhudyakovBSD3-style (see LICENSE),Alexey Khudyakov unstableunportable (GHC only)None'(3>?ΐΑΒΙΤΧΩ(Štype-level-numbersSome natural number‹type-level-numbersβType class for type level integers. Only numbers without leading zeroes are members of the class.Œtype-level-numbersίConvert natural number to integral value. It's not checked whether value could be represented.type-level-numbers!Generate type for integer number.Žtype-level-numbers)Apply function which could work with any Nat value only know at runtime.# $%&'Š‹ŒŽ $'&%‹ŒŠŽ’    !"#$%&'()*+,-./012345 6 789::;<=>??@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”A•–—˜™š›œžŸ ‘’£€₯¦§ ¨ ©ͺ1type-level-numbers-0.1.1.2-BllvUnRmfcR11xByudL0ARTypeLevel.Number.ClassesTypeLevel.Number.IntTypeLevel.Number.NatTypeLevel.ReifyTypeLevel.Number.Nat.NumTypeLevel.BooleanTypeLevel.Number.Int.TypesTypeLevel.Number.Nat.TypesTypeLevel.Number.Nat.THTypeLevel.Util NormalizedDivMulSubAddNegatePrevNextPositiveNonZero GreaterEqLesserEqGreaterLesser IsGreaterIsEqualIsLesserComparecompareNnextNprevNnegateNaddNsubNmulNdivN$fShowIsLesser $fShowIsEqual$fShowIsGreater $fLessernm $fGreaternm $fGreaterEqnm $fLesserEqnm $fOneOfTwoaaa $fOneOfTwoaba $fOneOfTwoaabZZD1D0DnZOInatTnatReifywitnessWitnessgetValue $fShowWitness $fEqWitness $fDataWitnessSomeNatNattoIntwithNat$fShowZ $fReifyZInt64 $fReifyZInt32 $fReifyZInt16 $fReifyZInt8$fReifyZWord64$fReifyZWord32$fReifyZWord16 $fReifyZWord8 $fReifyZInt$fReifyZInteger $fNonZeroO $fNonZeroI $fPositiveO $fPositiveI$fShowI$fShowO $fReifyIInt64 $fReifyOInt64 $fReifyIInt32 $fReifyOInt32 $fReifyIInt16 $fReifyOInt16 $fReifyIInt8 $fReifyOInt8$fReifyIWord64$fReifyOWord64$fReifyIWord32$fReifyOWord32$fReifyIWord16$fReifyOWord16 $fReifyIWord8 $fReifyOWord8 $fReifyIInt $fReifyOInt$fReifyIInteger$fReifyOInteger$fNatI$fNatO$fNatI0$fNatO0$fNatI1$fNatZ$fPosn$fNatO1 $fShowSomeNatN9N8N7N6N5N4N3N2N1N0n0n1n2n3n4n5n6n7n8n9XorOrAndNotFalseTruenotTandTorTxorT$fReifyTrueBool $fShowTrue$fReifyFalseBool $fShowFalseSomeIntIntTintTwithInt$fShowZZ$fShowD1$fShowD0$fShowDn$fIntTD1$fIntTD0$fIntTDn $fIntTD10 $fIntTD00 $fIntTDn0 $fIntTD11 $fIntTD01 $fIntTDn1 $fIntTDn2 $fIntTD12$fIntTZZ $fShowSomeInt splitToBitscdr