liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

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 Val -> Reft -> Expr -> Target Bool Source #

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

evalExpr :: Expr -> HashMap Symbol Val -> Target Val Source #