| |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||||||||||||||
emptyEnv :: (MonadIO m, MonadSTM m) => String -> [STM (Pad -> Pad)] -> m Env | |||||||||||||||||||||||||||||||||||||
evaluateMain :: Exp -> Eval Val | |||||||||||||||||||||||||||||||||||||
evaluate | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
findSyms :: Var -> Eval [(String, Val)] | |||||||||||||||||||||||||||||||||||||
enterEvalContext :: Cxt -> Exp -> Eval Val | |||||||||||||||||||||||||||||||||||||
retVal :: Val -> Eval Val | |||||||||||||||||||||||||||||||||||||
trapVal :: Val -> Eval a -> Eval a | |||||||||||||||||||||||||||||||||||||
evalVar :: Ident -> Eval Val | |||||||||||||||||||||||||||||||||||||
findVar :: Ident -> Eval (Maybe VRef) | |||||||||||||||||||||||||||||||||||||
findVarRef :: Ident -> Eval (Maybe (TVar VRef)) | |||||||||||||||||||||||||||||||||||||
getMagical | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
reduce | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
cxtOfExp | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
chainFun :: Params -> Exp -> Params -> Exp -> [Val] -> Eval Val | |||||||||||||||||||||||||||||||||||||
applyExp :: [ApplyArg] -> Exp -> Eval Val | |||||||||||||||||||||||||||||||||||||
apply :: VCode -> [Exp] -> [Exp] -> Eval Val | |||||||||||||||||||||||||||||||||||||
doApply :: Env -> VCode -> [Exp] -> [Exp] -> Eval Val | |||||||||||||||||||||||||||||||||||||
doFetch :: (Val -> Eval (IVar VScalar)) -> (Val -> Eval Val) -> (forall v . Value v => Eval v) -> Bool -> Bool -> Eval Val | |||||||||||||||||||||||||||||||||||||
mkFetch :: Value n => Eval (n -> Eval t) -> Val -> Eval t | |||||||||||||||||||||||||||||||||||||
Produced by Haddock version ADDOCK_VERSION |