| Safe Haskell | None |
|---|
CSPM.Evaluator.DeclBind
- bindDecls :: [TCDecl] -> EvaluationMonad [(Name, EvaluationMonad Value)]
Documentation
bindDecls :: [TCDecl] -> EvaluationMonad [(Name, EvaluationMonad Value)]Source
Given a list of declarations, returns a sequence of names bounds to
values that can be passed to addScopeAndBind in order to bind them in
the current scope.