Modulewl-pprint-annotated-0.1.0.2

Text.PrettyPrint.Annotated.WL

3 types
1 class
81 values

Packagewl-pprint-annotated-0.1.0.2
Exports87
LicenceBSD-3-Clause
SourceBase.hs

value(<##>) :: Doc a -> Doc a -> Doc a

value(<#>) :: Doc a -> Doc a -> Doc a

value(<+>) :: Doc a -> Doc a -> Doc a

value(<//>) :: Doc a -> Doc a -> Doc a

value(</>) :: Doc a -> Doc a -> Doc a

valuealign :: Doc a -> Doc a

valueangles :: Doc a -> Doc a

valueannotate :: a -> Doc a -> Doc a

valuebackslash :: Doc a

valuebraces :: Doc a -> Doc a

valuebrackets :: Doc a -> Doc a

valuecat :: Foldable f => f (Doc a) -> Doc a

valuechar :: Char -> Doc a

valuecolon :: Doc a

valuecolumn :: (Int -> Doc a) -> Doc a

valuecolumns :: (Maybe Int -> Doc a) -> Doc a

valuecomma :: Doc a

valuedisplay :: SimpleDoc a -> String

valuedisplayDecorated

:: Monoid o
=> a -> o
-> a -> o
-> String -> o
-> SimpleDoc a
-> o

valuedisplayDecoratedA

:: (Applicative f, Monoid o)
=> a -> f o
-> a -> f o
-> String -> f o
-> SimpleDoc a
-> f o

valuedisplayIO :: Handle -> SimpleDoc a -> IO ()

valuedisplayS :: SimpleDoc a -> ShowS

valuedisplaySpans :: Monoid o => (String -> o) -> SimpleDoc a -> (o, SpanList a)

valuedisplayT :: SimpleDoc a -> Text

valuedocMapAnn :: (a -> Doc a' -> Doc a') -> Doc a -> Doc a'

valuedot :: Doc a

valuedquote :: Doc a

valuedquotes :: Doc a -> Doc a

valueenclose :: Doc a -> Doc a -> Doc a -> Doc a

valueencloseSep :: Foldable f => Doc a -> Doc a -> Doc a -> f (Doc a) -> Doc a

valueequals :: Doc a

valuefill :: Int -> Doc a -> Doc a

valuefillBreak :: Int -> Doc a -> Doc a

valuefillCat :: Foldable f => f (Doc a) -> Doc a

valuefillSep :: Foldable f => f (Doc a) -> Doc a

valueflatAlt :: Doc a -> Doc a -> Doc a

valueflatten :: Doc a -> Doc a

valuegroup :: Doc a -> Doc a

valuehPutDoc :: Handle -> Doc a -> IO ()

valuehang :: Int -> Doc a -> Doc a

valuehardline :: Doc a

valuehcat :: Foldable f => f (Doc a) -> Doc a

valuehsep :: Foldable f => f (Doc a) -> Doc a

valueindent :: Int -> Doc a -> Doc a

valuelangle :: Doc a

valuelbrace :: Doc a

valuelbracket :: Doc a

valueline :: Doc a

valuelinebreak :: Doc a

valuelist :: Foldable f => f (Doc a) -> Doc a

valuelparen :: Doc a

valuenest :: Int -> Doc a -> Doc a

valuenesting :: (Int -> Doc a) -> Doc a

valuenoAnnotate :: Doc a -> Doc a'

valueparens :: Doc a -> Doc a

valuepunctuate :: Traversable f => Doc a -> f (Doc a) -> f (Doc a)

valueputDoc :: Doc a -> IO ()

valuerangle :: Doc a

valuerbrace :: Doc a

valuerbracket :: Doc a

valuerenderCompact :: Doc a -> SimpleDoc a

valuerenderPretty :: Float -> Int -> Doc a -> SimpleDoc a

valuerenderPrettyDefault :: Doc a -> SimpleDoc a

valuerenderSmart :: Int -> Doc a -> SimpleDoc a

valueribbon :: (Maybe Int -> Doc a) -> Doc a

valuerparen :: Doc a

valuesemi :: Doc a

valuesemiBraces :: Foldable f => f (Doc a) -> Doc a

valuesep :: Foldable f => f (Doc a) -> Doc a

valuesimpleDocMapAnn

:: r -> a -> r
-> r -> a -> r
-> r -> SimpleDoc a' -> SimpleDoc a'
-> r -> SimpleDoc a' -> SimpleDoc a'
-> r
-> SimpleDoc a
-> SimpleDoc a'

valuesimpleDocScanAnn :: (r -> a -> r) -> r -> SimpleDoc a -> SimpleDoc r

valuesoftbreak :: Doc a

valuesoftline :: Doc a

valuespace :: Doc a

valuesquote :: Doc a

valuesquotes :: Doc a -> Doc a

valuetext :: String -> Doc a

valuetupled :: Foldable f => f (Doc a) -> Doc a

valuevcat :: Foldable f => f (Doc a) -> Doc a

valuevsep :: Foldable f => f (Doc a) -> Doc a

valuewidth :: Doc a -> (Int -> Doc a) -> Doc a

methodmempty :: a

Identity of mappend

Examples

Example1 expression

>>> "Hello world" <> mempty"Hello world"

Example1 expression

>>> mempty <> [1, 2, 3][1,2,3]

method(<>) :: a -> a -> a

An associative operation.

Examples

Example1 expression

>>> [1,2,3] <> [4,5,6][1,2,3,4,5,6]

Example1 expression

>>> Just [1, 2, 3] <> Just [4, 5, 6]Just [1,2,3,4,5,6]

Example1 expression

>>> putStr "Hello, " <> putStrLn "World!"Hello, World!

datadata Doc a

Constructors

Empty
Char !Char
Text !Int String
Line
FlatAlt (Doc a) (Doc a)
Cat (Doc a) (Doc a)
Nest !Int (Doc a)
Union (Doc a) (Doc a)
Annotate a (Doc a)
Column (Int -> Doc a)
Nesting (Int -> Doc a)
Columns (Maybe Int -> Doc a)
Ribbon (Maybe Int -> Doc a)

Instances9Functor, Show, IsString, Generic, Semigroup, Monoid, …

Functor DocDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Show (Doc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
IsString (Doc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Generic (Doc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Semigroup (Doc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Monoid (Doc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
NFData a => NFData (Doc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty (Doc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
type Rep (Doc a) = D1 ('MetaData "Doc" "Text.PrettyPrint.Annotated.WL" "wl-pprint-annotated-0.1.0.2-IqeUNKqbPYUDwQ9Iab60l0" 'False) (((C1 ('MetaCons "Empty" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Char" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Char)) :+: C1 ('MetaCons "Text" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: (C1 ('MetaCons "Line" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "FlatAlt" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc a)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc a))) :+: C1 ('MetaCons "Cat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc a)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc a)))))) :+: ((C1 ('MetaCons "Nest" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc a))) :+: (C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc a)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc a))) :+: C1 ('MetaCons "Annotate" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc a))))) :+: ((C1 ('MetaCons "Column" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int -> Doc a))) :+: C1 ('MetaCons "Nesting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int -> Doc a)))) :+: (C1 ('MetaCons "Columns" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int -> Doc a))) :+: C1 ('MetaCons "Ribbon" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int -> Doc a)))))))Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL

classclass Pretty a where

Methods

pretty :: a -> Doc b
prettyList :: [a] -> Doc b

Instances27Pretty, …

Pretty IntegerDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty NaturalDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty Int16Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty Int32Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty Int64Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty Int8Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty RationalDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty BoolDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty CharDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty DoubleDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty FloatDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty IntDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty WordDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty Word16Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty Word32Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty Word64Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty Word8Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty TextDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty TextDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty ()Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty (Doc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty a => Pretty (Seq a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty a => Pretty (NonEmpty a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty a => Pretty (Maybe a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Pretty a => Pretty [a]Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
(Pretty a, Pretty b) => Pretty (a, b)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
(Pretty a, Pretty b, Pretty c) => Pretty (a, b, c)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL

datadata SimpleDoc a

Constructors

SEmpty
SChar !Char (SimpleDoc a)
SText !Int String (SimpleDoc a)
SLine !Int (SimpleDoc a)
SPushAnn a (SimpleDoc a)
SPopAnn a (SimpleDoc a)

Instances6Functor, Foldable, Traversable, Generic, NFData, Rep

Functor SimpleDocDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Foldable SimpleDocDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Traversable SimpleDocDefined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
Generic (SimpleDoc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
NFData a => NFData (SimpleDoc a)Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL
type Rep (SimpleDoc a) = D1 ('MetaData "SimpleDoc" "Text.PrettyPrint.Annotated.WL" "wl-pprint-annotated-0.1.0.2-IqeUNKqbPYUDwQ9Iab60l0" 'False) ((C1 ('MetaCons "SEmpty" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "SChar" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Char) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleDoc a))) :+: C1 ('MetaCons "SText" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleDoc a)))))) :+: (C1 ('MetaCons "SLine" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleDoc a))) :+: (C1 ('MetaCons "SPushAnn" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleDoc a))) :+: C1 ('MetaCons "SPopAnn" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleDoc a))))))Defined in wl-pprint-annotated-0.1.0.2 · Text.PrettyPrint.Annotated.WL

typetype SpanList a = [(Int, Int, a)]