Îõ³h* ¯ c0      !"#$%&'()*+,-./0.2.0 Safe-Inferred )1=>ÀÁËÎÛä 01234567 Safe-Inferred )1=>ÀÁËÎÛä8 type-level-show-Produce the singleton for the given promoted  .type-level-show Singleton  .type-level-show Render a  as an  ErrorMessage, and wrap it in a 8.-Note that this must be a type family, or the  won't actually get rendered.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 9$) 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' text type-level-showappend docs next to each other type-level-show)stack docs on top of each other (newline) type-level-show Render a   as a ;, formatted how  ErrorMessages get displayed.type-level-show Demote an % singleton to the corresponding base  .type-level-showReify a promoted  % to the corresponding term-level one.type-level-show Render a  as a ; , and call < on it.‚This enables using the same code for type- and term- "runtime" errors. This can't be typechecked, naturally, but it's still nice.   Safe-Inferred )1=>ÀÁËÎÛä Îtype-level-show!Return the associated upper-case = for a > hexadecimal digit.!Unsafe. Must be called with 0-15.type-level-show!Return the associated lower-case = for a > hexadecimal digit.!Unsafe. Must be called with 0-15.type-level-showðType-level error message displayed when a digit renderer receives a digit not present in the base it handles.1Note that we can't show the digit, unless we use ShowTypeç. Which type-level-show is about avoiding. Not really an issue, it should be clear in the type error. Safe-Inferred )1=>ÀÁËÎÛä Çtype-level-showRender a type-level >5 in the given base using the given digit renderer.3The digit renderer is guaranteed to be called with  0 <= n < base. !"#$%&'()"! #$%&'() Safe-Inferred )1=>ÀÁËÎÛä S.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 A.*+,-.//.-,+*Â      !"#$%&'()*+,-./0123456789:;<=>?@A?@B?@C?DE?FGHIJKLMHINHIOHIPÑtype-level-show-0.2.0-inplaceTypeLevelShow.DocTypeLevelShow.Natural.DigitTypeLevelShow.NaturalTypeLevelShow.Utilstype-level-showPaths_type_level_showSingDocsingDocSDocSText:$<>::$$$: ErrorPDoc RenderPDocPDocDocText:<>::$$: renderDoc demoteDocreifyDoc errorPDoc $fSingDoc:$$: $fSingDoc:<>: $fSingDocText $fShowDocShowNatDigitHexUpperSymShowNatDigitHexUpperShowNatDigitHexLowerSymShowNatDigitHexLowerENotDigitOfBasesShowNatDigitHexLowersShowNatDigitHexUpper ShowNatBase' ShowNatBaseShowNatHexUpperShowNatHexLower ShowNatDec ShowNatOct ShowNatBin sShowNatBin sShowNatOct sShowNatDecsShowNatHexLowersShowNatHexUpper sShowNatBase sShowNatBase'>++ShowChar OrderingGT ShowParenIfGt ShowParenversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDirgetDataFileName getSysconfDirbase GHC.TypeError TypeError ErrorMessageShowTypeGHC.BaseStringGHC.Errerrorghc-prim GHC.TypesChar ghc-bignumGHC.Num.NaturalNaturalSymbolBoolTrue