target-0.2.0.1: Generate test-suites from refinement types.
Test.Target.Expr
eq :: Expr -> Expr -> Pred infix 4 Source
ge :: Expr -> Expr -> Pred infix 5 Source
le :: Expr -> Expr -> Pred infix 5 Source
gt :: Expr -> Expr -> Pred infix 5 Source
lt :: Expr -> Expr -> Pred infix 5 Source
iff :: Pred -> Pred -> Pred infix 3 Source
imp :: Pred -> Pred -> Pred infix 3 Source
app :: Symbolic a => a -> [Expr] -> Expr Source
var :: Symbolic a => a -> Expr Source
prop :: Expr -> Pred Source