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.

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

Parse Expr using ParseMode from haskell-src-exts.

parseExprWithFixities :: MonadError (Errors String) m => ParseMode -> [Fixity] -> String -> m Expr

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.

Converting haskell-src-exts's entities

type ParseMode = ParseMode (QName ()) (Name ()) (Exp SrcSpanInfo) String

Type synonym of ParseMode to parse Expr.

type ParseFixity = ParseFixity (QName ()) String

Type synonym of ParseFixity to parse Expr.

type Fixity = Fixity (QName ())

Type synonym of Fixity to parse Expr.

makeHaskellMode :: ParseMode -> ParseMode

Build ParseMode using ParseMode from haskell-src-exts.

makeFixity :: Fixity -> Fixity

Build Fixity using Fixity from haskell-src-exts. Note that a built-in constructor with special syntax, that is represented as Special in QName, is just ignored here.

makeParseFixity :: Fixity -> Maybe ParseFixity

Build ParseFixity using Fixity to parse Haskell-style operators Note that a built-in constructor with special syntax, that is represented as Special in QName, is just ignored here.

makeParseFixities :: [Fixity] -> [ParseFixity]

makeParseFixities = mapMaybe $ makeParseFixity . makeFixity