úÎ0+?J      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHI JJJDigit stream terminator Digit 1 Digit 0  Digit -1 unportable (GHC only)unstable,Alexey Khudyakov <alexey.skladnoy@gmail.com>+Convert type level into value level using  Exlusive or for boolean types Or for boolean types And for boolean types  Negation Data type for false. Data type for truth         Bit stream terminator.  Zero bit.  One bit.  K Create type for natural number. @Create value for type level natural. Value itself is undefined. unportable (GHC only)unstable,Alexey Khudyakov <alexey.skladnoy@gmail.com>AUsually numbers have non-unique representation. This type family ( is canonical representation of number. Division of two numbers. n and m should be instances of this  class only if remainder of 'n/m' is zero. Product of two numbers. Difference of two numbers. Sum of two numbers. Negate number. Previous number  Next number. Positive number. ! Non-zero number. For naturals it's same as positive L"CNumbers n and m are instances of this class if and only is n >= m. #=Numbers n and m are instances of this class if and only is n <= m. $BNumbers n and m are instances of this class if and only is n > m. %=Numbers n and m are instances of this class if and only is n < m. &'())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 'n<m' , IsEqual  when 'n=m' and IsGreater when 'n>m'. *+,-./01 !"#$%&'()*+,-./01)*('&%#$" !+,-./01 !"#$%&'()*+,-./01unportable (GHC only)unstable,Alexey Khudyakov <alexey.skladnoy@gmail.com> MNOPQRSTUV+Type class for positive natural numbers. It's synonym for  Positive and Nat. 2=Type class for natural numbers. Only numbers without leading ( zeroes are members of this type class. 3,Convert natural number to integral value. It's not checked % whether value could be represented. ! !"#$%&'()*+,-./012323233456789:;<=>?@ABCDEFG456789:;<=>?@ABCDEFG=<;:987654>?@ABCDEFG456789:;<=>?@ABCDEFGunportable (GHC only)unstable,Alexey Khudyakov <alexey.skladnoy@gmail.com> WXYZ[HAType class for type level integers. Only numbers without leading " zeroes are members of the class. \,Convert natural number to integral value. It's not checked % whether value could be represented. ]I"Generate type for integer number. ^  !"#$%&'()*+,-./01HIHIHI_       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRST UVWXYZ[\]^_`abcZd=efgtype-level-numbers-0.1.0.2TypeLevel.Number.IntTypeLevel.ReifyTypeLevel.BooleanTypeLevel.Number.NatTypeLevel.Number.ClassesTypeLevel.Number.Nat.NumTypeLevel.UtilTypeLevel.Number.Int.TypesTypeLevel.Number.Nat.TypesTypeLevel.Number.Nat.THZZD1D0DnReifywitnessWitnessgetValueXorOrAndNotFalseTruenotTandTorTxorTZOInatTnat NormalizedDivMulSubAddNegatePrevNextPositiveNonZero GreaterEqLesserEqGreaterLesser IsGreaterIsEqualIsLesserComparecompareNnextNprevNnegateNaddNsubNmulNdivNNattoIntN9N8N7N6N5N4N3N2N1N0n0n1n2n3n4n5n6n7n8n9IntTintTcdr splitToBitsOneOfTwoSub'NoBorrowBorrowAdd'NoCarryCarryJoinAdd0BitNumber_Is_DenormalizedPosCarry1Carry0CarryNAddBit splitToTritstoInt'