diff options
| author | Bodigrim <andrew.lelechenko@gmail.com> | 2022-11-15 00:14:59 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-11-15 21:36:41 -0500 |
| commit | 02d3511b8d248ea9429512830f8f17b31688a6a6 (patch) | |
| tree | f88db81b917d0b912157828180bd1831aea08868 | |
| parent | 94549f8fd6b40072a58125cffd21e387e709dd9c (diff) | |
| download | haskell-02d3511b8d248ea9429512830f8f17b31688a6a6.tar.gz | |
Fix capitalization in haddock for TestEquality
| -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. |