see LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.comThe names of the digits. The number of digits. see LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.com  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~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_ = ($ TupleT 0) . toType.  toDigits f = toType . f'toDigits_ = (($ TupleT 0) .) . 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.1Type.Digits.Aux Type.Digits digitNamesradixdigittoTypetoType_toDigits toDigits_ flexible'fixed'flexiblefixedexactlyT7FT7ET7DT7CT7BT7AT79T78T77T76T75T74T73T72T71T70T6FT6ET6DT6CT6BT6AT69T68T67T66T65T64T63T62T61T60T5FT5ET5DT5CT5BT5AT59T58T57T56T55T54T53T52T51T50T4FT4ET4DT4CT4BT4AT49T48T47T46T45T44T43T42T41T40T3FT3ET3DT3CT3BT3AT39T38T37T36T35T34T33T32T31T30T2FT2ET2DT2CT2BT2AT29T28T27T26T25T24T23T22T21T20T1FT1ET1DT1CT1BT1AT19T18T17T16T15T14T13T12T11T10T0FT0ET0DT0CT0BT0AT09T08T07T06T05T04T03T02T01T00widthwidth'spanTspanT'