Language.Symantic.Document.Sym

Class Doc_Text

class (IsString d, Semigroup d) => Doc_Text d where

Methods

charH :: Char -> d

stringH :: String -> d

textH :: Text -> d

ltextH :: Text -> d

replicate :: Int -> d -> d

integer :: Integer -> d

charH :: Doc_Text (ReprOf d) => Trans d => Char -> d

stringH :: Doc_Text (ReprOf d) => Trans d => String -> d

textH :: Doc_Text (ReprOf d) => Trans d => Text -> d

ltextH :: Doc_Text (ReprOf d) => Trans d => Text -> d

replicate :: Doc_Text (ReprOf d) => Trans d => Int -> d -> d

integer :: Doc_Text (ReprOf d) => Trans d => Integer -> d

empty :: d

eol :: d

space :: d

spaces :: Int -> d

int :: Int -> d

char :: Char -> d

string :: String -> d

text :: Text -> d

ltext :: Text -> d

catH :: Foldable f => f d -> d

catV :: Foldable f => f d -> d

paren :: d -> d

brace :: d -> d

bracket :: d -> d

bquote :: d -> d

dquote :: d -> d

fquote :: d -> d

squote :: d -> d

Instances

Doc_Text PlainIO

Methods

charH :: Char -> PlainIO

stringH :: String -> PlainIO

textH :: Text -> PlainIO

ltextH :: Text -> PlainIO

replicate :: Int -> PlainIO -> PlainIO

integer :: Integer -> PlainIO

empty :: PlainIO

eol :: PlainIO

space :: PlainIO

spaces :: Int -> PlainIO

int :: Int -> PlainIO

char :: Char -> PlainIO

string :: String -> PlainIO

text :: Text -> PlainIO

ltext :: Text -> PlainIO

catH :: Foldable f => f PlainIO -> PlainIO

catV :: Foldable f => f PlainIO -> PlainIO

paren :: PlainIO -> PlainIO

brace :: PlainIO -> PlainIO

bracket :: PlainIO -> PlainIO

bquote :: PlainIO -> PlainIO

dquote :: PlainIO -> PlainIO

fquote :: PlainIO -> PlainIO

squote :: PlainIO -> PlainIO

Doc_Text Plain

Methods

charH :: Char -> Plain

stringH :: String -> Plain

textH :: Text -> Plain

ltextH :: Text -> Plain

replicate :: Int -> Plain -> Plain

integer :: Integer -> Plain

empty :: Plain

eol :: Plain

space :: Plain

spaces :: Int -> Plain

int :: Int -> Plain

char :: Char -> Plain

string :: String -> Plain

text :: Text -> Plain

ltext :: Text -> Plain

catH :: Foldable f => f Plain -> Plain

catV :: Foldable f => f Plain -> Plain

paren :: Plain -> Plain

brace :: Plain -> Plain

bracket :: Plain -> Plain

bquote :: Plain -> Plain

dquote :: Plain -> Plain

fquote :: Plain -> Plain

squote :: Plain -> Plain

Doc_Text Dim

Methods

charH :: Char -> Dim

stringH :: String -> Dim

textH :: Text -> Dim

ltextH :: Text -> Dim

replicate :: Int -> Dim -> Dim

integer :: Integer -> Dim

empty :: Dim

eol :: Dim

space :: Dim

spaces :: Int -> Dim

int :: Int -> Dim

char :: Char -> Dim

string :: String -> Dim

text :: Text -> Dim

ltext :: Text -> Dim

catH :: Foldable f => f Dim -> Dim

catV :: Foldable f => f Dim -> Dim

paren :: Dim -> Dim

brace :: Dim -> Dim

bracket :: Dim -> Dim

bquote :: Dim -> Dim

dquote :: Dim -> Dim

fquote :: Dim -> Dim

squote :: Dim -> Dim

Doc_Text ANSI_IO

Methods

charH :: Char -> ANSI_IO

stringH :: String -> ANSI_IO

textH :: Text -> ANSI_IO

ltextH :: Text -> ANSI_IO

replicate :: Int -> ANSI_IO -> ANSI_IO

integer :: Integer -> ANSI_IO

empty :: ANSI_IO

eol :: ANSI_IO

space :: ANSI_IO

spaces :: Int -> ANSI_IO

int :: Int -> ANSI_IO

char :: Char -> ANSI_IO

string :: String -> ANSI_IO

text :: Text -> ANSI_IO

