Changeset [88bddf90f3f22143be928a9d0196cf1891102525] by Douglas Creager
November 6th, 2008 @ 09:30 PM
Helper methods for evaluating CSPM expressions
This patch introduces two helper functions for evaluating CSPM expressions: evaluateWith and evaluate. They wrap together the act of binding an expression, creating an Eval monad instance, and running that instance. evaluateWith allows you to specify which evaluator to use, in case you need to coerce the value that results. In most cases, though, you can use evaluate as follows:
evaluate env expr http://github.com/dcreager/hst/c...
Committed by Douglas Creager
- M cspm/src/HST/CSPM/Environments.hs
- M cspm/src/HST/CSPM/Evaluate.hs
- M cspm/tests/HST/CSPM/Tests/Booleans.hs
- M cspm/tests/HST/CSPM/Tests/Lambdas.hs
- M cspm/tests/HST/CSPM/Tests/Lets.hs
- M cspm/tests/HST/CSPM/Tests/Numbers.hs
- M cspm/tests/HST/CSPM/Tests/Sequences.hs
- M cspm/tests/HST/CSPM/Tests/Sets.hs
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.