maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Safe HaskellNone
LanguageHaskell2010

FP.Pretty.Pretty

Documentation

data Format Source

Constructors

FG Color 
BG Color 
UL 
BD 

Instances

data Layout Source

Constructors

Flat 
Break 

Instances

data FailureMode Source

Constructors

CanFail 
CantFail 

Instances

data PrettyParams Source

Constructors

PrettyParams 

Fields

punctuationFormat :: [Format]
 
keywordPunctuationFormat :: [Format]
 
keywordFormat :: [Format]
 
constructorFormat :: [Format]
 
operatorFormat :: [Format]
 
binderFormat :: [Format]
 
literalFormat :: [Format]
 
highlightFormat :: [Format]
 
headerFormat :: [Format]
 
errorFormat :: [Format]
 
appLevel :: ℕ
 

appLevelL :: Lens PrettyParams ℕ Source

errorFormatL :: Lens PrettyParams [Format] Source

headerFormatL :: Lens PrettyParams [Format] Source

highlightFormatL :: Lens PrettyParams [Format] Source

literalFormatL :: Lens PrettyParams [Format] Source

binderFormatL :: Lens PrettyParams [Format] Source

operatorFormatL :: Lens PrettyParams [Format] Source

constructorFormatL :: Lens PrettyParams [Format] Source

keywordFormatL :: Lens PrettyParams [Format] Source

keywordPunctuationFormatL :: Lens PrettyParams [Format] Source

punctuationFormatL :: Lens PrettyParams [Format] Source

prettyParams₀ :: PrettyParams Source

data PrettyEnv Source

Constructors

PrettyEnv 

Fields

prettyParams :: PrettyParams
 
maxColumnWidth :: ℕ
 
maxRibbonWidth :: ℕ
 
layout :: Layout
 
failureMode :: FailureMode
 
nesting :: ℕ
 
level :: ℕ
 
bumped :: 𝔹
 
undertagMode :: Maybe (ℂ, Color)
 
doOutput :: 𝔹
 
doFormat :: 𝔹
 
doLineNumbers :: 𝔹
 
lineNumberDisplayWidth :: ℕ
 
formats :: [Format]
 
blinders :: Maybe (ℕ, ℕ)
 

Instances

blindersL :: Lens PrettyEnv (Maybe (ℕ, ℕ)) Source

formatsL :: Lens PrettyEnv [Format] Source

lineNumberDisplayWidthL :: Lens PrettyEnv ℕ Source

doLineNumbersL :: Lens PrettyEnv 𝔹 Source

doFormatL :: Lens PrettyEnv 𝔹 Source

doOutputL :: Lens PrettyEnv 𝔹 Source

undertagModeL :: Lens PrettyEnv (Maybe (ℂ, Color)) Source

bumpedL :: Lens PrettyEnv 𝔹 Source

levelL :: Lens PrettyEnv ℕ Source

nestingL :: Lens PrettyEnv ℕ Source

failureModeL :: Lens PrettyEnv FailureMode Source

layoutL :: Lens PrettyEnv Layout Source

maxRibbonWidthL :: Lens PrettyEnv ℕ Source

maxColumnWidthL :: Lens PrettyEnv ℕ Source

prettyParamsL :: Lens PrettyEnv PrettyParams Source

prettyEnv₀ :: PrettyEnv Source

data Chunk Source

Constructors

Text 𝕊 
Newline 

Instances

data PrettyOut Source

Constructors

ChunkOut Chunk 
FormatOut [Format] PrettyOut 
NullOut 
AppendOut PrettyOut PrettyOut 

Instances

data PrettyState Source

Constructors

PrettyState 

Fields

column :: ℕ
 
ribbon :: ℕ
 
beginningOfLine :: 𝔹
 
lineNumber :: ℕ
 
undertags :: [(ℕ, ℕ, ℂ, Color)]
 

Instances

undertagsL :: Lens PrettyState [(ℕ, ℕ, ℂ, Color)] Source

lineNumberL :: Lens PrettyState ℕ Source

beginningOfLineL :: Lens PrettyState 𝔹 Source

ribbonL :: Lens PrettyState ℕ Source

