diff options
| -rw-r--r-- | libraries/base/Data/Type/Equality.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libraries/base/Data/Type/Equality.hs b/libraries/base/Data/Type/Equality.hs index 3b11add5f0..fe41b578ca 100644 --- a/libraries/base/Data/Type/Equality.hs +++ b/libraries/base/Data/Type/Equality.hs @@ -152,14 +152,14 @@ deriving instance a ~~ b => Bounded (a :~~: b) -- The result should be @Just Refl@ if and only if the types applied to @f@ are -- equal: -- --- @TestEquality (x :: f a) (y :: f b) = Just Refl ⟺ a = b@ +-- @testEquality (x :: f a) (y :: f b) = Just Refl ⟺ a = b@ -- -- Typically, only singleton types should inhabit this class. In that case type -- argument equality coincides with term equality: -- --- @TestEquality (x :: f a) (y :: f b) = Just Refl ⟺ a = b ⟺ x = y@ +-- @testEquality (x :: f a) (y :: f b) = Just Refl ⟺ a = b ⟺ x = y@ -- --- @isJust (TestEquality x y) = x == y@ +-- @isJust (testEquality x y) = x == y@ -- -- Singleton types are not required, however, and so the latter two would-be -- laws are not in fact valid in general. |