Îõ³h*™£#      !"0.1.1 Safe-Inferred )1=>ÀÁËÎÛä×#$%&'()* Safe-Inferred )1=>ÀÁËÎÛäStype-level-showReify a promoted % to the corresponding term-level one.type-level-show Render a  as an  ErrorMessage , for type-level error messages. is a subset of  ErrorMessage, so this is very boring.type-level-show Promoted .type-level-showSimple pretty document ADT.2Designed to work on both type level (as a limited +$) and term level (as a boring ADT). Note that , is magical (see compilerGHCCore/Type.hs#L1309*), so we need to remove it for term level.;singletons-base defines a version of this, but retains the ,1 constructor and is in the singletons ecosystem.type-level-showplain ol' texttype-level-showappend docs next to each othertype-level-show)stack docs on top of each other (newline) Safe-Inferred )1=>ÀÁËÎÛätype-level-showRender a type-level -4 in the given base using the given digit printer.   Safe-Inferred )1=>ÀÁËÎÛä“!type-level-showSurround the given .Ç with parentheses if the given precedence is greater than the given -.ÇType-level relational operations are a pain. This may be easier to use."type-level-showSurround the given . with parentheses when the / parameter is 0. !""! 1      !"#$%&'()*+,-./012312456789:89;89<=type-level-show-0.1.1-inplaceTypeLevelShow.DocTypeLevelShow.NaturalTypeLevelShow.Utilstype-level-showPaths_type_level_showReifyDocreifyDoc RenderDocPDocDocText:<>::$$:$fReifyDoc:$$:$fReifyDoc:<>:$fReifyDocText $fShowDocShowNatHexDigitUpperSymShowNatHexDigitUpperShowNatHexDigitLowerSymShowNatHexDigitLowerShowNatDecimalDigitSymShowNatDecimalDigitShowNatOctalDigitSymShowNatOctalDigitShowNatBinaryDigitSymShowNatBinaryDigit ShowNatBase' ShowNatBaseShowNatHexUpperShowNatHexLower ShowNatDec ShowNatOct ShowNatBin>++ShowChar OrderingGT ShowParenIfGt ShowParenversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDirgetDataFileName getSysconfDirbase GHC.TypeError ErrorMessageShowType ghc-bignumGHC.Num.NaturalNaturalghc-prim GHC.TypesSymbolBoolTrue