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

Safe HaskellNone
LanguageHaskell2010

Test.Target.Expr

Documentation

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