Language.Egison.Parser.Pattern.Mode.Haskell.TH

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

Parsers

type Expr = Expr Name Name Exp

Type synonym of Expr to be used with Template Haskell.

parseExpr :: MonadError (Errors String) m => ParseMode -> String -> m Expr

Parse Expr using ParseMode from haskell-src-exts.

parseExprWithFixities :: MonadError (Errors String) m => ParseMode -> [Fixity] -> String -> m Expr

Parse Expr using ParseMode from haskell-src-exts, while supplying an explicit list of Fixity. Note that fixities obtained from ParseMode are just ignored here.

parseExprWithParseFixities :: MonadError (Errors String) m => ParseMode -> [ParseFixity] -> String -> m Expr

Parse Expr using ParseMode from haskell-src-exts, while supplying an explicit list of ParseFixity. Note that fixities obtained from ParseMode are just ignored here.

Converting Expr

toTH :: Expr (QName l1) (Name l2) (Exp l3) -> Expr

Convert Expr with haskell-src-exts AST into Expr with Template Haskell AST