-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Parser and pretty printer for Egison pattern expressions in Haskell source code
--   
--   <tt>egison-pattern-src-haskell-mode</tt> provides a parser and pretty
--   printer for <tt>egison-pattern-src</tt> to use it in Haskell source
--   code. See <a>https://github.com/egison/egison-pattern-src</a> for more
--   information.
@package egison-pattern-src-haskell-mode
@version 0.2.1.2


-- | A parser for Egison pattern expressions in Haskell source code.
module Language.Egison.Parser.Pattern.Mode.Haskell

-- | Type synonym of <a>Expr</a> to be parsed in Haskell's source code.
type Expr = Expr (QName ()) (Name ()) (Exp SrcSpanInfo)

-- | Type synonym of <a>ExprL</a> to be parsed in Haskell's source code.
type ExprL = ExprL (QName ()) (Name ()) (Exp SrcSpanInfo)

-- | Parser configuration in <tt>egison-pattern-src-haskell-mode</tt>.
data ParseMode
ParseMode :: ParseMode -> Maybe [ParseFixity (QName ()) String] -> ParseMode

-- | <a>ParseMode</a> from <tt>haskell-src-exts</tt> for our parsers to
--   base on.
[haskellMode] :: ParseMode -> ParseMode

-- | List of fixities to parse infix pattern operators. If <tt>fixities =
--   Just xs</tt>, <tt>xs</tt> overrides fixities obtained from
--   <a>haskellMode</a>. Otherwise, our parsers use fixities from
--   <a>haskellMode</a>.
[fixities] :: ParseMode -> Maybe [ParseFixity (QName ()) String]

-- | Parse <a>Expr</a> using <a>ParseMode</a>.
parseExpr :: MonadError (Errors String) m => ParseMode -> String -> m Expr

-- | Parse <a>Expr</a> using <a>ParseMode</a> with locations annotated.
parseExprL :: MonadError (Errors String) m => ParseMode -> String -> m ExprL

-- | Build <a>ParseMode</a> using <a>ParseMode</a> from
--   <tt>haskell-src-exts</tt>.
makeParseMode :: ParseMode -> ParseMode (QName ()) (Name ()) (Exp SrcSpanInfo) String

-- | Build <a>Fixity</a> using <a>Fixity</a> from
--   <tt>haskell-src-exts</tt>.
makeFixity :: Fixity -> Fixity (QName ())

-- | Build <a>ParseFixity</a> using <a>Fixity</a> to parse Haskell-style
--   operators
makeParseFixity :: Fixity (QName ()) -> Maybe (ParseFixity (QName ()) String)
instance Language.Egison.Parser.Pattern.Parsable.Parsable Language.Egison.Parser.Pattern.Mode.Haskell.Expr GHC.Base.String Language.Egison.Parser.Pattern.Mode.Haskell.ParseMode


-- | A printer for Egison pattern expressions in Haskell source code.
module Language.Egison.Pretty.Pattern.Mode.Haskell

-- | Type synonym of <a>Expr</a> to be printed with Haskell's source code.
type Expr = Expr (QName ()) (Name ()) (Exp ())

-- | Print <a>Expr</a> using <a>Style</a> and <a>PPHsMode</a> from
--   <tt>haskell-src-exts</tt>.
prettyExpr :: MonadError (Error (QName ())) m => Style -> PPHsMode -> Expr -> m Text

-- | Print <a>Expr</a> using <a>Style</a> and <a>PPHsMode</a> from
--   <tt>haskell-src-exts</tt>, while supplying an explicit list of
--   <a>Fixity</a>.
prettyExprWithFixities :: MonadError (Error (QName ())) m => Style -> PPHsMode -> [Fixity] -> Expr -> m Text

-- | Type synonym of <a>PrintMode</a> to print <a>Expr</a>.
type PrintMode = PrintMode (QName ()) (Name ()) (Exp ())

-- | Type synonym of <a>PrintFixity</a> to print <a>Expr</a>.
type PrintFixity = PrintFixity (QName ())

-- | Type synonym of <a>Fixity</a> to print <a>Expr</a>.
type Fixity = Fixity (QName ())

-- | Build <a>PageMode</a> using <a>Style</a> from
--   <tt>haskell-src-exts</tt>.
makePageMode :: Style -> PageMode

-- | Build <a>PrintMode</a> using <a>Style</a> and <a>PPHsMode</a> from
--   <tt>haskell-src-exts</tt>, and the list of fixities.
makeHaskellMode :: Style -> PPHsMode -> [Fixity] -> PrintMode

-- | Build <a>PrintFixity</a> using <a>Fixity</a> to print Haskell
--   operators.
makePrintFixity :: Fixity -> PrintFixity