Language.Symantic.Document.Sym

Type Nat

newtype Nat

Constructors

Nat

Fields

• unNat :: Integer

Instances

Enum Nat

Defined in Language.Symantic.Document.Sym

Methods

succ :: Nat -> Nat

pred :: Nat -> Nat

toEnum :: Int -> Nat

fromEnum :: Nat -> Int

enumFrom :: Nat -> [Nat]

enumFromThen :: Nat -> Nat -> [Nat]

enumFromTo :: Nat -> Nat -> [Nat]

enumFromThenTo :: Nat -> Nat -> Nat -> [Nat]

Eq Nat

Defined in Language.Symantic.Document.Sym

Methods

(==) :: Nat -> Nat -> Bool

(/=) :: Nat -> Nat -> Bool

Integral Nat

Defined in Language.Symantic.Document.Sym

Methods

quot :: Nat -> Nat -> Nat

rem :: Nat -> Nat -> Nat

div :: Nat -> Nat -> Nat

mod :: Nat -> Nat -> Nat

quotRem :: Nat -> Nat -> (Nat, Nat)

divMod :: Nat -> Nat -> (Nat, Nat)

toInteger :: Nat -> Integer

Num Nat

Defined in Language.Symantic.Document.Sym

Methods

(+) :: Nat -> Nat -> Nat

(-) :: Nat -> Nat -> Nat

(*) :: Nat -> Nat -> Nat

negate :: Nat -> Nat

abs :: Nat -> Nat

signum :: Nat -> Nat

fromInteger :: Integer -> Nat

Ord Nat

Defined in Language.Symantic.Document.Sym

Methods

compare :: Nat -> Nat -> Ordering

(<) :: Nat -> Nat -> Bool

(<=) :: Nat -> Nat -> Bool

(>) :: Nat -> Nat -> Bool

(>=) :: Nat -> Nat -> Bool

max :: Nat -> Nat -> Nat

min :: Nat -> Nat -> Nat

Real Nat

Defined in Language.Symantic.Document.Sym

Methods

toRational :: Nat -> Rational

Show Nat

Defined in Language.Symantic.Document.Sym

Methods

showsPrec :: Int -> Nat -> ShowS

show :: Nat -> String

showList :: [Nat] -> ShowS

unLength :: Nat -> Integer

Class Lengthable

class Lengthable a where

Minimal complete definition

length

Methods

length :: a -> Nat

Instances

Lengthable Char

Defined in Language.Symantic.Document.Sym

Methods

length :: Char -> Nat

Lengthable Text

Defined in Language.Symantic.Document.Sym

Methods

length :: Text -> Nat

Lengthable Text

Defined in Language.Symantic.Document.Sym

Methods

length :: Text -> Nat

Lengthable [a]

Defined in Language.Symantic.Document.Sym

Methods

length :: [a] -> Nat

Class Splitable

class Monoid a => Splitable a where

Minimal complete definition

null, tail, break

Methods

null :: a -> Bool

tail :: a -> a

break :: (Char -> Bool) -> a -> (a, a)

lines :: a -> [a]

words :: a -> [a]

splitOnChar :: (Char -> Bool) -> a -> [a]

Instances

Splitable String

Defined in Language.Symantic.Document.Sym

Methods

null :: String -> Bool

tail :: String -> String

break :: (Char -> Bool) -> String -> (String, String)

lines :: String -> [String]

words :: String -> [String]

splitOnChar :: (Char -> Bool) -> String -> [String]

Splitable Text

Defined in Language.Symantic.Document.Sym

Methods

null :: Text -> Bool

tail :: Text -> Text

break :: (Char -> Bool) -> Text -> (Text, Text)

lines :: Text -> [Text]

words :: Text -> [Text]

splitOnChar :: (Char -> Bool) -> Text -> [Text]

Splitable Text

Defined in Language.Symantic.Document.Sym

Methods

null :: Text -> Bool

tail :: Text -> Text

break :: (Char -> Bool) -> Text -> (Text, Text)

lines :: Text -> [Text]

words :: Text -> [Text]

