libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.
CSPM.Evaluator.DeclBind
bindDecls :: [TCDecl] -> EvaluationMonad [(Name, Value)]Source
valuesForChannel :: Name -> EvaluationMonad [ValueSet]Source
valuesForDataTypeClause :: Name -> EvaluationMonad [ValueSet]Source