Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- spliced :: Doc ann -> Doc ann -> Doc ann
- metavarPretty :: (Doc AnsiStyle -> Doc AnsiStyle) -> MetaVarIK ki ix -> Doc AnsiStyle
- myred :: AnsiStyle
- mygreen :: AnsiStyle
- mydullred :: AnsiStyle
- mydullgreen :: AnsiStyle
- showRawPatch :: (HasDatatypeInfo ki fam codes, RendererHO ki) => Holes ki codes (CChange ki codes) v -> [String]
- showPatchC :: (HasDatatypeInfo ki fam codes, RendererHO ki) => Holes ki codes (Sum (Conflict ki codes) (CChange ki codes)) at -> [String]
- displayPatchC :: (HasDatatypeInfo ki fam codes, RendererHO ki) => Handle -> Holes ki codes (Sum (Conflict ki codes) (CChange ki codes)) at -> IO ()
- displayRawPatch :: (HasDatatypeInfo ki fam codes, RendererHO ki) => Handle -> Holes ki codes (CChange ki codes) at -> IO ()
- doubleColumn :: Int -> Doc AnsiStyle -> Doc AnsiStyle -> [String]
Documentation
spliced :: Doc ann -> Doc ann -> Doc ann Source #
Given a label and a doc, spliced l d = "[" ++ l ++ "|" ++ d ++ "|]"
showRawPatch :: (HasDatatypeInfo ki fam codes, RendererHO ki) => Holes ki codes (CChange ki codes) v -> [String] Source #
Pretty prints a patch on the terminal
showPatchC :: (HasDatatypeInfo ki fam codes, RendererHO ki) => Holes ki codes (Sum (Conflict ki codes) (CChange ki codes)) at -> [String] Source #
displayPatchC :: (HasDatatypeInfo ki fam codes, RendererHO ki) => Handle -> Holes ki codes (Sum (Conflict ki codes) (CChange ki codes)) at -> IO () Source #
Outputs the result of showPatchC
to the specified handle
displayRawPatch :: (HasDatatypeInfo ki fam codes, RendererHO ki) => Handle -> Holes ki codes (CChange ki codes) at -> IO () Source #
Outputs the result of showRawPatch
to the specified handle
doubleColumn :: Int -> Doc AnsiStyle -> Doc AnsiStyle -> [String] Source #
Displays two docs in a double column fashion
This is a hacky function. We need to render both the colored
and the non-colored versions to calculate
the width spacing correctly (see complete
in the where clause)
Orphan instances
(HasDatatypeInfo ki fam codes, RendererHO ki, ShowHO phi) => Show (Delta (Holes ki codes phi) at) Source # | |
(HasDatatypeInfo ki fam codes, RendererHO ki) => Show (CChange ki codes at) Source # | |
(HasDatatypeInfo ki fam codes, RendererHO ki) => Show (Holes ki codes (Sum (Conflict ki codes) (CChange ki codes)) at) Source # | |
(HasDatatypeInfo ki fam codes, RendererHO ki) => Show (Holes ki codes (CChange ki codes) at) Source # | |