splitOnChar :: (Char -> Bool) -> Text -> [Text]

Type Column

type Column = Nat

Type Indent

type Indent = Column

Class Textable

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

Methods

empty :: d

charH

Arguments

:: Char

XXX: MUST NOT be '\n'

-> d

stringH

Arguments

:: String

XXX: MUST NOT contain '\n'

-> d

textH

Arguments

:: Text

XXX: MUST NOT contain '\n'

-> d

ltextH

Arguments

:: Text

XXX: MUST NOT contain '\n'

-> d

empty :: Textable (ReprOf d) => Trans d => d

charH

Arguments

:: Textable (ReprOf d)

=> Trans d

=> Char

XXX: MUST NOT be '\n'

-> d

stringH

Arguments

:: Textable (ReprOf d)

=> Trans d

=> String

XXX: MUST NOT contain '\n'

-> d

textH

Arguments

:: Textable (ReprOf d)

=> Trans d

=> Text

XXX: MUST NOT contain '\n'

-> d

ltextH

Arguments

:: Textable (ReprOf d)

=> Trans d

=> Text

XXX: MUST NOT contain '\n'

-> d

newline :: d

space :: d

(<+>) :: d -> d -> d

x <+> y = x <> space <> y

(</>) :: d -> d -> d

x </> y = x <> newline <> y

int :: Int -> d

integer :: Integer -> 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

unwords :: Foldable f => f d -> d

unlines :: Foldable f => f d -> d

foldrWith :: Foldable f => (d -> d -> d) -> f d -> d

foldWith :: Foldable f => (d -> d) -> f d -> d

intercalate :: Foldable f => d -> f d -> d

between :: d -> d -> d -> d

replicate :: Int -> d -> d

Instances

Textable Term

Defined in Language.Symantic.Document.Term

Methods

empty :: Term

charH :: Char -> Term

stringH :: String -> Term

textH :: Text -> Term

ltextH :: Text -> Term

newline :: Term

space :: Term

(<+>) :: Term -> Term -> Term

(</>) :: Term -> Term -> Term

int :: Int -> Term

integer :: Integer -> Term

char :: Char -> Term

string :: String -> Term

text :: Text -> Term

ltext :: Text -> Term

catH :: Foldable f => f Term -> Term

catV :: Foldable f => f Term -> Term

unwords :: Foldable f => f Term -> Term

unlines :: Foldable f => f Term -> Term

foldrWith :: Foldable f => (Term -> Term -> Term) -> f Term -> Term

foldWith :: Foldable f => (Term -> Term) -> f Term -> Term

intercalate :: Foldable f => Term -> f Term -> Term

between :: Term -> Term -> Term -> Term

replicate :: Int -> Term -> Term

Textable Dimension

Defined in Language.Symantic.Document.Term.Dimension

Methods

empty :: Dimension

charH :: Char -> Dimension

stringH :: String -> Dimension

textH :: Text -> Dimension

ltextH :: Text -> Dimension

newline :: Dimension

space :: Dimension

(<+>) :: Dimension -> Dimension -> Dimension

(</>) :: Dimension -> Dimension -> Dimension

int :: Int -> Dimension

integer :: Integer -> Dimension

char :: Char -> Dimension

string :: String -> Dimension

text :: Text -> Dimension

ltext :: Text -> Dimension

catH :: Foldable f => f Dimension -> Dimension

catV :: Foldable f => f Dimension -> Dimension

unwords :: Foldable f => f Dimension -> Dimension

unlines :: Foldable f => f Dimension -> Dimension

foldrWith :: Foldable f => (Dimension -> Dimension -> Dimension) -> f Dimension -> Dimension

foldWith :: Foldable f => (Dimension -> Dimension) -> f Dimension -> Dimension

intercalate :: Foldable f => Dimension -> f Dimension -> Dimension

between :: Dimension -> Dimension -> Dimension -> Dimension

replicate :: Int -> Dimension -> Dimension

Textable TermIO

Defined in Language.Symantic.Document.Term.IO

Methods

empty :: TermIO

