Text.Syntax.Printer.List

This module includes a naive printer implementation for Syntax.

Syntax instance Printer type

data Printer tok alpha

Naive Printer type. Print alpha into [tok].

Instances

Eq tok => Syntax tok (Printer tok)

Syntax instance for Printer. Print token into singleton.

IsoFunctor (Printer tok)

IsoFunctor instance for Printer. Unapplying Iso and print.

AbstractSyntax (Printer tok)

AbstractSyntax instance for Printer. Match parsed result and success.

TryAlternative (Printer tok)

TryAlternative instance for Printer. Along with default definition.

IsoAlternative (Printer tok)

IsoAlternative instance for Printer. Print first or second.

ProductFunctor (Printer tok)

ProductFunctor instance for Printer. Just print sequential.

runPrinter :: Printer tok alpha -> alpha -> Maybe [tok]

Function to run printer

Print action

printM :: Monad m => Printer tok alpha -> alpha -> m [tok]

Expect print side effect.

Poly-morphic wrapper of runPrinter

type RunAsPrinter tok a e = RunAsPrinter tok [tok] a e

Specialized RunAsPrinter type into list.

type RunAsStringPrinter a e = RunAsPrinter Char a e

Specialized RunAsPrinter type into String.

runAsPrinter :: Eq tok => RunAsPrinter tok a ErrorString

Run Syntax type as Printer.