Skip to content

Commit

Permalink
Fix Haddock
Browse files Browse the repository at this point in the history
This single quotes weren't treated specially by Haddock, because they
don't enclose a single identifier.
  • Loading branch information
tomjaguarpaw committed Jun 1, 2024
1 parent 65c9138 commit de7007f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions singletons/src/Data/Singletons.hs
Original file line number Diff line number Diff line change
Expand Up @@ -229,8 +229,8 @@ various drawbacks:
-- @
--
-- Here, @f@ uses methods from both 'SingI' and 'SingKind'. However, the shape
-- of each constraint is rather different: using 'sing' requires a 'SingI T'
-- constraint, whereas using 'fromSing' requires a 'SingKind K' constraint.
-- of each constraint is rather different: using 'sing' requires a @SingI T@
-- 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 v'Sing' pattern synonym.
Expand Down

0 comments on commit de7007f

Please sign in to comment.