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.

type ExprL = ExprL Name Name Exp

Type synonym of ExprL to be used with Template Haskell.

data ParseMode

Parser configuration in egison-pattern-src-th-mode.

Constructors

ParseMode

Fields

• haskellMode :: ParseMode

  ParseMode from haskell-src-exts for our parsers to base on.

• fixities :: Maybe [ParseFixity Name String]

  List of fixities to parse infix pattern operators. If fixities = Just xs, xs overrides fixities obtained from haskellMode. Otherwise, our parsers use fixities from haskellMode.

Instances

Parsable Expr String ParseMode

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

Methods

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

parseWithLocation :: MonadError (Errors String) m => ParseMode -> String -> m (Cofree (Base Expr) Location)

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

parseNonGreedyWithLocation :: MonadError (Errors String) m => ParseMode -> String -> m (Cofree (Base Expr) Location, String)

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

Parse Expr using ParseMode.

parseExprL :: MonadError (Errors String) m => ParseMode -> String -> m ExprL

Parse Expr using ParseMode with locations annotated.

Converting haskell-src-exts's entities

makeParseMode :: ParseMode -> ParseMode Name Name Exp String

Build ParseMode using ParseMode from haskell-src-exts.

makeFixity :: Fixity -> Fixity Name

Build Fixity using Fixity from haskell-src-exts.

makeParseFixity :: Fixity Name -> ParseFixity Name String

Build ParseFixity using Fixity to parse Haskell-style operators