symantic-document-1.2.2.20190627: Document symantics.

Safe HaskellNone
LanguageHaskell2010

Symantic.Document.API

Contents

Synopsis

Helper types

Type Line

newtype Line d Source #

Constructors

Line d 
Instances
Eq d => Eq (Line d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

(==) :: Line d -> Line d -> Bool #

(/=) :: Line d -> Line d -> Bool #

Show d => Show (Line d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

showsPrec :: Int -> Line d -> ShowS #

show :: Line d -> String #

showList :: [Line d] -> ShowS #

Lengthable d => Lengthable (Line d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

width :: Line d -> Column Source #

nullWidth :: Line d -> Bool Source #

From d Builder => From (Line d) Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Line d -> Builder Source #

From d Text => From (Line d) Text Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Line d -> Text Source #

From d String => From (Line d) String Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Line d -> String Source #

From s (PlainText d) => From (Line s) (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Line s -> PlainText d Source #

From s (AnsiText d) => From (Line s) (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Line s -> AnsiText d Source #

(From (Word s) d, Lengthable s, Spaceable d, Splitable s) => From (Line s) (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: Line s -> Plain d Source #

unLine :: Line d -> d Source #

Type Word

newtype Word d Source #

Constructors

Word d 
Instances
Eq d => Eq (Word d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

(==) :: Word d -> Word d -> Bool #

(/=) :: Word d -> Word d -> Bool #

Show d => Show (Word d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

showsPrec :: Int -> Word d -> ShowS #

show :: Word d -> String #

showList :: [Word d] -> ShowS #

Semigroup d => Semigroup (Word d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

(<>) :: Word d -> Word d -> Word d #

sconcat :: NonEmpty (Word d) -> Word d #

stimes :: Integral b => b -> Word d -> Word d #

Lengthable d => Lengthable (Word d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

width :: Word d -> Column Source #

nullWidth :: Word d -> Bool Source #

From d Builder => From (Word d) Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Word d -> Builder Source #

From d Text => From (Word d) Text Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Word d -> Text Source #

From d String => From (Word d) String Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Word d -> String Source #

From [SGR] d => From [SGR] (Word d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: [SGR] -> Word d Source #

From s (PlainText d) => From (Word s) (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Word s -> PlainText d Source #

From s (AnsiText d) => From (Word s) (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Word s -> AnsiText d Source #

(From (Word s) d, Semigroup d, Lengthable s) => From (Word s) (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: Word s -> Plain d Source #

unWord :: Word d -> d Source #

Class From

class From a d where Source #

Minimal complete definition

Nothing

Methods

from :: a -> d Source #

from :: From String d => Show a => a -> d Source #

Instances
From Char String Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Char -> String Source #

From Char Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Char -> Builder Source #

From Char Text Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Char -> Text Source #

From (Line String) d => From Int d Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Int -> d Source #

From (Line String) d => From Integer d Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Integer -> d Source #

From (Line String) d => From Natural d Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Natural -> d Source #

From String String Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: String -> String Source #

From String Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: String -> Builder Source #

From String Text Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: String -> Text Source #

From Builder Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Builder -> Builder Source #

From Text String Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Text -> String Source #

From Text Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Text -> Builder Source #

From Text Text Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Text0 -> Text Source #

From Text String Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Text -> String Source #

From Text Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Text -> Builder Source #

From Text Text Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Text -> Text Source #

From Char d => From Char (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Char -> PlainText d Source #

From Char d => From Char (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Char -> AnsiText d Source #

(From (Word Char) d, Spaceable d) => From Char (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: Char -> Plain d Source #

From String d => From String (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: String -> PlainText d Source #

From String d => From String (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: String -> AnsiText d Source #

(From (Word String) d, Spaceable d) => From String (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: String -> Plain d Source #

From Text d => From Text (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Text -> PlainText d Source #

From Text d => From Text (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Text -> AnsiText d Source #

(From (Word Text) d, Spaceable d) => From Text (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: Text -> Plain d Source #

From Text d => From Text (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Text -> PlainText d Source #

From Text d => From Text (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Text -> AnsiText d Source #

(From (Word Text) d, Spaceable d) => From Text (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: Text -> Plain d Source #

From [SGR] String Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: [SGR] -> String Source #

From [SGR] Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: [SGR] -> Builder Source #

From [SGR] Text Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: [SGR] -> Text Source #

From d Builder => From (Word d) Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Word d -> Builder Source #

From d Text => From (Word d) Text Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Word d -> Text Source #

From d String => From (Word d) String Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Word d -> String Source #

From d Builder => From (Line d) Builder Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Line d -> Builder Source #

From d Text => From (Line d) Text Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Line d -> Text Source #

From d String => From (Line d) String Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: Line d -> String Source #

From [SGR] d => From [SGR] (Word d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

from :: [SGR] -> Word d Source #

From [SGR] d => From [SGR] (PlainChunk d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: [SGR] -> PlainChunk d Source #

(From [SGR] d, Semigroup d) => From [SGR] (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: [SGR] -> Plain d Source #

From s (PlainText d) => From (Word s) (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Word s -> PlainText d Source #

From s (AnsiText d) => From (Word s) (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Word s -> AnsiText d Source #

(From (Word s) d, Semigroup d, Lengthable s) => From (Word s) (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: Word s -> Plain d Source #

From s (PlainText d) => From (Line s) (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Line s -> PlainText d Source #

From s (AnsiText d) => From (Line s) (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

from :: Line s -> AnsiText d Source #

(From (Word s) d, Lengthable s, Spaceable d, Splitable s) => From (Line s) (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

from :: Line s -> Plain d Source #

Class Lengthable

class Lengthable d where Source #

Minimal complete definition

width

Methods

width :: d -> Column Source #

nullWidth :: d -> Bool Source #

Instances
Lengthable Char Source # 
Instance details

Defined in Symantic.Document.API

Lengthable String Source # 
Instance details

Defined in Symantic.Document.API

Lengthable Text Source # 
Instance details

Defined in Symantic.Document.API

Lengthable Text Source # 
Instance details

Defined in Symantic.Document.API

Lengthable d => Lengthable (Word d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

width :: Word d -> Column Source #

nullWidth :: Word d -> Bool Source #

Lengthable d => Lengthable (Line d) Source # 
Instance details

Defined in Symantic.Document.API

Methods

width :: Line d -> Column Source #

nullWidth :: Line d -> Bool Source #

Lengthable d => Lengthable (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Lengthable d => Lengthable (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Lengthable d => Lengthable (PlainChunk d) Source # 
Instance details

Defined in Symantic.Document.Plain

Class Spaceable

class Monoid d => Spaceable d where Source #

Minimal complete definition

Nothing

Methods

newline :: d Source #

space :: d Source #

newline :: Spaceable (UnTrans d) => Trans d => d Source #

space :: Spaceable (UnTrans d) => Trans d => d Source #

spaces :: Column -> d Source #

spaces :: Monoid d => Column -> d Source #

unlines :: Foldable f => f (Line d) -> d Source #

unwords :: Foldable f => Functor f => f (Word d) -> d Source #

catLines :: Foldable f => Functor f => f (Line d) -> d Source #

Like unlines but without the trailing newline.

(<+>) :: d -> d -> d infixr 6 Source #

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

(</>) :: d -> d -> d infixr 6 Source #

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

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

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

Instances
Spaceable String Source # 
Instance details

Defined in Symantic.Document.API

Spaceable Builder Source # 
Instance details

Defined in Symantic.Document.API

Spaceable Text Source # 
Instance details

Defined in Symantic.Document.API

Spaceable d => Spaceable (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Spaceable d => Spaceable (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Spaceable d => Spaceable (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

newline :: Plain d Source #

space :: Plain d Source #

spaces :: Column -> Plain d Source #

unlines :: Foldable f => f (Line (Plain d)) -> Plain d Source #

unwords :: (Foldable f, Functor f) => f (Word (Plain d)) -> Plain d Source #

catLines :: (Foldable f, Functor f) => f (Line (Plain d)) -> Plain d Source #

(<+>) :: Plain d -> Plain d -> Plain d Source #

(</>) :: Plain d -> Plain d -> Plain d Source #

catH :: Foldable f => f (Plain d) -> Plain d Source #

catV :: Foldable f => f (Plain d) -> Plain d Source #

intercalate :: (Foldable f, Monoid d) => d -> f d -> d Source #

replicate :: Monoid d => Int -> d -> d Source #

between :: Semigroup d => d -> d -> d -> d Source #

parens :: Semigroup d => From (Word Char) d => d -> d Source #

braces :: Semigroup d => From (Word Char) d => d -> d Source #

brackets :: Semigroup d => From (Word Char) d => d -> d Source #

angles :: Semigroup d => From (Word Char) d => d -> d Source #

Class Splitable

class (Lengthable d, Monoid d) => Splitable d where Source #

Minimal complete definition

tail, break

Methods

tail :: d -> Maybe d Source #

break :: (Char -> Bool) -> d -> (d, d) Source #

span :: (Char -> Bool) -> d -> (d, d) Source #

lines :: d -> [Line d] Source #

words :: d -> [Word d] Source #

linesNoEmpty :: d -> [Line d] Source #

wordsNoEmpty :: d -> [Word d] Source #

splitOnChar :: (Char -> Bool) -> d -> [d] Source #

splitOnCharNoEmpty :: (Char -> Bool) -> d -> [d] Source #

Instances
Splitable String Source # 
Instance details

Defined in Symantic.Document.API

Splitable Text Source # 
Instance details

Defined in Symantic.Document.API

Splitable Text Source # 
Instance details

Defined in Symantic.Document.API

Class Decorable

class Decorable d where Source #

Minimal complete definition

Nothing

Methods

bold :: d -> d Source #

underline :: d -> d Source #

italic :: d -> d Source #

bold :: Decorable (UnTrans d) => Trans d => d -> d Source #

underline :: Decorable (UnTrans d) => Trans d => d -> d Source #

italic :: Decorable (UnTrans d) => Trans d => d -> d Source #

Class Colorable16

class Colorable16 d where Source #

Minimal complete definition

Nothing

Methods

reverse :: d -> d Source #

black :: d -> d Source #

red :: d -> d Source #

green :: d -> d Source #

yellow :: d -> d Source #

blue :: d -> d Source #

magenta :: d -> d Source #

cyan :: d -> d Source #

white :: d -> d Source #

blacker :: d -> d Source #

redder :: d -> d Source #

greener :: d -> d Source #

yellower :: d -> d Source #

bluer :: d -> d Source #

magentaer :: d -> d Source #

cyaner :: d -> d Source #

whiter :: d -> d Source #

onBlack :: d -> d Source #

onRed :: d -> d Source #

onGreen :: d -> d Source #

onYellow :: d -> d Source #

onBlue :: d -> d Source #

onMagenta :: d -> d Source #

onCyan :: d -> d Source #

onWhite :: d -> d Source #

onBlacker :: d -> d Source #

onRedder :: d -> d Source #

onGreener :: d -> d Source #

onYellower :: d -> d Source #

onBluer :: d -> d Source #

onMagentaer :: d -> d Source #

onCyaner :: d -> d Source #

onWhiter :: d -> d Source #

reverse :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

black :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

red :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

green :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

yellow :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

blue :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

magenta :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

cyan :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

white :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

blacker :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

redder :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

greener :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

yellower :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

bluer :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

magentaer :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

cyaner :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

whiter :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onBlack :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onRed :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onGreen :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onYellow :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onBlue :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onMagenta :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onCyan :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onWhite :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onBlacker :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onRedder :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onGreener :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onYellower :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onBluer :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onMagentaer :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onCyaner :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

onWhiter :: Colorable16 (UnTrans d) => Trans d => d -> d Source #

Instances
Colorable16 String Source #

For debugging purposes.

Instance details

Defined in Symantic.Document.API

Semigroup d => Colorable16 (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

reverse :: PlainText d -> PlainText d Source #

black :: PlainText d -> PlainText d Source #

red :: PlainText d -> PlainText d Source #

green :: PlainText d -> PlainText d Source #

yellow :: PlainText d -> PlainText d Source #

blue :: PlainText d -> PlainText d Source #

magenta :: PlainText d -> PlainText d Source #

cyan :: PlainText d -> PlainText d Source #

white :: PlainText d -> PlainText d Source #

blacker :: PlainText d -> PlainText d Source #

redder :: PlainText d -> PlainText d Source #

greener :: PlainText d -> PlainText d Source #

yellower :: PlainText d -> PlainText d Source #

bluer :: PlainText d -> PlainText d Source #

magentaer :: PlainText d -> PlainText d Source #

cyaner :: PlainText d -> PlainText d Source #

whiter :: PlainText d -> PlainText d Source #

onBlack :: PlainText d -> PlainText d Source #

onRed :: PlainText d -> PlainText d Source #

onGreen :: PlainText d -> PlainText d Source #

onYellow :: PlainText d -> PlainText d Source #

onBlue :: PlainText d -> PlainText d Source #

onMagenta :: PlainText d -> PlainText d Source #

onCyan :: PlainText d -> PlainText d Source #

onWhite :: PlainText d -> PlainText d Source #

onBlacker :: PlainText d -> PlainText d Source #

onRedder :: PlainText d -> PlainText d Source #

onGreener :: PlainText d -> PlainText d Source #

onYellower :: PlainText d -> PlainText d Source #

onBluer :: PlainText d -> PlainText d Source #

onMagentaer :: PlainText d -> PlainText d Source #

onCyaner :: PlainText d -> PlainText d Source #

onWhiter :: PlainText d -> PlainText d Source #

(Semigroup d, From [SGR] d) => Colorable16 (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

xmlSGR :: Semigroup d => From String d => String -> d -> d Source #

For debugging purposes.

Class Indentable

class Spaceable d => Indentable d where Source #

Minimal complete definition

Nothing

Methods

align :: d -> d Source #

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

incrIndent :: Indent -> d -> d Source #

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

setIndent :: Indent -> d -> d Source #

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

hang :: Indent -> d -> d Source #

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

fill :: Width -> d -> d Source #

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

breakfill :: Width -> d -> d Source #

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

align :: Indentable (UnTrans d) => Trans d => d -> d Source #

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

incrIndent :: Indentable (UnTrans d) => Trans d => Indent -> d -> d Source #

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

setIndent :: Indentable (UnTrans d) => Trans d => Indent -> d -> d Source #

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

fill :: Indentable (UnTrans d) => Trans d => Width -> d -> d Source #

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

breakfill :: Indentable (UnTrans d) => Trans d => Width -> d -> d Source #

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

class Listable d where Source #

Minimal complete definition

Nothing

Methods

ul :: Traversable f => f d -> d Source #

ol :: Traversable f => f d -> d Source #

ul :: Listable (UnTrans d) => Trans d => Traversable f => f d -> d Source #

ol :: Listable (UnTrans d) => Trans d => Traversable f => f d -> d Source #

Instances
Listable d => Listable (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

ul :: Traversable f => f (PlainText d) -> PlainText d Source #

ol :: Traversable f => f (PlainText d) -> PlainText d Source #

Listable d => Listable (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

ul :: Traversable f => f (AnsiText d) -> AnsiText d Source #

ol :: Traversable f => f (AnsiText d) -> AnsiText d Source #

(Spaceable d, From (Word Char) d, From (Word String) d) => Listable (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

ul :: Traversable f => f (Plain d) -> Plain d Source #

ol :: Traversable f => f (Plain d) -> Plain d Source #

Class Wrappable

Class Justifiable

class Justifiable d where Source #

Methods

justify :: d -> d Source #

Instances
Justifiable d => Justifiable (PlainText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Justifiable d => Justifiable (AnsiText d) Source # 
Instance details

Defined in Symantic.Document.AnsiText

Methods

justify :: AnsiText d -> AnsiText d Source #

Spaceable d => Justifiable (Plain d) Source # 
Instance details

Defined in Symantic.Document.Plain

Methods

justify :: Plain d -> Plain d Source #

Class Trans

class Trans repr where Source #

Minimal complete definition

noTrans, unTrans

Associated Types

type UnTrans repr :: * Source #

Return the underlying repr of the transformer.

Methods

noTrans :: UnTrans repr -> repr Source #

Lift a repr to the transformer's.

unTrans :: repr -> UnTrans repr Source #

Unlift a repr from the transformer's.

noTrans1 :: (UnTrans repr -> UnTrans repr) -> repr -> repr Source #

Identity transformation for a unary symantic method.

noTrans2 :: (UnTrans repr -> UnTrans repr -> UnTrans repr) -> repr -> repr -> repr Source #

Identity transformation for a binary symantic method.

noTrans3 :: (UnTrans repr -> UnTrans repr -> UnTrans repr -> UnTrans repr) -> repr -> repr -> repr -> repr Source #

Identity transformation for a ternary symantic method.