ltext :: Text -> ANSI_IO

catH :: Foldable f => f ANSI_IO -> ANSI_IO

catV :: Foldable f => f ANSI_IO -> ANSI_IO

paren :: ANSI_IO -> ANSI_IO

brace :: ANSI_IO -> ANSI_IO

bracket :: ANSI_IO -> ANSI_IO

bquote :: ANSI_IO -> ANSI_IO

dquote :: ANSI_IO -> ANSI_IO

fquote :: ANSI_IO -> ANSI_IO

squote :: ANSI_IO -> ANSI_IO

Doc_Text ANSI

Methods

charH :: Char -> ANSI

stringH :: String -> ANSI

textH :: Text -> ANSI

ltextH :: Text -> ANSI

replicate :: Int -> ANSI -> ANSI

integer :: Integer -> ANSI

empty :: ANSI

eol :: ANSI

space :: ANSI

spaces :: Int -> ANSI

int :: Int -> ANSI

char :: Char -> ANSI

string :: String -> ANSI

text :: Text -> ANSI

ltext :: Text -> ANSI

catH :: Foldable f => f ANSI -> ANSI

catV :: Foldable f => f ANSI -> ANSI

paren :: ANSI -> ANSI

brace :: ANSI -> ANSI

bracket :: ANSI -> ANSI

bquote :: ANSI -> ANSI

dquote :: ANSI -> ANSI

fquote :: ANSI -> ANSI

squote :: ANSI -> ANSI

(Doc_Text repr, Semigroup repr) => Doc_Text (Valid repr)

Methods

charH :: Char -> Valid repr

stringH :: String -> Valid repr

textH :: Text -> Valid repr

ltextH :: Text -> Valid repr

replicate :: Int -> Valid repr -> Valid repr

integer :: Integer -> Valid repr

empty :: Valid repr

eol :: Valid repr

space :: Valid repr

spaces :: Int -> Valid repr

int :: Int -> Valid repr

char :: Char -> Valid repr

string :: String -> Valid repr

text :: Text -> Valid repr

ltext :: Text -> Valid repr

catH :: Foldable f => f (Valid repr) -> Valid repr

catV :: Foldable f => f (Valid repr) -> Valid repr

paren :: Valid repr -> Valid repr

brace :: Valid repr -> Valid repr

bracket :: Valid repr -> Valid repr

bquote :: Valid repr -> Valid repr

dquote :: Valid repr -> Valid repr

fquote :: Valid repr -> Valid repr

squote :: Valid repr -> Valid repr

Class Doc_Color

class Doc_Color d where

Methods

reverse :: d -> d

black :: d -> d

red :: d -> d

green :: d -> d

yellow :: d -> d

blue :: d -> d

magenta :: d -> d

cyan :: d -> d

white :: d -> d

blacker :: d -> d

redder :: d -> d

greener :: d -> d

yellower :: d -> d

bluer :: d -> d

magentaer :: d -> d

cyaner :: d -> d

whiter :: d -> d

onBlack :: d -> d

onRed :: d -> d

onGreen :: d -> d

onYellow :: d -> d

onBlue :: d -> d

onMagenta :: d -> d

onCyan :: d -> d

onWhite :: d -> d

onBlacker :: d -> d

onRedder :: d -> d

onGreener :: d -> d

onYellower :: d -> d

onBluer :: d -> d

onMagentaer :: d -> d

onCyaner :: d -> d

onWhiter :: d -> d

reverse :: Doc_Color (ReprOf d) => Trans d => d -> d

black :: Doc_Color (ReprOf d) => Trans d => d -> d

red :: Doc_Color (ReprOf d) => Trans d => d -> d

green :: Doc_Color (ReprOf d) => Trans d => d -> d

yellow :: Doc_Color (ReprOf d) => Trans d => d -> d

blue :: Doc_Color (ReprOf d) => Trans d => d -> d

magenta :: Doc_Color (ReprOf d) => Trans d => d -> d

cyan :: Doc_Color (ReprOf d) => Trans d => d -> d

white :: Doc_Color (ReprOf d) => Trans d => d -> d

blacker :: Doc_Color (ReprOf d) => Trans d => d -> d

redder :: Doc_Color (ReprOf d) => Trans d => d -> d

greener :: Doc_Color (ReprOf d) => Trans d => d -> d

yellower :: Doc_Color (ReprOf d) => Trans d => d -> d

bluer :: Doc_Color (ReprOf d) => Trans d => d -> d