columnL :: Lens PrettyState ℕ Source

prettyState₀ :: PrettyState Source

newtype PrettyM a Source

Constructors

PrettyM 

Fields

runPrettyM :: RWST PrettyEnv PrettyOut PrettyState Maybe a
 

Instances

runPrettyMWith :: PrettyEnv -> PrettyState -> PrettyM a -> Maybe (a, PrettyOut, PrettyState) Source

execOutPrettyMWith :: PrettyEnv -> PrettyState -> PrettyM a -> Maybe PrettyOut Source

newtype Doc Source

Constructors

Doc 

Fields

runDoc :: PrettyM ()
 

Instances

renderDoc :: Doc -> PrettyOut Source

class Pretty a where Source

Methods

pretty :: a -> Doc Source

Instances

Pretty ℕ => Pretty Loc Source 
Pretty Loc => Pretty LocRange Source 
(Pretty (𝒫 𝕊), Pretty ((⇰) 𝕊 SourceErrorTrace)) => Pretty SourceErrorTrace Source 
(Pretty Doc, Pretty SourceErrorTrace) => Pretty SourceErrorInfo Source 
Pretty Op Source 
Pretty SourceExp Source 
Pretty Exp Source 
Pretty Name Source 
Pretty [Exp] => Pretty Moment Source 
Pretty Moment => Pretty Time Source 
(Pretty Name, Pretty Time) => Pretty VarAddr Source 
(Pretty Exp, Pretty Time) => Pretty ExpAddr Source 
(Pretty Exp, Pretty Name, Pretty Env, Pretty Moment) => Pretty Closure Source 
(Pretty ℤ, Pretty VarAddr, Pretty Closure, Pretty Op, Pretty AtomVal) => Pretty AtomVal Source 
(Pretty Exp, Pretty Env, Pretty Moment, Pretty Name, Pretty Op, Pretty AtomVal) => Pretty Frame Source 
(Pretty ℤ, Pretty Closure, Pretty (Frame, Maybe ExpAddr)) => Pretty ConcreteVal Source 
(Pretty ℤ, Pretty Closure, Pretty (Frame, Maybe ExpAddr)) => Pretty AbstractVal Source 
Pretty n => Functorial * Pretty (PreExp n) Source 
(Pretty t0, Pretty LocRange, Pretty Doc) => Pretty (SourceToken t) Source 
(Pretty (Stream (SourceToken t0)), Pretty Loc) => Pretty (SourceInput t) Source 
(Pretty (SourceInput t0), Pretty ((⇰) (AddBot LocRange, Doc) SourceErrorInfo)) => Pretty (SourceError t) Source 
Pretty t => Pretty (SourceErrorMaybe t) Source 
Pretty (SourceContext t) Source 
(Pretty 𝔹, Pretty (SourceErrorMaybe t0)) => Pretty (ParserOut t) Source 
(Pretty (SourceInput t0), Pretty (SourceContextPrefix * t0)) => Pretty (ParserState t) Source 
(Pretty Env, Pretty (Maybe ExpAddr), Pretty Time, Pretty (Store val0), Pretty (KStore val0)) => Pretty (LamIfState val) Source 
(Pretty (Store val0), Pretty (KStore val0)) => Pretty (LamIfStores val) Source 
Pretty (SourceContextPrefix k t) Source 
(Pretty [Format], Pretty ([𝕊], 𝕊), Pretty ℕ, Pretty 𝔹) => Pretty (ParserEnv k t) Source 
Pretty (ς0 (𝒫ᵇ a0)) => Pretty (NondetJoinΠ ς a) Source 
(Pretty ℤ, Pretty n0, Pretty e0) => Pretty (PreAtom n e) Source 
(Pretty (PreAtom n0 e0), Pretty e0, Pretty n0, Pretty Op) => Pretty (PreExp n e) Source 
(Pretty Env, Pretty (Maybe ExpAddr), Pretty Time) => Pretty (LamIfContext k val) Source 
(Pretty val, Pretty a) => Pretty (PathSensitiveΣ val a) Source 
(Pretty val, Pretty a) => Pretty (FlowInsensitiveΣ val a) Source 
(Pretty val, Pretty a) => Pretty (FlowSensitiveΣ val a) Source 
Pretty (ς0 (a0, s0)) => Pretty (StateΠ s ς a) Source 
Pretty (ς0 (a0, s0)) => Pretty (PolyStateΠ s ς a) Source 
Pretty (ς0 ((⇰♭⊔) a0 s0)) => Pretty (FlowJoinΠ s ς a) Source 