charH :: Char -> TermIO

stringH :: String -> TermIO

textH :: Text -> TermIO

ltextH :: Text -> TermIO

newline :: TermIO

space :: TermIO

(<+>) :: TermIO -> TermIO -> TermIO

(</>) :: TermIO -> TermIO -> TermIO

int :: Int -> TermIO

integer :: Integer -> TermIO

char :: Char -> TermIO

string :: String -> TermIO

text :: Text -> TermIO

ltext :: Text -> TermIO

catH :: Foldable f => f TermIO -> TermIO

catV :: Foldable f => f TermIO -> TermIO

unwords :: Foldable f => f TermIO -> TermIO

unlines :: Foldable f => f TermIO -> TermIO

foldrWith :: Foldable f => (TermIO -> TermIO -> TermIO) -> f TermIO -> TermIO

foldWith :: Foldable f => (TermIO -> TermIO) -> f TermIO -> TermIO

intercalate :: Foldable f => TermIO -> f TermIO -> TermIO

between :: TermIO -> TermIO -> TermIO -> TermIO

replicate :: Int -> TermIO -> TermIO

Class Indentable

class Textable d => Indentable d where

Methods

align :: d -> d

(align d) make d uses current Column as Indent level.

align :: Indentable (ReprOf d) => Trans d => d -> d

(align d) make d uses current Column as Indent level.

incrIndent :: Indent -> d -> d

(incrIndent ind d) make d uses current Indent plus ind as Indent level.

incrIndent :: Indentable (ReprOf d) => Trans d => Indent -> d -> d

(incrIndent ind d) make d uses current Indent plus ind as Indent level.

withIndent :: Indent -> d -> d

(withIndent ind d) make d uses ind as Indent level.

withIndent :: Indentable (ReprOf d) => Trans d => Indent -> d -> d

(withIndent ind d) make d uses ind as Indent level.

withNewline :: d -> d -> d

(withNewline nl d) make d uses nl as newline.

Useful values for nl are: empty, newlineWithIndent, newlineWithoutIndent.

newlineWithoutIndent :: d

newlineWithIndent :: d

withNewline :: Indentable (ReprOf d) => Trans d => d -> d -> d

(withNewline nl d) make d uses nl as newline.

Useful values for nl are: empty, newlineWithIndent, newlineWithoutIndent.

newlineWithoutIndent :: Indentable (ReprOf d) => Trans d => d

newlineWithIndent :: Indentable (ReprOf d) => Trans d => d

column :: (Column -> d) -> d

(column f) write f applied to the current Column.

column :: Indentable (ReprOf d) => Trans d => (Column -> d) -> d

(column f) write f applied to the current Column.

indent :: (Indent -> d) -> d

(indent f) write f applied to the current Indent.

indent :: Indentable (ReprOf d) => Trans d => (Indent -> d) -> d

(indent f) write f applied to the current Indent.

hang :: Indent -> d -> d

(hang ind d) make d uses current Column plus ind as Indent level.

endToEndWidth :: d -> (Column -> d) -> d

(endToEndWidth d f) write d then f applied to the absolute value of the difference between the end Column and start Column of d.

Note that f is given the end-to-end width, which is not necessarily the maximal width.

spaces :: Indent -> d

spaces ind = replicate ind space

fill :: Indent -> d -> d

(fill ind d) write d, then if d is not wider than ind, write the difference with spaces.

breakableFill :: Indent -> d -> d

(breakableFill ind d) write d, then if d is not wider than ind, write the difference with spaces otherwise write a newline indented to to the start Column of d plus ind.

Instances

Indentable Term

Defined in Language.Symantic.Document.Term

Methods

align :: Term -> Term

incrIndent :: Indent -> Term -> Term

withIndent :: Indent -> Term -> Term

withNewline :: Term -> Term -> Term

newlineWithoutIndent :: Term

newlineWithIndent :: Term

column :: (Column -> Term) -> Term

indent :: (Indent -> Term) -> Term

hang :: Indent -> Term -> Term

endToEndWidth :: Term -> (Column -> Term) -> Term