magentaer :: Doc_Color (ReprOf d) => Trans d => d -> d

cyaner :: Doc_Color (ReprOf d) => Trans d => d -> d

whiter :: Doc_Color (ReprOf d) => Trans d => d -> d

onBlack :: Doc_Color (ReprOf d) => Trans d => d -> d

onRed :: Doc_Color (ReprOf d) => Trans d => d -> d

onGreen :: Doc_Color (ReprOf d) => Trans d => d -> d

onYellow :: Doc_Color (ReprOf d) => Trans d => d -> d

onBlue :: Doc_Color (ReprOf d) => Trans d => d -> d

onMagenta :: Doc_Color (ReprOf d) => Trans d => d -> d

onCyan :: Doc_Color (ReprOf d) => Trans d => d -> d

onWhite :: Doc_Color (ReprOf d) => Trans d => d -> d

onBlacker :: Doc_Color (ReprOf d) => Trans d => d -> d

onRedder :: Doc_Color (ReprOf d) => Trans d => d -> d

onGreener :: Doc_Color (ReprOf d) => Trans d => d -> d

onYellower :: Doc_Color (ReprOf d) => Trans d => d -> d

onBluer :: Doc_Color (ReprOf d) => Trans d => d -> d

onMagentaer :: Doc_Color (ReprOf d) => Trans d => d -> d

onCyaner :: Doc_Color (ReprOf d) => Trans d => d -> d

onWhiter :: Doc_Color (ReprOf d) => Trans d => d -> d

Instances

Doc_Color PlainIO

Methods

reverse :: PlainIO -> PlainIO

black :: PlainIO -> PlainIO

red :: PlainIO -> PlainIO

green :: PlainIO -> PlainIO

yellow :: PlainIO -> PlainIO

blue :: PlainIO -> PlainIO

magenta :: PlainIO -> PlainIO

cyan :: PlainIO -> PlainIO

white :: PlainIO -> PlainIO

blacker :: PlainIO -> PlainIO

redder :: PlainIO -> PlainIO

greener :: PlainIO -> PlainIO

yellower :: PlainIO -> PlainIO

bluer :: PlainIO -> PlainIO

magentaer :: PlainIO -> PlainIO

cyaner :: PlainIO -> PlainIO

whiter :: PlainIO -> PlainIO

onBlack :: PlainIO -> PlainIO

onRed :: PlainIO -> PlainIO

onGreen :: PlainIO -> PlainIO

onYellow :: PlainIO -> PlainIO

onBlue :: PlainIO -> PlainIO

onMagenta :: PlainIO -> PlainIO

onCyan :: PlainIO -> PlainIO

onWhite :: PlainIO -> PlainIO

onBlacker :: PlainIO -> PlainIO

onRedder :: PlainIO -> PlainIO

onGreener :: PlainIO -> PlainIO

onYellower :: PlainIO -> PlainIO

onBluer :: PlainIO -> PlainIO

onMagentaer :: PlainIO -> PlainIO

onCyaner :: PlainIO -> PlainIO

onWhiter :: PlainIO -> PlainIO

Doc_Color Plain

Methods

reverse :: Plain -> Plain

black :: Plain -> Plain

red :: Plain -> Plain

green :: Plain -> Plain

yellow :: Plain -> Plain

blue :: Plain -> Plain

magenta :: Plain -> Plain

cyan :: Plain -> Plain

white :: Plain -> Plain

blacker :: Plain -> Plain

redder :: Plain -> Plain

greener :: Plain -> Plain

yellower :: Plain -> Plain

bluer :: Plain -> Plain

magentaer :: Plain -> Plain

cyaner :: Plain -> Plain

whiter :: Plain -> Plain

onBlack :: Plain -> Plain

onRed :: Plain -> Plain

onGreen :: Plain -> Plain

onYellow :: Plain -> Plain

onBlue :: Plain -> Plain

onMagenta :: Plain -> Plain

onCyan :: Plain -> Plain

onWhite :: Plain -> Plain

onBlacker :: Plain -> Plain

onRedder :: Plain -> Plain

onGreener :: Plain -> Plain

onYellower :: Plain -> Plain

onBluer :: Plain -> Plain

onMagentaer :: Plain -> Plain

onCyaner :: Plain -> Plain

onWhiter :: Plain -> Plain

Doc_Color Dim

Methods

reverse :: Dim -> Dim

black :: Dim -> Dim

red :: Dim -> Dim