shouldOutputM :: PrettyM 𝔹 Source

shouldOutputNewlineM :: PrettyM 𝔹 Source

ppllSpit :: 𝕊 -> PrettyM () Source

ppllFormat :: [Format] -> PrettyM () -> PrettyM () Source

ppllNoFormat :: PrettyM () -> PrettyM () Source

ppllClearFormat :: PrettyM () -> PrettyM () Source

ppllNewline :: PrettyM () Source

ppllString :: 𝕊 -> PrettyM () Source

ppllUndertags :: PrettyM () Source

ppllLineBreak :: PrettyM () Source

ppllText :: 𝕊 -> PrettyM () Source

ppFinal :: Doc -> Doc Source

ppText :: 𝕊 -> Doc Source

ppFormat :: [Format] -> Doc -> Doc Source

ppSpace :: ℕ -> Doc Source

ppNewline :: Doc Source

ppIfFlat :: Doc -> Doc -> Doc Source

ppFlat :: Doc -> Doc Source

ppCanFail :: Doc -> Doc Source

ppGroup :: Doc -> Doc Source

ppNest :: ℕ -> Doc -> Doc Source

ppAlign :: Doc -> Doc Source

ppLength :: Doc -> ℕ Source

paramFormat :: Lens PrettyParams [Format] -> 𝕊 -> Doc Source

ppNoFormat :: Doc -> Doc Source

ppLineNumbers :: Doc -> Doc Source

ppBlinders :: ℕ -> ℕ -> Doc -> Doc Source

ppSetLineNumber :: ℕ -> Doc -> Doc Source

ppFG :: Color -> Doc -> Doc Source

ppBG :: Color -> Doc -> Doc Source

ppUL :: Doc -> Doc Source

ppBD :: Doc -> Doc Source

ppPun :: 𝕊 -> Doc Source

ppKeyPun :: 𝕊 -> Doc Source

ppKey :: 𝕊 -> Doc Source

ppCon :: 𝕊 -> Doc Source

ppOp :: 𝕊 -> Doc Source

ppBdr :: 𝕊 -> Doc Source

ppLit :: 𝕊 -> Doc Source

ppHl :: 𝕊 -> Doc Source

ppHeader :: 𝕊 -> Doc Source

ppErr :: 𝕊 -> Doc Source

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

ppAlignLeft :: ℕ -> Doc -> Doc Source

ppAlignRight :: ℕ -> Doc -> Doc Source

ppHorizontal :: [Doc] -> Doc Source

ppVertical :: [Doc] -> Doc Source

ppBreak :: Doc Source

ppSeparated :: [Doc] -> Doc Source

ppBotLevel :: Doc -> Doc Source

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

ppParens :: Doc -> Doc Source

ppAtLevel :: ℕ -> Doc -> Doc Source

ppBump :: Doc -> Doc Source

ppInf :: ℕ -> Doc -> Doc -> Doc -> Doc Source

ppInfl :: ℕ -> Doc -> Doc -> Doc -> Doc Source

ppInfr :: ℕ -> Doc -> Doc -> Doc -> Doc Source

ppPre :: ℕ -> Doc -> Doc -> Doc Source

ppPost :: ℕ -> Doc -> Doc -> Doc Source

ppApp :: Doc -> [Doc] -> Doc Source

ppCollectionAtLevel :: ℕ -> 𝕊 -> 𝕊 -> 𝕊 -> [Doc] -> Doc Source

ppCollection :: 𝕊 -> 𝕊 -> 𝕊 -> [Doc] -> Doc Source

ppRecord :: 𝕊 -> [(Doc, Doc)] -> Doc Source

renderChunk :: Chunk -> 𝕊 Source

renderNoFormat :: PrettyOut -> 𝕊 Source

ppString :: Pretty a => a -> 𝕊 Source