spaces :: Indent -> Term

fill :: Indent -> Term -> Term

breakableFill :: Indent -> Term -> Term

Indentable Dimension

Defined in Language.Symantic.Document.Term.Dimension

Methods

align :: Dimension -> Dimension

incrIndent :: Indent -> Dimension -> Dimension

withIndent :: Indent -> Dimension -> Dimension

withNewline :: Dimension -> Dimension -> Dimension

newlineWithoutIndent :: Dimension

newlineWithIndent :: Dimension

column :: (Column -> Dimension) -> Dimension

indent :: (Indent -> Dimension) -> Dimension

hang :: Indent -> Dimension -> Dimension

endToEndWidth :: Dimension -> (Column -> Dimension) -> Dimension

spaces :: Indent -> Dimension

fill :: Indent -> Dimension -> Dimension

breakableFill :: Indent -> Dimension -> Dimension

Indentable TermIO

Defined in Language.Symantic.Document.Term.IO

Methods

align :: TermIO -> TermIO

incrIndent :: Indent -> TermIO -> TermIO

withIndent :: Indent -> TermIO -> TermIO

withNewline :: TermIO -> TermIO -> TermIO

newlineWithoutIndent :: TermIO

newlineWithIndent :: TermIO

column :: (Column -> TermIO) -> TermIO

indent :: (Indent -> TermIO) -> TermIO

hang :: Indent -> TermIO -> TermIO

endToEndWidth :: TermIO -> (Column -> TermIO) -> TermIO

spaces :: Indent -> TermIO

fill :: Indent -> TermIO -> TermIO

breakableFill :: Indent -> TermIO -> TermIO

Class Breakable

class (Textable d, Indentable d) => Breakable d where

Methods

breakable :: (Maybe Column -> d) -> d

(breakable f) write f applied to whether breaks are activated or not.

breakable :: Breakable (ReprOf d) => Trans d => (Maybe Column -> d) -> d

(breakable f) write f applied to whether breaks are activated or not.

withBreakable :: Maybe Column -> d -> d

(withBreakable b d) whether to active breaks or not within d.

withBreakable :: Breakable (ReprOf d) => Trans d => Maybe Column -> d -> d

(withBreakable b d) whether to active breaks or not within d.

ifBreak :: d -> d -> d

(ifBreak onWrap onNoWrap) write onWrap if onNoWrap leads to a Column greater or equal to the one sets with withBreakable, otherwise write onNoWrap.

ifBreak :: Breakable (ReprOf d) => Trans d => d -> d -> d

(ifBreak onWrap onNoWrap) write onWrap if onNoWrap leads to a Column greater or equal to the one sets with withBreakable, otherwise write onNoWrap.

breakpoint :: d -> d -> d -> d

(breakpoint onNoBreak onBreak d) write onNoBreak then d if they fit, onBreak otherwise.

breakpoint :: Breakable (ReprOf d) => Trans d => d -> d -> d -> d

(breakpoint onNoBreak onBreak d) write onNoBreak then d if they fit, onBreak otherwise.

breakableEmpty :: d -> d

(breakableEmpty d) write d if it fits, newline then d otherwise.

(><) :: d -> d -> d

x >< y = x <> breakableEmpty y

breakableSpace :: d -> d

(breakableSpace d) write space then d it they fit, newline then d otherwise.

(>+<) :: d -> d -> d

x >+< y = x <> breakableSpace y

breakableSpaces :: Foldable f => f d -> d

breakableSpaces ds intercalate a breakableSpace between items of ds.

intercalateHorV :: Foldable f => d -> f d -> d

(intercalateHorV sep ds) write ds with sep intercalated if the whole fits, otherwise write align of ds with newline and sep intercalated.

Instances

Breakable Term

Defined in Language.Symantic.Document.Term

Methods

breakable :: (Maybe Column -> Term) -> Term

withBreakable :: Maybe Column -> Term -> Term

ifBreak :: Term -> Term -> Term

breakpoint :: Term -> Term -> Term -> Term

breakableEmpty :: Term -> Term

