uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.Pretty.Doc

Documentation

data PrettyParams Source #

Constructors

PrettyParams 

Fields

Instances

Instances details
Show PrettyParams Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

showsPrec :: Int -> PrettyParams -> ShowS #

show :: PrettyParams -> String #

showList :: [PrettyParams] -> ShowS #

Eq PrettyParams Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

(==) :: PrettyParams -> PrettyParams -> Bool #

(/=) :: PrettyParams -> PrettyParams -> Bool #

Ord PrettyParams Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

compare :: PrettyParams -> PrettyParams -> Ordering #

(<) :: PrettyParams -> PrettyParams -> Bool #

(<=) :: PrettyParams -> PrettyParams -> Bool #

(>) :: PrettyParams -> PrettyParams -> Bool #

(>=) :: PrettyParams -> PrettyParams -> Bool #

max :: PrettyParams -> PrettyParams -> PrettyParams #

min :: PrettyParams -> PrettyParams -> PrettyParams #

punctuationFormatL :: PrettyParams ⟢ Formats Source #

keywordFormatL :: PrettyParams ⟢ Formats Source #

constructorFormatL :: PrettyParams ⟢ Formats Source #

operatorFormatL :: PrettyParams ⟢ Formats Source #

primitiveFormatL :: PrettyParams ⟢ Formats Source #

binderFormatL :: PrettyParams ⟢ Formats Source #

literalFormatL :: PrettyParams ⟢ Formats Source #

highlightFormatL :: PrettyParams ⟢ Formats Source #

headerFormatL :: PrettyParams ⟢ Formats Source #

commentFormatL :: PrettyParams ⟢ Formats Source #

errorFormatL :: PrettyParams ⟢ Formats Source #

lineNumberFormatL :: PrettyParams ⟢ Formats Source #

annotationFormatL :: PrettyParams ⟢ Formats Source #

appLevelL :: PrettyParams ⟢ ℕ64 Source #

prettyParams₀ :: PrettyParams Source #

data DocEnv Source #

Constructors

DocEnv 

Fields

Instances

Instances details
Show DocEnv Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

showsPrec :: Int -> DocEnv -> ShowS #

show :: DocEnv -> String #

showList :: [DocEnv] -> ShowS #

Eq DocEnv Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

(==) :: DocEnv -> DocEnv -> Bool #

(/=) :: DocEnv -> DocEnv -> Bool #

Ord DocEnv Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

compare :: DocEnv -> DocEnv -> Ordering #

(<) :: DocEnv -> DocEnv -> Bool #

(<=) :: DocEnv -> DocEnv -> Bool #

(>) :: DocEnv -> DocEnv -> Bool #

(>=) :: DocEnv -> DocEnv -> Bool #

max :: DocEnv -> DocEnv -> DocEnv #

min :: DocEnv -> DocEnv -> DocEnv #

docEnvPrettyParamsL :: DocEnv ⟢ PrettyParams Source #

docEnvPrecLevelL :: DocEnv ⟢ ℕ64 Source #

docEnvPrecBumpedL :: DocEnv ⟢ 𝔹 Source #

docEnv₀ :: DocEnv Source #

type DocM = RWS DocEnv DocA () Source #

newtype Doc Source #

Constructors

Doc 

Fields

Instances

Instances details
Eq Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderANSI

Methods

(==) :: Doc -> Doc -> Bool #

(/=) :: Doc -> Doc -> Bool #

Ord Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderANSI

Methods

compare :: Doc -> Doc -> Ordering #

(<) :: Doc -> Doc -> Bool #

(<=) :: Doc -> Doc -> Bool #

(>) :: Doc -> Doc -> Bool #

(>=) :: Doc -> Doc -> Bool #

max :: Doc -> Doc -> Doc #

min :: Doc -> Doc -> Doc #

Append Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

(⧺) :: Doc -> Doc -> Doc Source #

