Language.Egison.Parser.Pattern.Mode.Haskell

A parser for Egison pattern expressions in Haskell source code.

Parsers

type Expr = Expr (QName ()) (Name ()) (Exp SrcSpanInfo)

Type synonym of Expr to be parsed in Haskell's source code.

type ExprL = ExprL (QName ()) (Name ()) (Exp SrcSpanInfo)

Type synonym of ExprL to be parsed in Haskell's source code.

data ParseMode

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

Constructors

ParseMode

Fields

• haskellMode :: ParseMode

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

• fixities :: Maybe [ParseFixity (QName ()) 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

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 (QName ()) (Name ()) (Exp SrcSpanInfo) String

Build ParseMode using ParseMode from haskell-src-exts.

makeFixity :: Fixity -> Fixity (QName ())

Build Fixity using Fixity from haskell-src-exts.

makeParseFixity :: Fixity (QName ()) -> Maybe (ParseFixity (QName ()) String)

Build ParseFixity using Fixity to parse Haskell-style operators