(><) :: Term -> Term -> Term

breakableSpace :: Term -> Term

(>+<) :: Term -> Term -> Term

breakableSpaces :: Foldable f => f Term -> Term

intercalateHorV :: Foldable f => Term -> f Term -> Term

Breakable Dimension

Defined in Language.Symantic.Document.Term.Dimension

Methods

breakable :: (Maybe Column -> Dimension) -> Dimension

withBreakable :: Maybe Column -> Dimension -> Dimension

ifBreak :: Dimension -> Dimension -> Dimension

breakpoint :: Dimension -> Dimension -> Dimension -> Dimension

breakableEmpty :: Dimension -> Dimension

(><) :: Dimension -> Dimension -> Dimension

breakableSpace :: Dimension -> Dimension

(>+<) :: Dimension -> Dimension -> Dimension

breakableSpaces :: Foldable f => f Dimension -> Dimension

intercalateHorV :: Foldable f => Dimension -> f Dimension -> Dimension

Breakable TermIO

Defined in Language.Symantic.Document.Term.IO

Methods

breakable :: (Maybe Column -> TermIO) -> TermIO

withBreakable :: Maybe Column -> TermIO -> TermIO

ifBreak :: TermIO -> TermIO -> TermIO

breakpoint :: TermIO -> TermIO -> TermIO -> TermIO

breakableEmpty :: TermIO -> TermIO

(><) :: TermIO -> TermIO -> TermIO

breakableSpace :: TermIO -> TermIO

(>+<) :: TermIO -> TermIO -> TermIO

breakableSpaces :: Foldable f => f TermIO -> TermIO

intercalateHorV :: Foldable f => TermIO -> f TermIO -> TermIO

Class Colorable

class Colorable d where

Methods

colorable :: (Bool -> d) -> d

(colorable f) write f applied to whether colors are activated or not.

colorable :: Colorable (ReprOf d) => Trans d => (Bool -> d) -> d

(colorable f) write f applied to whether colors are activated or not.

withColorable :: Bool -> d -> d

(withColor b d) whether to active colors or not within d.

withColorable :: Colorable (ReprOf d) => Trans d => Bool -> d -> d

(withColor b d) whether to active colors or not within d.

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 :: Colorable (ReprOf d) => Trans d => d -> d

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Instances

Colorable Term

Defined in Language.Symantic.Document.Term

Methods

colorable :: (Bool -> Term) -> Term

withColorable :: Bool -> Term -> Term

reverse :: Term -> Term

black :: Term -> Term

red :: Term -> Term

green :: Term -> Term

yellow :: Term -> Term

blue :: Term -> Term

magenta :: Term -> Term

cyan :: Term -> Term

white :: Term -> Term

blacker :: Term -> Term

redder :: Term -> Term

greener :: Term -> Term

yellower :: Term -> Term

bluer :: Term -> Term

magentaer :: Term -> Term

cyaner :: Term -> Term

whiter :: Term -> Term

onBlack :: Term -> Term

onRed :: Term -> Term

onGreen :: Term -> Term

onYellow :: Term -> Term

onBlue :: Term -> Term

onMagenta :: Term -> Term

onCyan :: Term -> Term

onWhite :: Term -> Term

onBlacker :: Term -> Term

onRedder :: Term -> Term

onGreener :: Term -> Term

onYellower :: Term -> Term

onBluer :: Term -> Term

onMagentaer :: Term -> Term

onCyaner :: Term -> Term

onWhiter :: Term -> Term

Colorable Dimension

Defined in Language.Symantic.Document.Term.Dimension

Methods

colorable :: (Bool -> Dimension) -> Dimension

withColorable :: Bool -> Dimension -> Dimension

reverse :: Dimension -> Dimension

black :: Dimension -> Dimension

red :: Dimension -> Dimension

green :: Dimension -> Dimension

yellow :: Dimension -> Dimension

blue :: Dimension -> Dimension

magenta :: Dimension -> Dimension

cyan :: Dimension -> Dimension

white :: Dimension -> Dimension

blacker :: Dimension -> Dimension