Monoid Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Null Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

null :: Doc Source #

Pretty Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: Doc -> Doc Source #

Lift Doc Source # 
Instance details

Defined in UVMHS.Lib.THLiftInstances

Methods

lift :: Quote m => Doc -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Doc -> Code m Doc #

execDocWith :: (DocM () -> DocM ()) -> Doc -> DocA Source #

execDoc :: Doc -> DocA Source #

onDoc :: (DocM () -> DocM ()) -> Doc -> Doc Source #

onDoc2 :: (DocM () -> DocM () -> DocM ()) -> Doc -> Doc -> Doc Source #

docShape :: Doc -> ShapeA Source #

ppForceBreak :: Doc Source #

ppWithForcedBreak :: Doc -> Doc Source #

ppAnnotate :: Annotation -> Doc -> Doc Source #

ppFormat :: Formats -> Doc -> Doc Source #

ppFormatParam :: (PrettyParams ⟢ Formats) -> Doc -> Doc Source #

ppUndertag :: ℂ -> Formats -> Doc -> Doc Source #

ppGroup :: Doc -> Doc Source #

ppAlign :: Doc -> Doc Source #

ppGA :: Doc -> Doc Source #

ppString :: 𝕊 -> Doc Source #

ppStringModal :: 𝕊 -> 𝕊 -> Doc Source #

ppModal :: Doc -> Doc -> Doc Source #

ppFG :: Color -> Doc -> Doc Source #

ppBG :: Color -> Doc -> Doc Source #

ppUL :: Doc -> Doc Source #

ppBD :: Doc -> Doc Source #

ppIT :: Doc -> Doc Source #

ppUT :: ℂ -> Color -> Doc -> Doc Source #

ppPunFmt :: Doc -> Doc Source #

ppPun :: 𝕊 -> Doc Source #

ppKeyFmt :: Doc -> Doc Source #

ppKey :: 𝕊 -> Doc Source #

ppConFmt :: Doc -> Doc Source #

ppCon :: 𝕊 -> Doc Source #

ppOpFmt :: Doc -> Doc Source #

ppOp :: 𝕊 -> Doc Source #

ppPrimFmt :: Doc -> Doc Source #

ppPrim :: 𝕊 -> Doc Source #

ppBdrFmt :: Doc -> Doc Source #

ppBdr :: 𝕊 -> Doc Source #

ppLitFmt :: Doc -> Doc Source #

ppLit :: 𝕊 -> Doc Source #

ppHlFmt :: Doc -> Doc Source #

ppHl :: 𝕊 -> Doc Source #

ppHeaderFmt :: Doc -> Doc Source #

ppHeader :: 𝕊 -> Doc Source #

ppCommentFmt :: Doc -> Doc Source #

ppComment :: 𝕊 -> Doc Source #

ppErrFmt :: Doc -> Doc Source #

ppErr :: 𝕊 -> Doc Source #

ppLineNumFmt :: Doc -> Doc Source #

ppLineNum :: 𝕊 -> Doc Source #

ppAnnotation :: Doc -> Doc Source #

ppCxt :: 𝕊 -> Doc -> Doc Source #

ppSpace :: ℕ64 -> Doc Source #

ppNewline :: Doc Source #

ppIndented :: Doc -> Doc Source #

ppSpaceIfBreak :: Doc Source #

ppSpaceIfNoBreak :: Doc Source #

ppNewlineIfBreak :: Doc Source #

ppSpaceNewlineIfBreak :: Doc Source #

ppHangIfBreak :: Doc -> Doc Source #

ppHorizontal :: ToIter Doc t => t -> Doc Source #

ppVertical :: ToIter Doc t => t -> Doc Source #

ppSeparated :: ToIter Doc t => t -> Doc Source #

ppSetLevel :: ℕ64 -> Doc -> Doc Source #

ppSetBotLevel :: Doc -> Doc Source #

