Test.Target.Expr

Documentation

eq :: Expr -> Expr -> Expr infix 4

ge :: Expr -> Expr -> Expr infix 5

le :: Expr -> Expr -> Expr infix 5

gt :: Expr -> Expr -> Expr infix 5

lt :: Expr -> Expr -> Expr infix 5

iff :: Expr -> Expr -> Expr infix 3

imp :: Expr -> Expr -> Expr infix 3

app :: Symbolic a => a -> [Expr] -> Expr

var :: Symbolic a => a -> Expr

prop :: Expr -> Expr

Orphan instances

Num Expr

Methods

(+) :: Expr -> Expr -> Expr

(-) :: Expr -> Expr -> Expr

(*) :: Expr -> Expr -> Expr

negate :: Expr -> Expr

abs :: Expr -> Expr

signum :: Expr -> Expr

fromInteger :: Integer -> Expr