Safe Haskell | None |
---|
Language.HERMIT.PrettyPrinter.Common
- type DocH = MDoc HermitMark
- data Attr
- attrP :: PathH -> DocH -> DocH
- coText :: String -> DocH
- tyText :: String -> DocH
- coercionColor :: DocH -> DocH
- idColor :: DocH -> DocH
- keywordColor :: DocH -> DocH
- markColor :: SyntaxForColor -> DocH -> DocH
- typeColor :: DocH -> DocH
- data ShowOption
- specialFont :: DocH -> DocH
- data SpecialSymbol
- data SyntaxForColor
- = KeywordColor
- | SyntaxColor
- | IdColor
- | CoercionColor
- | TypeColor
- | LitColor
- | WarningColor
- coreRenders :: [(String, Handle -> PrettyOptions -> DocH -> IO ())]
- renderCode :: RenderCode a => PrettyOptions -> DocH -> a
- class (RenderSpecial a, Monoid a) => RenderCode a where
- class RenderSpecial a where
- renderSpecial :: SpecialSymbol -> a
- newtype Unicode = Unicode Char
- type PrettyH a = Translate PrettyC HermitM a DocH
- liftPrettyH :: (ReadBindings c, ReadPath c Crumb) => PrettyH a -> Translate c HermitM a DocH
- data PrettyC
- initPrettyC :: PrettyC
- liftPrettyC :: (ReadBindings c, ReadPath c Crumb) => c -> PrettyC
- newtype TranslateDocH a = TranslateDocH {
- unTranslateDocH :: PrettyH a -> TranslateH a DocH
- data TranslateCoreTCDocHBox = TranslateCoreTCDocHBox (TranslateDocH CoreTC)
- data PrettyOptions = PrettyOptions {}
- updateTypeShowOption :: ShowOption -> PrettyOptions -> PrettyOptions
- updateCoShowOption :: ShowOption -> PrettyOptions -> PrettyOptions
- hlist :: [MDoc a] -> MDoc a
- vlist :: [MDoc a] -> MDoc a
Documents
Colors
coercionColor :: DocH -> DocHSource
keywordColor :: DocH -> DocHSource
markColor :: SyntaxForColor -> DocH -> DocHSource
data ShowOption Source
Instances
specialFont :: DocH -> DocHSource
data SpecialSymbol Source
data SyntaxForColor Source
Constructors
KeywordColor | |
SyntaxColor | |
IdColor | |
CoercionColor | |
TypeColor | |
LitColor | |
WarningColor |
Instances
Renderers
coreRenders :: [(String, Handle -> PrettyOptions -> DocH -> IO ())]Source
renderCode :: RenderCode a => PrettyOptions -> DocH -> aSource
class (RenderSpecial a, Monoid a) => RenderCode a whereSource
Pretty Printer Traversals
liftPrettyH :: (ReadBindings c, ReadPath c Crumb) => PrettyH a -> Translate c HermitM a DocHSource
Context for PrettyH translations.
liftPrettyC :: (ReadBindings c, ReadPath c Crumb) => c -> PrettyCSource
newtype TranslateDocH a Source
Constructors
TranslateDocH | |
Fields
|
Instances
data TranslateCoreTCDocHBox Source
Constructors
TranslateCoreTCDocHBox (TranslateDocH CoreTC) |
Instances
Pretty Printer Options
data PrettyOptions Source
Constructors
PrettyOptions | |
Fields
|
Instances