ppBump :: Doc -> Doc Source #

ppClosed :: Doc -> Doc -> Doc -> Doc Source #

ppParens :: Doc -> Doc Source #

ppLevel :: ℕ64 -> Doc -> Doc Source #

ppInfLevel :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInflLevel :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInfrLevel :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppPreLevel :: ℕ64 -> Doc -> Doc -> Doc Source #

ppPostLevel :: ℕ64 -> Doc -> Doc -> Doc Source #

ppInf :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInfl :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInfr :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppPre :: ℕ64 -> Doc -> Doc -> Doc Source #

ppPost :: ℕ64 -> Doc -> Doc -> Doc Source #

ppInfSep :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInflSep :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInfrSep :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppPreSep :: ℕ64 -> Doc -> Doc -> Doc Source #

ppPostSep :: ℕ64 -> Doc -> Doc -> Doc Source #

ppInf' :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInfl' :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInfr' :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInfSep' :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInflSep' :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppInfrSep' :: ℕ64 -> Doc -> Doc -> Doc -> Doc Source #

ppApp :: ToIter Doc t => Doc -> t -> Doc Source #

ppCollection :: ToIter Doc t => Doc -> Doc -> Doc -> t -> Doc Source #

ppRecord :: ToIter (Doc ∧ Doc) t => Doc -> t -> Doc Source #

ppBake :: Doc -> TreeI Source #

ppEmbed :: TreeI -> Doc Source #

matrixHelper :: forall (m :: 𝐍) (n :: 𝐍). (𝒩 m, 𝒩 n) => 𝕍S n HAlign -> 𝕍S m VAlign -> 𝕍S m (𝕍S n SummaryO) -> 𝕍S n ℕ64 ∧ 𝕍S m (𝕍S n SummaryO) Source #

ppMatrix :: forall (m :: 𝐍) (n :: 𝐍). (𝒩 m, 𝒩 n) => 𝕍S n HAlign -> 𝕍S m VAlign -> 𝕍S m (𝕍S n Doc) -> Doc Source #

ppMatrixCells :: forall (m :: 𝐍) (n :: 𝐍). (𝒩 m, 𝒩 n) => 𝕍S n HAlign -> 𝕍S m VAlign -> 𝕍S m (𝕍S n Doc) -> Doc Source #

class Pretty a where Source #

Methods

pretty :: a -> Doc Source #

Instances

Instances details
Pretty CallStack Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: CallStack -> Doc Source #

(Pretty Lit, Pretty 𝕊) => Pretty Atom Source # 
Instance details

Defined in Examples.Lang.Arith

Methods

pretty :: Atom -> Doc Source #

(Pretty Atom, Pretty Exp) => Pretty ExpPre Source # 
Instance details

Defined in Examples.Lang.Arith

Methods

pretty :: ExpPre -> Doc Source #

(Pretty ℤ, Pretty 𝔻, Pretty 𝕊) => Pretty Lit Source # 
Instance details

Defined in Examples.Lang.Arith

Methods

pretty :: Lit -> Doc Source #

(Pretty Lit, Pretty 𝕊) => Pretty Atom Source # 
Instance details

Defined in Examples.Lang.ArithBlocks

Methods

pretty :: Atom -> Doc Source #

(Pretty Atom, Pretty Exp, Pretty (𝐿 Exp)) => Pretty ExpPre Source # 
Instance details

Defined in Examples.Lang.ArithBlocks

Methods

pretty :: ExpPre -> Doc Source #

(Pretty ℤ, Pretty 𝔻, Pretty 𝕊) => Pretty Lit Source # 
Instance details

Defined in Examples.Lang.ArithBlocks

Methods

pretty :: Lit -> Doc Source #

(Pretty Lit, Pretty 𝕊) => Pretty Atom Source # 
Instance details

Defined in Examples.Lang.SExp

Methods

