Dodo.Internal

type Position = { column :: Int, indent :: Int, line :: Int, nextIndent :: Int, pageWidth :: Int, ribbonWidth :: Int }

Document lines and columns are 0-based offsets.

data Doc a

Documents are built using <> as horizontal, line-wise concatenation. The functions in this module let you build documents that respond well to width constraints (such as flexGroup and flexAlt).

Constructors

• Append (Doc a) (Doc a)
• Indent (Doc a)
• Align Int (Doc a)
• Annotate a (Doc a)
• FlexSelect (Doc a) (Doc a) (Doc a)
• FlexAlt (Doc a) (Doc a)
• WithPosition (Position -> Doc a)
• Local (LocalOptions -> Tuple LocalOptions (Doc a))
• Text Int String
• Break
• Empty

Instances

• Functor Doc
• Semigroup (Doc a)
• Monoid (Doc a)

type LocalOptions = { indent :: Int, indentSpaces :: String, indentUnit :: String, indentWidth :: Int, pageWidth :: Int, ribbonRatio :: Number }

bothNotEmpty :: forall a. (Doc a -> Doc a -> Doc a) -> Doc a -> Doc a -> Doc a

Only applies the provided function if both documents are non-empty, otherwise just yields whichever is non-empty.

notEmpty :: forall a. (Doc a -> Doc a) -> Doc a -> Doc a

Only applies the provided function if the document is non-empty.

isEmpty :: forall a. Doc a -> Boolean

Checks whether the document is empty.