egison-4.1.3: Programming language with non-linear pattern-matching against non-free data

License	MIT
Safe Haskell	None
Language	Haskell2010

Language.Egison.Core

Contents

Evaluation
Environment
Pattern matching

Description

This module provides functions to evaluate various objects.

Synopsis

evalExprShallow :: Env -> IExpr -> EvalM WHNFData
evalExprDeep :: Env -> IExpr -> EvalM EgisonValue
evalWHNF :: WHNFData -> EvalM EgisonValue
recursiveBind :: Env -> [(Var, IExpr)] -> EvalM Env
patternMatch :: PMMode -> Env -> IPattern -> WHNFData -> Matcher -> EvalM (MList EvalM Match)

Evaluation

evalExprShallow :: Env -> IExpr -> EvalM WHNFData Source #

evalExprDeep :: Env -> IExpr -> EvalM EgisonValue Source #

evalWHNF :: WHNFData -> EvalM EgisonValue Source #

Environment

recursiveBind :: Env -> [(Var, IExpr)] -> EvalM Env Source #

Pattern matching

patternMatch :: PMMode -> Env -> IPattern -> WHNFData -> Matcher -> EvalM (MList EvalM Match) Source #