Îõ³h* Ã m2      !"#$%&'()*+,-./010.2.1 Safe-Inferred )1=>ÀÁËÎÛä23456789 Safe-Inferred )1=>ÀÁËÎÛä@ 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 :.-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 ;$) 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=>ÀÁËÎÛä [/type-level-showSurround the given AÇ with parentheses if the given precedence is greater than the given @.ÇType-level relational operations are a pain. This may be easier to use.0type-level-showSurround the given A with parentheses when the B parameter is C.+,-./010/.-1,+Ä      !"#$%&'()*+,-./0123456789:;<=>?@ABCABDABEAFGAHIJKLMNOJKPJKQJKRÓtype-level-show-0.2.1-inplaceTypeLevelShow.DocTypeLevelShow.Natural.DigitTypeLevelShow.NaturalTypeLevelShow.Utilstype-level-showPaths_type_level_showSingDocsingDocSDocSText:$<>::$$$: ErrorPDoc RenderPDocPDocDocText:<>::$$: renderDoc demoteDocreifyDoc errorPDoc$fDemotableDocSDoc $fSingDoc:$$: $fSingDoc:<>: $fSingDocText $fShowDocShowNatDigitHexUpperSymShowNatDigitHexUpperShowNatDigitHexLowerSymShowNatDigitHexLowerENotDigitOfBasesShowNatDigitHexLowersShowNatDigitHexUpper ShowNatBase' ShowNatBaseShowNatHexUpperShowNatHexLower ShowNatDec ShowNatOct ShowNatBin sShowNatBin sShowNatOct sShowNatDecsShowNatHexLowersShowNatHexUpper sShowNatBase sShowNatBase'>++ShowChar OrderingGT ShowParenIfGt ShowParen sShowCharversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDirgetDataFileName getSysconfDirbase GHC.TypeError TypeError ErrorMessageShowTypeGHC.BaseStringGHC.Errerrorghc-prim GHC.TypesChar ghc-bignumGHC.Num.NaturalNaturalSymbolBoolTrue