liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Test.Target.Expr

Contents

Documentation

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 #

Orphan instances

Num Expr Source # 

Methods

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

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

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

negate :: Expr -> Expr #

abs :: Expr -> Expr #

signum :: Expr -> Expr #

fromInteger :: Integer -> Expr #