Language.Egison.Pretty.Pattern.Mode.Haskell.TH

A printer for Egison pattern expressions to use with Template Haskell.

Printers

type Expr = Expr Name Name Exp

Type synonym of Expr to be printed with Template Haskell.

prettyExpr :: MonadError (Error Name) m => Expr -> m Text

Print Expr.

prettyExprWithFixities :: MonadError (Error Name) m => [Fixity] -> Expr -> m Text

Print Expr with an explicit list of Fixity.

Converting template-haskell's entities

type PrintMode = PrintMode Name Name Exp

Type synonym of PrintMode to print Expr.

type PrintFixity = PrintFixity Name

Type synonym of PrintFixity to print Expr.

type Fixity = Fixity Name

Type synonym of Fixity to print Expr.

makeTHMode :: [Fixity] -> PrintMode

Build PrintMode using the list of fixities.

makePrintFixity :: Fixity -> PrintFixity

Build PrintFixity using Fixity to print Haskell operators.