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