Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Types.Equality

Documentation

class REq a where #

Methods

(=*=) :: a -> a -> Bool #

Instances details

REq Expr #
Instance details Defined in Language.Haskell.Liquid.Types.Equality Methods (=*=) :: Expr -> Expr -> Bool #
REq Reft #
Instance details Defined in Language.Haskell.Liquid.Types.Equality Methods (=*=) :: Reft -> Reft -> Bool #
REq SpecType #
Instance details Defined in Language.Haskell.Liquid.Types.Equality Methods (=*=) :: SpecType -> SpecType -> Bool #
REq r => REq (Located r) #
Instance details Defined in Language.Haskell.Liquid.Types.Equality Methods (=*=) :: Located r -> Located r -> Bool #
REq (UReft Reft) #
Instance details Defined in Language.Haskell.Liquid.Types.Equality Methods (=*=) :: UReft Reft -> UReft Reft -> Bool #
REq t2 => REq (Ref t1 t2) #
Instance details Defined in Language.Haskell.Liquid.Types.Equality Methods (=*=) :: Ref t1 t2 -> Ref t1 t2 -> Bool #