liquidhaskell-0.8.0.2: Liquid Types for Haskell
Test.Target.Expr
Contents
eq :: Expr -> Expr -> Expr infix 4 Source #
ge :: Expr -> Expr -> Expr infix 5 Source #
le :: Expr -> Expr -> Expr infix 5 Source #
gt :: Expr -> Expr -> Expr infix 5 Source #
lt :: Expr -> Expr -> Expr infix 5 Source #
iff :: Expr -> Expr -> Expr infix 3 Source #
imp :: Expr -> Expr -> Expr infix 3 Source #
app :: Symbolic a => a -> [Expr] -> Expr Source #
var :: Symbolic a => a -> Expr Source #
prop :: Expr -> Expr Source #
Methods
(+) :: Expr -> Expr -> Expr #
(-) :: Expr -> Expr -> Expr #
(*) :: Expr -> Expr -> Expr #
negate :: Expr -> Expr #
abs :: Expr -> Expr #
signum :: Expr -> Expr #
fromInteger :: Integer -> Expr #