redder :: Dimension -> Dimension

greener :: Dimension -> Dimension

yellower :: Dimension -> Dimension

bluer :: Dimension -> Dimension

magentaer :: Dimension -> Dimension

cyaner :: Dimension -> Dimension

whiter :: Dimension -> Dimension

onBlack :: Dimension -> Dimension

onRed :: Dimension -> Dimension

onGreen :: Dimension -> Dimension

onYellow :: Dimension -> Dimension

onBlue :: Dimension -> Dimension

onMagenta :: Dimension -> Dimension

onCyan :: Dimension -> Dimension

onWhite :: Dimension -> Dimension

onBlacker :: Dimension -> Dimension

onRedder :: Dimension -> Dimension

onGreener :: Dimension -> Dimension

onYellower :: Dimension -> Dimension

onBluer :: Dimension -> Dimension

onMagentaer :: Dimension -> Dimension

onCyaner :: Dimension -> Dimension

onWhiter :: Dimension -> Dimension

Colorable TermIO

Defined in Language.Symantic.Document.Term.IO

Methods

colorable :: (Bool -> TermIO) -> TermIO

withColorable :: Bool -> TermIO -> TermIO

reverse :: TermIO -> TermIO

black :: TermIO -> TermIO

red :: TermIO -> TermIO

green :: TermIO -> TermIO

yellow :: TermIO -> TermIO

blue :: TermIO -> TermIO

magenta :: TermIO -> TermIO

cyan :: TermIO -> TermIO

white :: TermIO -> TermIO

blacker :: TermIO -> TermIO

redder :: TermIO -> TermIO

greener :: TermIO -> TermIO

yellower :: TermIO -> TermIO

bluer :: TermIO -> TermIO

magentaer :: TermIO -> TermIO

cyaner :: TermIO -> TermIO

whiter :: TermIO -> TermIO

onBlack :: TermIO -> TermIO

onRed :: TermIO -> TermIO

onGreen :: TermIO -> TermIO

onYellow :: TermIO -> TermIO

onBlue :: TermIO -> TermIO

onMagenta :: TermIO -> TermIO

onCyan :: TermIO -> TermIO

onWhite :: TermIO -> TermIO

onBlacker :: TermIO -> TermIO

onRedder :: TermIO -> TermIO

onGreener :: TermIO -> TermIO

onYellower :: TermIO -> TermIO

onBluer :: TermIO -> TermIO

onMagentaer :: TermIO -> TermIO

onCyaner :: TermIO -> TermIO

onWhiter :: TermIO -> TermIO

Class Decorable

class Decorable d where

Methods

decorable :: (Bool -> d) -> d

(decorable f) write f applied to whether decorations are activated or not.

decorable :: Decorable (ReprOf d) => Trans d => (Bool -> d) -> d

(decorable f) write f applied to whether decorations are activated or not.

withDecorable :: Bool -> d -> d

(withColor b d) whether to active decorations or not within d.

withDecorable :: Decorable (ReprOf d) => Trans d => Bool -> d -> d

(withColor b d) whether to active decorations or not within d.

bold :: d -> d

underline :: d -> d

italic :: d -> d

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

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

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

Instances

Decorable Term

Defined in Language.Symantic.Document.Term

Methods

decorable :: (Bool -> Term) -> Term

withDecorable :: Bool -> Term -> Term

bold :: Term -> Term

underline :: Term -> Term

italic :: Term -> Term

Decorable Dimension

Defined in Language.Symantic.Document.Term.Dimension

Methods

decorable :: (Bool -> Dimension) -> Dimension

withDecorable :: Bool -> Dimension -> Dimension

bold :: Dimension -> Dimension

underline :: Dimension -> Dimension

italic :: Dimension -> Dimension

Decorable TermIO

Defined in Language.Symantic.Document.Term.IO

Methods

decorable :: (Bool -> TermIO) -> TermIO

withDecorable :: Bool -> TermIO -> TermIO

bold :: TermIO -> TermIO

underline :: TermIO -> TermIO

italic :: TermIO -> TermIO

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.