*K"      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~see LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.com Safe-InferredThe names of the digits. The number of digits. see LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.comNone  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!  ~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!  see LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.comNonesee LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.comNone HConvert a number to the name of the corresponding digit -- error if the  argument is out of range. <Give a list of digit names, and a base type, yields a type. toType_ = ($ PromotedT 'DigitStop) . toType. toDigits f = toType . ftoDigits_ = (($ PromotedT 'DigitStop) .) . toDigits. flexible' = flexible . fromEnum fixed' = fixed . fromEnum Converts an Integral4 to a type-level numeral using as many digits as it  takes that particular number.  Converts a Bounded Integral+ to a type-level numeral using exactly the J number of digits it takes to represent each value of that type uniquely. CPads its second argument so that the resulting length is its first ; argument; fails if the second argument is already larger.       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~type-digits-0.3Type.Digits.AuxType.Digits.Stage0Type.Digits.Stage1 Type.DigitsProxy digitStringsradixDigitT7FT7ET7DT7CT7BT7AT79T78T77T76T75T74T73T72T71T70T6FT6ET6DT6CT6BT6AT69T68T67T66T65T64T63T62T61T60T5FT5ET5DT5CT5BT5AT59T58T57T56T55T54T53T52T51T50T4FT4ET4DT4CT4BT4AT49T48T47T46T45T44T43T42T41T40T3FT3ET3DT3CT3BT3AT39T38T37T36T35T34T33T32T31T30T2FT2ET2DT2CT2BT2AT29T28T27T26T25T24T23T22T21T20T1FT1ET1DT1CT1BT1AT19T18T17T16T15T14T13T12T11T10T0FT0ET0DT0CT0BT0AT09T08T07T06T05T04T03T02T01T00 DigitStop digitNames digitTypes digitStopName digitStopTypedigittoTypetoType_toDigits toDigits_ flexible'fixed'flexiblefixedexactlywidthwidth'spanTspanT'