target-0.1.3.0: Generate test-suites from refinement types.

Safe HaskellNone
LanguageHaskell2010

Test.Target.Eval

Synopsis

Documentation

eval :: Reft -> Expr -> Target Bool Source

Evaluate a refinement with the given expression substituted for the value variable.

evalWith :: HashMap Symbol Expr -> Reft -> Expr -> Target Bool Source

Evaluate a refinement with the given expression substituted for the value variable, in the given environment of free symbols.