Stability | experimental |
---|---|
Safe Haskell | None |
Language | Haskell2010 |
A parser for Egison pattern expressions to use with Template Haskell.
Synopsis
- type Expr = Expr Name Name Exp
- parseExpr :: MonadError (Errors String) m => ParseMode -> String -> m Expr
- parseExprWithFixities :: MonadError (Errors String) m => ParseMode -> [Fixity] -> String -> m Expr
- parseExprWithParseFixities :: MonadError (Errors String) m => ParseMode -> [ParseFixity] -> String -> m Expr
- toTH :: Expr (QName l1) (Name l2) (Exp l3) -> Expr
Parsers
parseExprWithFixities :: MonadError (Errors String) m => ParseMode -> [Fixity] -> String -> m Expr Source #
parseExprWithParseFixities :: MonadError (Errors String) m => ParseMode -> [ParseFixity] -> String -> m Expr Source #
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.