pretty :: Atom -> Doc Source #

(Pretty Atom, Pretty (𝐿 Exp)) => Pretty ExpPre Source # 
Instance details

Defined in Examples.Lang.SExp

Methods

pretty :: ExpPre -> Doc Source #

(Pretty ℤ, Pretty 𝔻, Pretty 𝕊) => Pretty Lit Source # 
Instance details

Defined in Examples.Lang.SExp

Methods

pretty :: Lit -> Doc Source #

Pretty Void Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: Void -> Doc Source #

Pretty ℂ Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℂ -> Doc Source #

Pretty ℕ Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℕ -> Doc Source #

Pretty ℕ16 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℕ16 -> Doc Source #

Pretty ℕ32 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℕ32 -> Doc Source #

Pretty ℕ64 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℕ64 -> Doc Source #

Pretty ℕ8 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℕ8 -> Doc Source #

Pretty ℚ Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℚ -> Doc Source #

Pretty ℚᴾ Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℚᴾ -> Doc Source #

Pretty ℝ Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℝ -> Doc Source #

Pretty ℝᴾ Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℝᴾ -> Doc Source #

Pretty ℤ Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℤ -> Doc Source #

Pretty ℤ16 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℤ16 -> Doc Source #

Pretty ℤ32 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℤ32 -> Doc Source #

Pretty ℤ64 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℤ64 -> Doc Source #

Pretty ℤ8 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ℤ8 -> Doc Source #

Pretty 𝔹 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝔹 -> Doc Source #

Pretty 𝔻 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝔻 -> Doc Source #

Pretty 𝔻ᴾ Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝔻ᴾ -> Doc Source #

Pretty 𝕊 Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝕊 -> Doc Source #

Pretty Time Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: Time -> Doc Source #

Pretty TimeD Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: TimeD -> Doc Source #

Pretty Frame Source # 
Instance details

Defined in UVMHS.Lib.Dataframe

Methods

pretty :: Frame -> Doc Source #

(Pretty 𝔹, Pretty ℕ64, Pretty ℤ64, Pretty 𝔻, Pretty 𝕊) => Pretty FrameVal Source # 
Instance details

Defined in UVMHS.Lib.Dataframe

Methods

pretty :: FrameVal -> Doc Source #

Pretty GError Source # 
Instance details

Defined in UVMHS.Lib.Errors

Methods

pretty :: GError -> Doc Source #

Pretty LogDepth Source # 
Instance details

Defined in UVMHS.Lib.Logging

Methods

pretty :: LogDepth -> Doc Source #

Pretty LogLevel Source # 
Instance details

Defined in UVMHS.Lib.Logging

Methods

pretty :: LogLevel -> Doc Source #

(Pretty 𝔹, Pretty Formats, Pretty (𝕊 ∧ 𝐼 𝕊), Pretty 𝕊) => Pretty ParserEnv Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

pretty :: ParserEnv -> Doc Source #

(Pretty (ℕ64 ∧ ℕ64), Pretty ℕ64) => Pretty Loc Source # 
Instance details

Defined in UVMHS.Lib.Parser.Loc

Methods

pretty :: Loc -> Doc Source #

Pretty (AddBT Loc) => Pretty LocRange Source # 
Instance details

Defined in UVMHS.Lib.Parser.Loc

Methods

pretty :: LocRange -> Doc Source #

(Pretty LocRange, Pretty (WindowL Doc Doc), Pretty (WindowR Doc Doc)) => Pretty ParserContext Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserContext

Methods

pretty :: ParserContext -> Doc Source #

Pretty SrcCxt Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserContext

Methods

pretty :: SrcCxt -> Doc Source #

(Pretty (𝑃 𝕊), Pretty (𝕊 ⇰ ParserErrorStackTraces)) => Pretty ParserErrorStackTraces Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserError

Methods

pretty :: ParserErrorStackTraces -> Doc Source #

