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


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


-- | A parser for Egison pattern expressions to use with Template Haskell.
module Language.Egison.Parser.Pattern.Mode.Haskell.TH

-- | Type synonym of <a>Expr</a> to be used with Template Haskell.
type Expr = Expr Name Name Exp

-- | Type synonym of <a>ExprL</a> to be used with Template Haskell.
type ExprL = ExprL Name Name Exp

-- | Parser configuration in <tt>egison-pattern-src-th-mode</tt>.
data ParseMode
ParseMode :: ParseMode -> Maybe [ParseFixity Name 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 Name 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 Name Name Exp String

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

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


-- | A printer for Egison pattern expressions to use with Template Haskell.
module Language.Egison.Pretty.Pattern.Mode.Haskell.TH

-- | Type synonym of <a>Expr</a> to be printed with Template Haskell.
type Expr = Expr Name Name Exp

-- | Print <a>Expr</a>.
prettyExpr :: MonadError (Error Name) m => Expr -> m Text

-- | Print <a>Expr</a> with an explicit list of <a>Fixity</a>.
prettyExprWithFixities :: MonadError (Error Name) m => [Fixity] -> Expr -> m Text

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

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

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

-- | Build <a>PrintMode</a> using the list of fixities.
makeTHMode :: [Fixity] -> PrintMode

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