green :: Dim -> Dim

yellow :: Dim -> Dim

blue :: Dim -> Dim

magenta :: Dim -> Dim

cyan :: Dim -> Dim

white :: Dim -> Dim

blacker :: Dim -> Dim

redder :: Dim -> Dim

greener :: Dim -> Dim

yellower :: Dim -> Dim

bluer :: Dim -> Dim

magentaer :: Dim -> Dim

cyaner :: Dim -> Dim

whiter :: Dim -> Dim

onBlack :: Dim -> Dim

onRed :: Dim -> Dim

onGreen :: Dim -> Dim

onYellow :: Dim -> Dim

onBlue :: Dim -> Dim

onMagenta :: Dim -> Dim

onCyan :: Dim -> Dim

onWhite :: Dim -> Dim

onBlacker :: Dim -> Dim

onRedder :: Dim -> Dim

onGreener :: Dim -> Dim

onYellower :: Dim -> Dim

onBluer :: Dim -> Dim

onMagentaer :: Dim -> Dim

onCyaner :: Dim -> Dim

onWhiter :: Dim -> Dim

Doc_Color ANSI_IO

Methods

reverse :: ANSI_IO -> ANSI_IO

black :: ANSI_IO -> ANSI_IO

red :: ANSI_IO -> ANSI_IO

green :: ANSI_IO -> ANSI_IO

yellow :: ANSI_IO -> ANSI_IO

blue :: ANSI_IO -> ANSI_IO

magenta :: ANSI_IO -> ANSI_IO

cyan :: ANSI_IO -> ANSI_IO

white :: ANSI_IO -> ANSI_IO

blacker :: ANSI_IO -> ANSI_IO

redder :: ANSI_IO -> ANSI_IO

greener :: ANSI_IO -> ANSI_IO

yellower :: ANSI_IO -> ANSI_IO

bluer :: ANSI_IO -> ANSI_IO

magentaer :: ANSI_IO -> ANSI_IO

cyaner :: ANSI_IO -> ANSI_IO

whiter :: ANSI_IO -> ANSI_IO

onBlack :: ANSI_IO -> ANSI_IO

onRed :: ANSI_IO -> ANSI_IO

onGreen :: ANSI_IO -> ANSI_IO

onYellow :: ANSI_IO -> ANSI_IO

onBlue :: ANSI_IO -> ANSI_IO

onMagenta :: ANSI_IO -> ANSI_IO

onCyan :: ANSI_IO -> ANSI_IO

onWhite :: ANSI_IO -> ANSI_IO

onBlacker :: ANSI_IO -> ANSI_IO

onRedder :: ANSI_IO -> ANSI_IO

onGreener :: ANSI_IO -> ANSI_IO

onYellower :: ANSI_IO -> ANSI_IO

onBluer :: ANSI_IO -> ANSI_IO

onMagentaer :: ANSI_IO -> ANSI_IO

onCyaner :: ANSI_IO -> ANSI_IO

onWhiter :: ANSI_IO -> ANSI_IO

Doc_Color ANSI

Methods

reverse :: ANSI -> ANSI

black :: ANSI -> ANSI

red :: ANSI -> ANSI

green :: ANSI -> ANSI

yellow :: ANSI -> ANSI

blue :: ANSI -> ANSI

magenta :: ANSI -> ANSI

cyan :: ANSI -> ANSI

white :: ANSI -> ANSI

blacker :: ANSI -> ANSI

redder :: ANSI -> ANSI

greener :: ANSI -> ANSI

yellower :: ANSI -> ANSI

bluer :: ANSI -> ANSI

magentaer :: ANSI -> ANSI

cyaner :: ANSI -> ANSI

whiter :: ANSI -> ANSI

onBlack :: ANSI -> ANSI

onRed :: ANSI -> ANSI

onGreen :: ANSI -> ANSI

onYellow :: ANSI -> ANSI

onBlue :: ANSI -> ANSI

onMagenta :: ANSI -> ANSI

onCyan :: ANSI -> ANSI

onWhite :: ANSI -> ANSI

onBlacker :: ANSI -> ANSI

onRedder :: ANSI -> ANSI

onGreener :: ANSI -> ANSI

onYellower :: ANSI -> ANSI

onBluer :: ANSI -> ANSI

onMagentaer :: ANSI -> ANSI

onCyaner :: ANSI -> ANSI

onWhiter :: ANSI -> ANSI

Doc_Color repr => Doc_Color (Valid repr)

