Îõ³h* Ì q3      !"#$%&'()*+,-./0120.3.0 Safe-Inferred )1=>ÀÁËÎÛä3456789: Safe-Inferred )1=>ÀÁËÎÛäD 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 A hexadecimal digit.!Unsafe. Must be called with 0-15.type-level-show!Return the associated lower-case @ for a 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 A5 in the given base using the given digit renderer.3The digit renderer is guaranteed to be called with  0 <= n < base. !"#$%&'()*+$#"! %&'()*+ Safe-Inferred )1=>ÀÁËÎÛä _0type-level-showSurround the given BÇ with parentheses if the given precedence is greater than the given A.ÇType-level relational operations are a pain. This may be easier to use.1type-level-showSurround the given B with parentheses when the C parameter is D.,-./01210/.2-,Å      !"#$%&'()*+,-./0123456789:;<=>?@ABCDBCEBCFBGHBIJKLMNOPKLQKLRKLSÔtype-level-show-0.3.0-inplaceTypeLevelShow.DocTypeLevelShow.Natural.DigitTypeLevelShow.NaturalTypeLevelShow.Utilstype-level-showPaths_type_level_showSingDocsingDocSDocSText:$<>::$$$: ErrorPDoc RenderPDocPDocDocText:<>::$$: renderDoc demoteDocreifyDoc errorPDoc$fDemotableDocSDoc $fSingIDocdoc $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