5.AK      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ  Safe-InferedKKK Safe-InferedDigit stream terminator Digit 1 Digit 0  Digit -1 unportable (GHC only)unstable,Alexey Khudyakov <alexey.skladnoy@gmail.com> Safe-Infered+Convert type level into value level using  Safe-Infered Exlusive or for boolean types Or for boolean types And for boolean types  Negation Data type for false. Data type for truth  LMNO       LMNO  Safe-InferedBit stream terminator.  Zero bit.  One bit.  None 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> Safe-InferedAUsually 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 "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'. $ !"#$%&'()*+,-./01PQRSTUVWXY !"#$%&'()*+,-./01)*('&%#$" !+,-./01$ !"#$%&'()*+,-./01PQRSTUVWXYunportable (GHC only)unstable,Alexey Khudyakov <alexey.skladnoy@gmail.com>None2=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. /23Z[\]^_`abcdefghijklmnopqrstuvwxyz{|}~! !"#$%&'()*+,-./012323.23Z[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None456789:;<=>?@ABCDEFG456789:;<=>?@ABCDEFG=<;:987654>?@ABCDEFG456789:;<=>?@ABCDEFGunportable (GHC only)unstable,Alexey Khudyakov <alexey.skladnoy@gmail.com>NoneHAType class for type level integers. Only numbers without leading " zeroes are members of the class. I,Convert natural number to integral value. It's not checked % whether value could be represented. J"Generate type for integer number. HIJ! !"#$%&'()*+,-./01HIJHIJHIJ       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQR=STUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~type-level-numbers-0.1.0.4TypeLevel.Number.IntTypeLevel.ReifyTypeLevel.BooleanTypeLevel.Number.NatTypeLevel.Number.ClassesTypeLevel.Number.Nat.NumTypeLevel.UtilTypeLevel.Number.Int.TypesTypeLevel.Number.Nat.TypesTypeLevel.Number.Nat.THZZD1D0DnReifywitnessWitnessgetValueXorOrAndNotFalseTruenotTandTorTxorTZOInatTnat NormalizedDivMulSubAddNegatePrevNextPositiveNonZero GreaterEqLesserEqGreaterLesser IsGreaterIsEqualIsLesserComparecompareNnextNprevNnegateNaddNsubNmulNdivNNattoIntN9N8N7N6N5N4N3N2N1N0n0n1n2n3n4n5n6n7n8n9IntTintTcdr$fReifyFalseBool$fReifyTrueBool $fShowTrue $fShowFalse $fGreaterEqnm $fLesserEqnm $fGreaternm $fLessernm $fOneOfTwoaaa $fOneOfTwoaba $fOneOfTwoaab$fShowIsGreater $fShowIsEqual$fShowIsLesser $fNonZeroO $fNonZeroI $fPositiveO $fPositiveI$fShowI$fShowO$fShowZ $fReifyIInt64 $fReifyOInt64 $fReifyZInt64 $fReifyIInt32 $fReifyOInt32 $fReifyZInt32 $fReifyIInt16 $fReifyOInt16 $fReifyZInt16 $fReifyIInt8 $fReifyOInt8 $fReifyZInt8$fReifyIWord64$fReifyOWord64$fReifyZWord64$fReifyIWord32$fReifyOWord32$fReifyZWord32$fReifyIWord16$fReifyOWord16$fReifyZWord16 $fReifyIWord8 $fReifyOWord8 $fReifyZWord8 $fReifyIInt $fReifyOInt $fReifyZInt$fReifyIInteger$fReifyOInteger$fReifyZInteger$fPosn$fNatO$fNatI$fNatO0$fNatI0$fNatO1$fNatI1$fNatZ$fShowD1$fShowD0$fShowDn$fShowZZ$fIntTD1$fIntTD0$fIntTDn $fIntTD10 $fIntTD00 $fIntTDn0 $fIntTD11 $fIntTD01 $fIntTDn1 $fIntTDn2 $fIntTD12$fIntTZZ