Methods

reverse :: Valid repr -> Valid repr

black :: Valid repr -> Valid repr

red :: Valid repr -> Valid repr

green :: Valid repr -> Valid repr

yellow :: Valid repr -> Valid repr

blue :: Valid repr -> Valid repr

magenta :: Valid repr -> Valid repr

cyan :: Valid repr -> Valid repr

white :: Valid repr -> Valid repr

blacker :: Valid repr -> Valid repr

redder :: Valid repr -> Valid repr

greener :: Valid repr -> Valid repr

yellower :: Valid repr -> Valid repr

bluer :: Valid repr -> Valid repr

magentaer :: Valid repr -> Valid repr

cyaner :: Valid repr -> Valid repr

whiter :: Valid repr -> Valid repr

onBlack :: Valid repr -> Valid repr

onRed :: Valid repr -> Valid repr

onGreen :: Valid repr -> Valid repr

onYellow :: Valid repr -> Valid repr

onBlue :: Valid repr -> Valid repr

onMagenta :: Valid repr -> Valid repr

onCyan :: Valid repr -> Valid repr

onWhite :: Valid repr -> Valid repr

onBlacker :: Valid repr -> Valid repr

onRedder :: Valid repr -> Valid repr

onGreener :: Valid repr -> Valid repr

onYellower :: Valid repr -> Valid repr

onBluer :: Valid repr -> Valid repr

onMagentaer :: Valid repr -> Valid repr

onCyaner :: Valid repr -> Valid repr

onWhiter :: Valid repr -> Valid repr

Class Doc_Decoration

class Doc_Decoration d where

Methods

bold :: d -> d

underline :: d -> d

italic :: d -> d

bold :: Doc_Decoration (ReprOf d) => Trans d => d -> d

underline :: Doc_Decoration (ReprOf d) => Trans d => d -> d

italic :: Doc_Decoration (ReprOf d) => Trans d => d -> d

Instances

Doc_Decoration PlainIO

Methods

bold :: PlainIO -> PlainIO

underline :: PlainIO -> PlainIO

italic :: PlainIO -> PlainIO

Doc_Decoration Plain

Methods

bold :: Plain -> Plain

underline :: Plain -> Plain

italic :: Plain -> Plain

Doc_Decoration Dim

Methods

bold :: Dim -> Dim

underline :: Dim -> Dim

italic :: Dim -> Dim

Doc_Decoration ANSI_IO

Methods

bold :: ANSI_IO -> ANSI_IO

underline :: ANSI_IO -> ANSI_IO

italic :: ANSI_IO -> ANSI_IO

Doc_Decoration ANSI

Methods

bold :: ANSI -> ANSI

underline :: ANSI -> ANSI

italic :: ANSI -> ANSI

Doc_Decoration repr => Doc_Decoration (Valid repr)

Methods

bold :: Valid repr -> Valid repr

underline :: Valid repr -> Valid repr

italic :: Valid repr -> Valid repr

Class Trans

class Trans tr where

Minimal complete definition

trans, unTrans

Associated Types

type ReprOf tr :: *

Return the underlying tr of the transformer.

Methods

trans :: ReprOf tr -> tr

Lift a tr to the transformer's.

unTrans :: tr -> ReprOf tr

Unlift a tr from the transformer's.

trans1 :: (ReprOf tr -> ReprOf tr) -> tr -> tr

Identity transformation for a unary symantic method.

trans2 :: (ReprOf tr -> ReprOf tr -> ReprOf tr) -> tr -> tr -> tr

Identity transformation for a binary symantic method.

trans3 :: (ReprOf tr -> ReprOf tr -> ReprOf tr -> ReprOf tr) -> tr -> tr -> tr -> tr

Identity transformation for a ternary symantic method.

Class SplitOnCharWithEmpty

class SplitOnCharWithEmpty t where

Minimal complete definition

splitOnCharWithEmpty

Methods

splitOnCharWithEmpty :: Char -> t -> [t]

Instances

SplitOnCharWithEmpty String

Methods

splitOnCharWithEmpty :: Char -> String -> [String]

SplitOnCharWithEmpty Text

Methods

splitOnCharWithEmpty :: Char -> Text -> [Text]

SplitOnCharWithEmpty Text

Methods

splitOnCharWithEmpty :: Char -> Text -> [Text]

lines :: SplitOnCharWithEmpty t => t -> [t]

int64OfInt :: Int -> Int64