Data.Syntax.Indent

Provides a very simple indentation as a "monad" transformer.

Documentation

data Indent m a

Adds indentation to a syntax description.

Instances

SemiIsoFunctor m => SemiIsoFunctor (Indent m)

SemiIsoApply m => SemiIsoApply (Indent m)

SemiIsoAlternative m => SemiIsoAlternative (Indent m)

SemiIsoMonad m => SemiIsoMonad (Indent m)

SemiIsoFix m => SemiIsoFix (Indent m)

Syntax syn seq => Syntax (Indent syn) seq

SyntaxChar syn seq => SyntaxChar (Indent syn) seq

runIndent :: Indent m a -> m () -> m a

runIndent m tab runs the Indent transformer using tab once for each level of indentation.

breakLine :: SyntaxChar syn seq => Indent syn ()

Inserts a new line and correct indentation, but does not require any formatting when parsing (it just skips all white space).

indented :: Indent m a -> Indent m a

Increases the indentation level of its argument by one.