Pretty CharClass Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: CharClass -> Doc Source #

(Pretty 𝕊, Pretty ℕ, Pretty ℤ, Pretty 𝔻, Pretty ℂ) => Pretty TokenBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: TokenBasic -> Doc Source #

Pretty TokenClassBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: TokenClassBasic -> Doc Source #

Pretty TokenClassWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: TokenClassWSBasic -> Doc Source #

(Pretty 𝕊, Pretty ℕ, Pretty ℤ, Pretty 𝔻) => Pretty TokenWSBasic Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: TokenWSBasic -> Doc Source #

(Pretty (𝑂 Color), Pretty (𝑂 𝔹)) => Pretty Formats Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DerivedInstances

Methods

pretty :: Formats -> Doc Source #

(Pretty Color3Bit, Pretty ℕ8) => Pretty Color Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DerivedInstances

Methods

pretty :: Color -> Doc Source #

Pretty Color3Bit Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DerivedInstances

Methods

pretty :: Color3Bit -> Doc Source #

Pretty Doc Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: Doc -> Doc Source #

Pretty Name Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Name

Methods

pretty :: Name -> Doc Source #

Pretty SGName Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Name

Methods

pretty :: SGName -> Doc Source #

Pretty SName Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Name

Methods

pretty :: SName -> Doc Source #

Pretty DVar Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Var

Methods

pretty :: DVar -> Doc Source #

Pretty DVarInf Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Var

Methods

pretty :: DVarInf -> Doc Source #

Pretty GVar Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Var

Methods

pretty :: GVar -> Doc Source #

Pretty NVar Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Var

Methods

pretty :: NVar -> Doc Source #

Pretty NVarInf Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Var

Methods

pretty :: NVarInf -> Doc Source #

(Pretty DVar, Pretty NVar) => Pretty SVar Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Var

Methods

pretty :: SVar -> Doc Source #

(Pretty DVar, Pretty NVar, Pretty GVar) => Pretty Var Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Var

Methods

pretty :: Var -> Doc Source #

(Pretty DVarInf, Pretty NVarInf, Pretty GVar) => Pretty VarInf Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Var

Methods

pretty :: VarInf -> Doc Source #

Pretty () Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: () -> Doc Source #

