egison-pattern-src-th-mode-0.2.1.2: Parser and pretty printer for Egison pattern expressions to use with TH

Stability	experimental
Safe Haskell	None
Language	Haskell2010

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

Contents

Parsers
Converting haskell-src-exts's entities

Description

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

Synopsis

type Expr = Expr Name Name Exp
type ExprL = ExprL Name Name Exp
data ParseMode = ParseMode {
- haskellMode :: ParseMode
- fixities :: Maybe [ParseFixity Name String]
}
parseExpr :: MonadError (Errors String) m => ParseMode -> String -> m Expr
parseExprL :: MonadError (Errors String) m => ParseMode -> String -> m ExprL
makeParseMode :: ParseMode -> ParseMode Name Name Exp String
makeFixity :: Fixity -> Fixity Name
makeParseFixity :: Fixity Name -> ParseFixity Name String

Parsers

type Expr = Expr Name Name Exp Source #

Type synonym of Expr to be used with Template Haskell.

type ExprL = ExprL Name Name Exp Source #

Type synonym of ExprL to be used with Template Haskell.

data ParseMode Source #

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

Instances details

Parsable Expr String ParseMode Source #

Instance details

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 Source #

Parse Expr using ParseMode.

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

Parse Expr using ParseMode with locations annotated.

Converting `haskell-src-exts`'s entities

makeParseMode :: ParseMode -> ParseMode Name Name Exp String Source #

Build ParseMode using ParseMode from haskell-src-exts.

makeFixity :: Fixity -> Fixity Name Source #

Build Fixity using Fixity from haskell-src-exts.

makeParseFixity :: Fixity Name -> ParseFixity Name String Source #

Build ParseFixity using Fixity to parse Haskell-style operators