egison-pattern-src-haskell-mode-0.1.1.0: Parser and pretty printer for Egison pattern expressions in Haskell source code

Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Language.Egison.Parser.Pattern.Mode.Haskell

Contents

Description

A parser for Egison pattern expressions in Haskell source code.

Synopsis

Parsers

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

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

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

Parse Expr using ParseMode from haskell-src-exts.

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

Parse Expr using ParseMode from haskell-src-exts, while supplying an explicit list of Fixity. Note that fixities obtained from ParseMode are just ignored here.

parseExprWithParseFixities :: MonadError (Errors String) m => ParseMode -> [ParseFixity] -> String -> m Expr Source #

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

Type synonym of ParseMode to parse Expr.

type ParseFixity = ParseFixity (QName ()) String Source #

Type synonym of ParseFixity to parse Expr.

type Fixity = Fixity (QName ()) Source #

Type synonym of Fixity to parse Expr.

makeHaskellMode :: ParseMode -> ParseMode Source #

Build ParseMode using ParseMode from haskell-src-exts.

makeFixity :: Fixity -> Fixity Source #

Build Fixity using Fixity from haskell-src-exts.

makeParseFixity :: Fixity -> Maybe ParseFixity Source #

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.