| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Jikka.Core.Language.QuasiRules
Contents
Synopsis
- r :: QuasiQuoter
- module Jikka.Core.Language.Expr
- alphaExpr :: (MonadAlpha m, MonadError Error m) => [(VarName, Type)] -> Expr -> m Expr
- makeRewriteRule :: Monad m => String -> (RewriteEnvironment -> Expr -> m (Maybe Expr)) -> RewriteRule m
- genVarName' :: MonadAlpha m => m VarName
Documentation
r :: QuasiQuoter Source #
Things which r uses.
module Jikka.Core.Language.Expr
alphaExpr :: (MonadAlpha m, MonadError Error m) => [(VarName, Type)] -> Expr -> m Expr Source #
makeRewriteRule :: Monad m => String -> (RewriteEnvironment -> Expr -> m (Maybe Expr)) -> RewriteRule m Source #
genVarName' :: MonadAlpha m => m VarName Source #