Skip to content

Commit

Permalink
Correct Haddock link: link to Sing pattern, not Sing type family
Browse files Browse the repository at this point in the history
  • Loading branch information
tomjaguarpaw authored and RyanGlScott committed Jun 1, 2024
1 parent 7e5c92d commit 7897f09
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion singletons/src/Data/Singletons.hs
Original file line number Diff line number Diff line change
Expand Up @@ -233,7 +233,7 @@ various drawbacks:
-- constraint, whereas using 'fromSing' requires a 'SingKind K' constraint.
--
-- If you need to satisfy this constraint with an explicit singleton, please
-- see 'withSingI' or the 'Sing' pattern synonym.
-- see 'withSingI' or the v'Sing' pattern synonym.
#if __GLASGOW_HASKELL__ >= 900
type SingI :: forall {k}. k -> Constraint
#endif
Expand Down

0 comments on commit 7897f09

Please sign in to comment.