Stability | experimental |
---|---|
Safe Haskell | None |
Language | Haskell2010 |
A parser for Egison pattern expressions in Haskell source code.
Synopsis
- type Expr = Expr (QName ()) (Name ()) (Exp SrcSpanInfo)
- type ExprL = ExprL (QName ()) (Name ()) (Exp SrcSpanInfo)
- data ParseMode = ParseMode {
- haskellMode :: ParseMode
- fixities :: Maybe [ParseFixity (QName ()) String]
- parseExpr :: MonadError (Errors String) m => ParseMode -> String -> m Expr
- parseExprL :: MonadError (Errors String) m => ParseMode -> String -> m ExprL
- makeParseMode :: ParseMode -> ParseMode (QName ()) (Name ()) (Exp SrcSpanInfo) String
- makeFixity :: Fixity -> Fixity (QName ())
- makeParseFixity :: Fixity (QName ()) -> Maybe (ParseFixity (QName ()) String)
Parsers
type Expr = Expr (QName ()) (Name ()) (Exp SrcSpanInfo) Source #
Type synonym of Expr
to be parsed in Haskell's source code.
type ExprL = ExprL (QName ()) (Name ()) (Exp SrcSpanInfo) Source #
Type synonym of ExprL
to be parsed in Haskell's source code.
Parser configuration in egison-pattern-src-haskell-mode
.
ParseMode | |
|
Instances
Parsable Expr String ParseMode Source # | |
Defined in Language.Egison.Parser.Pattern.Mode.Haskell 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) # |
parseExprL :: MonadError (Errors String) m => ParseMode -> String -> m ExprL Source #
Converting haskell-src-exts
's entities
makeParseMode :: ParseMode -> ParseMode (QName ()) (Name ()) (Exp SrcSpanInfo) String Source #
makeParseFixity :: Fixity (QName ()) -> Maybe (ParseFixity (QName ()) String) Source #
Build ParseFixity
using Fixity
to parse Haskell-style operators