Symantic.Document.Plain

Type Plain

newtype Plain d

Church encoded for performance concerns. Kind like ParsecT in megaparsec but a little bit different due to the use of PlainFit for implementing breakingSpace correctly when in the left hand side of (<>). Prepending is done using continuation, like in a difference list.

Constructors

Plain

Fields

• unPlain :: PlainInh -> PlainState d -> ((d -> d, PlainState d) -> PlainFit d) -> PlainFit d

Instances

(From (Word Char) d, Spaceable d) => From Char (Plain d)

Defined in Symantic.Document.Plain

Methods

from :: Char -> Plain d

(From (Word String) d, Spaceable d) => From String (Plain d)

Defined in Symantic.Document.Plain

Methods

from :: String -> Plain d

(From (Word Text) d, Spaceable d) => From Text (Plain d)

Defined in Symantic.Document.Plain

Methods

from :: Text -> Plain d

(From (Word Text) d, Spaceable d) => From Text (Plain d)

Defined in Symantic.Document.Plain

Methods

from :: Text -> Plain d

(Show d, Monoid d) => Show (Plain d)

Defined in Symantic.Document.Plain

Methods

showsPrec :: Int -> Plain d -> ShowS

show :: Plain d -> String

showList :: [Plain d] -> ShowS

(From (Word String) d, Spaceable d) => IsString (Plain d)

Defined in Symantic.Document.Plain

Methods

fromString :: String -> Plain d

Semigroup d => Semigroup (Plain d)

Defined in Symantic.Document.Plain

Methods

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

sconcat :: NonEmpty (Plain d) -> Plain d

stimes :: Integral b => b -> Plain d -> Plain d

Monoid d => Monoid (Plain d)

Defined in Symantic.Document.Plain

Methods

mempty :: Plain d

mappend :: Plain d -> Plain d -> Plain d

mconcat :: [Plain d] -> Plain d

Spaceable d => Justifiable (Plain d)

Defined in Symantic.Document.Plain

Methods

justify :: Plain d -> Plain d

Spaceable d => Wrappable (Plain d)

Defined in Symantic.Document.Plain

Methods

setWidth :: Maybe Width -> Plain d -> Plain d

breakpoint :: Plain d

breakspace :: Plain d

breakalt :: Plain d -> Plain d -> Plain d

(Spaceable d, From (Word Char) d, From (Word String) d) => Listable (Plain d)

Defined in Symantic.Document.Plain

Methods

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

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

Spaceable d => Indentable (Plain d)

Defined in Symantic.Document.Plain

Methods

align :: Plain d -> Plain d

incrIndent :: Indent -> Plain d -> Plain d

setIndent :: Indent -> Plain d -> Plain d

hang :: Indent -> Plain d -> Plain d

fill :: Width -> Plain d -> Plain d

breakfill :: Width -> Plain d -> Plain d

Spaceable d => Spaceable (Plain d)

Defined in Symantic.Document.Plain

Methods

newline :: Plain d

space :: Plain d

spaces :: Column -> Plain d

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

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

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

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

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

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

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

(From [SGR] d, Semigroup d) => From [SGR] (Plain d)

Defined in Symantic.Document.Plain

Methods

from :: [SGR] -> Plain d

(From (Word s) d, Semigroup d, Lengthable s) => From (Word s) (Plain d)

Defined in Symantic.Document.Plain

Methods

from :: Word s -> Plain d

(From (Word s) d, Lengthable s, Spaceable d, Splitable s) => From (Line s) (Plain d)

Defined in Symantic.Document.Plain

Methods

from :: Line s -> Plain d

runPlain :: Monoid d => Plain d -> d

Type PlainState

data PlainState d

Constructors

PlainState

Fields

• plainState_buffer :: ![PlainChunk d]
• plainState_bufferStart :: !Column

  The Column from which the plainState_buffer must be written.

• plainState_bufferWidth :: !Width

  The Width of the plainState_buffer so far.

• plainState_removableIndent :: !Indent

  The amount of Indent added by breakspace that can be removed by breaking the space into a newline.

Instances

Show d => Show (PlainState d)

Defined in Symantic.Document.Plain

Methods

showsPrec :: Int -> PlainState d -> ShowS

show :: PlainState d -> String

showList :: [PlainState d] -> ShowS

defPlainState :: PlainState d

Type PlainInh

data PlainInh

Constructors

PlainInh

Fields

• plainInh_width :: !(Maybe Column)
• plainInh_justify :: !Bool
• plainInh_indent :: !Width

Instances

Show PlainInh

Defined in Symantic.Document.Plain

Methods

showsPrec :: Int -> PlainInh -> ShowS

show :: PlainInh -> String

showList :: [PlainInh] -> ShowS

defPlainInh :: PlainInh

Type PlainFit

type PlainFit d = (d -> d) -> (d -> d) -> d

Double continuation to qualify the returned document as fitting or overflowing the given plainInh_width. It's like (Bool,d) in a normal style (a non continuation-passing-style).

Type PlainChunk

data PlainChunk d

Constructors

PlainChunk_Ignored d

Ignored by the justification but kept in place. Used for instance to put ANSI sequences.

PlainChunk_Word (Word d)

PlainChunk_Spaces Width

spaces preserved to be interleaved correctly with PlainChunk_Ignored.

Instances

Show d => Show (PlainChunk d)

Defined in Symantic.Document.Plain

Methods

showsPrec :: Int -> PlainChunk d -> ShowS

show :: PlainChunk d -> String

showList :: [PlainChunk d] -> ShowS

Lengthable d => Lengthable (PlainChunk d)

Defined in Symantic.Document.Plain

Methods

width :: PlainChunk d -> Column

nullWidth :: PlainChunk d -> Bool

From [SGR] d => From [SGR] (PlainChunk d)

Defined in Symantic.Document.Plain

Methods

from :: [SGR] -> PlainChunk d

runPlainChunk :: Spaceable d => PlainChunk d -> d

flushLine :: Spaceable d => Plain d

Commit plainState_buffer upto there, so that it won't be justified.

collapseSpaces :: PlainChunk d -> PlainChunk d

joinLine :: Spaceable d => PlainInh -> PlainState d -> d

countWords :: [PlainChunk d] -> Natural

(countWords ps) returns the number of words in (ps) clearly separated by spaces.

justifyPadding :: Natural -> Natural -> [Natural]

(justifyPadding a b) returns the padding lengths to reach (a) in (b) pads, using the formula: (a == m*(q + q+1) + ('r'-'m)*(q+1) + (b'-'r'-'m)*q) where (q+1) and (q) are the two padding lengths used and (m = min (b-r) r).

A simple implementation of justifyPadding could be: justifyPadding a b = join (replicate m [q,q+1]) <> (replicate (r-m) (q+1) <> (replicate ((b-r)-m) q where (q,r) = adivModb m = min (b-r) r

padPlainLineInits :: Spaceable d => Width -> (Natural, Natural, [PlainChunk d]) -> Line d

joinPlainLine :: Monoid d => Spaceable d => [PlainChunk d] -> d

Just concat PlainChunks with no justification.

padPlainLine :: Spaceable d => [PlainChunk d] -> [Width] -> d

Interleave PlainChunks with Widths from justifyPadding.