Pretty a => Pretty (𝐼 a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝐼 a -> Doc Source #

Pretty a => Pretty (𝐿 a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝐿 a -> Doc Source #

Pretty a => Pretty (𝑂 a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DerivedInstances

Methods

pretty :: 𝑂 a -> Doc Source #

Pretty a => Pretty (𝑃 a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝑃 a -> Doc Source #

Pretty a => Pretty (𝑄 a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝑄 a -> Doc Source #

Pretty a => Pretty (ID a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DerivedInstances

Methods

pretty :: ID a -> Doc Source #

Pretty a => Pretty (AddBT a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: AddBT a -> Doc Source #

Pretty a => Pretty (AddBot a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: AddBot a -> Doc Source #

Pretty a => Pretty (AddNull a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: AddNull a -> Doc Source #

Pretty a => Pretty (AddTop a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: AddTop a -> Doc Source #

Pretty a => Pretty (ZOM a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: ZOM a -> Doc Source #

Pretty a => Pretty (𝐼C a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝐼C a -> Doc Source #

(Storable a, Pretty a) => Pretty (𝕌 a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝕌 a -> Doc Source #

Pretty a => Pretty (𝕍 a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝕍 a -> Doc Source #

Show 𝒸 => Pretty (ULCExp 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Methods

pretty :: ULCExp 𝒸 -> Doc Source #

Show 𝒸 => Pretty (ULCExp_R 𝒸) Source # 
Instance details

Defined in UVMHS.Lang.ULC

Methods

pretty :: ULCExp_R 𝒸 -> Doc Source #

(Pretty a, Pretty (a -> a -> a)) => Pretty (ADB a) Source # 
Instance details

Defined in UVMHS.Lib.AD

Methods

pretty :: ADB a -> Doc Source #

Pretty a => Pretty (ADF a) Source # 
Instance details

Defined in UVMHS.Lib.AD

Methods

pretty :: ADF a -> Doc Source #

(Pretty (𝔹 ⇰ v), Pretty (ℕ64 ⇰ v), Pretty (ℤ64 ⇰ v), Pretty (𝔻 ⇰ v), Pretty (𝕊 ⇰ v)) => Pretty (FrameGrouping v) Source # 
Instance details

Defined in UVMHS.Lib.Dataframe

Methods

pretty :: FrameGrouping v -> Doc Source #

(Pretty (WindowR Doc Doc), Pretty ParserContext, Pretty (WindowL Doc Doc), Pretty (AddBT Loc), Pretty (𝑆 (ParserToken t))) => Pretty (ParserState t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

pretty :: ParserState t -> Doc Source #

(Pretty t, Pretty 𝔹, Pretty ParserContext, Pretty (WindowL Doc Doc)) => Pretty (ParserToken t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserInput

Methods

pretty :: ParserToken t -> Doc Source #

(Pretty t, Pretty 𝔹, Pretty ParserContext) => Pretty (PreParserToken t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserInput

Methods

pretty :: PreParserToken t -> Doc Source #

(Pretty (WindowR Doc Doc), Pretty ParserContext, Pretty (𝑆 (ParserToken t)), Pretty (𝐼C t)) => Pretty (LexDFAState t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: LexDFAState t -> Doc Source #

Pretty a => Pretty (𝑇A a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

pretty :: 𝑇A a -> Doc Source #

Pretty a => Pretty (𝑇D a) Source # 
Instance details

Defined in UVMHS.Lib.TreeNested

Methods

pretty :: 𝑇D a -> Doc Source #

Pretty a => Pretty [a] Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: [a] -> Doc Source #

(Pretty k, Pretty v) => Pretty (k ⇰ v) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: (k ⇰ v) -> Doc Source #

(Pretty a, Pretty b) => Pretty (a ∧ b) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: (a ∧ b) -> Doc Source #

(Pretty a, Pretty b) => Pretty (a ∨ b) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DerivedInstances

Methods

pretty :: (a ∨ b) -> Doc Source #

(Pretty e, Pretty a) => Pretty (𝐴 e a) Source # 
Instance details

Defined in UVMHS.Lib.Annotated

Methods

pretty :: 𝐴 e a -> Doc Source #

Pretty (𝑂 (RegexResult o u)) => Pretty (RegexInfo o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: RegexInfo o u -> Doc Source #

(Pretty ℕ64, Pretty Formats, Pretty (𝑂 o), Pretty u) => Pretty (RegexResult o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: RegexResult o u -> Doc Source #

(Pretty s, Pretty e) => Pretty (MetaSubst s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Subst

Methods

pretty :: MetaSubst s e -> Doc Source #

(Ord s, Pretty s, Pretty e) => Pretty (Subst s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.Subst

Methods

pretty :: Subst s e -> Doc Source #

(Pretty s, Pretty e) => Pretty (SSubstElem s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.SubstElem

Methods

pretty :: SSubstElem s e -> Doc Source #

(Pretty s, Pretty e) => Pretty (SubstElem s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.SubstElem

Methods

pretty :: SubstElem s e -> Doc Source #

(Pretty e, Pretty s) => Pretty (SubstScoped s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.SubstScoped

Methods

pretty :: SubstScoped s e -> Doc Source #

(Ord s, Pretty s, Pretty e) => Pretty (MVar s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.UVar

Methods

pretty :: MVar s e -> Doc Source #

(Pretty DVar, Pretty NVar, Pretty GVar, Pretty (MVar s e)) => Pretty (UVar s e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.UVar

Methods

pretty :: UVar s e -> Doc Source #

(Pretty a, Pretty 𝔹, Pretty i) => Pretty (WindowL i a) Source # 
Instance details

Defined in UVMHS.Lib.Window

Methods

pretty :: WindowL i a -> Doc Source #

(Pretty a, Pretty 𝔹, Pretty i) => Pretty (WindowR i a) Source # 
Instance details

Defined in UVMHS.Lib.Window

Methods

pretty :: WindowR i a -> Doc Source #

(Pretty a, Pretty b) => Pretty (a, b) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: (a, b) -> Doc Source #

Pretty a => Pretty (() -> a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: (() -> a) -> Doc Source #

(Storable a, Pretty a) => Pretty (𝕌S n a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝕌S n a -> Doc Source #

Pretty a => Pretty (𝕍S n a) Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Doc

Methods

pretty :: 𝕍S n a -> Doc Source #

(Pretty s₁, Pretty s₂, Pretty e) => Pretty (SubstSpaced s₁ s₂ e) Source # 
Instance details

Defined in UVMHS.Lib.Substitution.SubstSpaced

Methods

pretty :: SubstSpaced s₁ s₂ e -> Doc Source #

(Pretty (f (ns ⧺ ms) a), Pretty (f (ns ⧺ ms) a -> f (ns ⧺ ms) a -> f (ns ⧺ ms) a)) => Pretty (ADFB ns f ms a) Source # 
Instance details

Defined in UVMHS.Lib.AD

Methods

pretty :: ADFB ns f ms a -> Doc Source #

Pretty (f (ns ⧺ ms) a) => Pretty (ADFF ns f ms a) Source # 
Instance details

Defined in UVMHS.Lib.AD

Methods

pretty :: ADFF ns f ms a -> Doc Source #

(Pretty (𝑃 t), Pretty ℕ64, Pretty ((t ∨ c) ⇰ 𝕍 ℕ64), Pretty (𝕍 (𝑂 (RegexResult o u))), Pretty (𝕍 𝔹)) => Pretty (DFA c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: DFA c t o u -> Doc Source #

(Pretty (RegexResult o u), Pretty (RegexAtom c t o u), Pretty (𝑃 (Regex c t o u)), Pretty (𝐿 (Regex c t o u)), Pretty (Regex c t o u)) => Pretty (RegexU c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: RegexU c t o u -> Doc Source #

(Pretty t, Pretty (𝑃 t), Pretty c) => Pretty (RegexAtom c t o u) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Regex

Methods

pretty :: RegexAtom c t o u -> Doc Source #

class PrettyM (m :: Type -> Type) a | a -> m where Source #

Methods

mpretty :: a -> m Doc Source #

escape :: ℂ -> 𝐼 ℂ Source #

ppTupHS2 :: Doc -> Doc -> Doc Source #

ppTup :: Doc -> Doc -> Doc Source #

ppList :: ToIter Doc t => t -> Doc Source #

ppLazyList :: ToIter Doc t => t -> Doc Source #

ppIter :: ToIter Doc t => t -> Doc Source #

ppIterC :: ToIter Doc t => t -> Doc Source #

ppSeq :: ToIter Doc t => t -> Doc Source #

ppSet :: ToIter Doc t => t -> Doc Source #

ppDict :: ToIter (Doc ∧ Doc) t => t -> Doc Source #

ppVec :: ToIter Doc t => t -> Doc Source #

ppVecS :: ToIter Doc t => t -> Doc Source #

ppUVec :: ToIter Doc t => t -> Doc Source #

ppUVecS :: ToIter Doc t => t -> Doc Source #

ppAddNull :: AddNull Doc -> Doc Source #

ppAddBot :: AddBot Doc -> Doc Source #

ppAddTop :: AddTop Doc -> Doc Source #

ppAddBT :: AddBT Doc -> Doc Source #

ppZOM :: ZOM Doc -> Doc Source #

colorsDemo :: Doc Source #