úΛ÷    see LANGUAGE pragmas (... GHC) experimentalnicolas.frisby@gmail.com Safe-InferedThe names of the digits. The number of digits. see 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_ = ($ 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.           type-digits-0.1.0.2Type.Digits.Aux Type.Digits digitNamesradixdigittoTypetoType_toDigits toDigits_ flexible'fixed'flexiblefixedexactly