Permalink
Browse files

Fix the docs

  • Loading branch information...
1 parent 4dbaee3 commit c02b867f5544480b3a40ecb7b1c25c980c9b7a0d @feuerbach committed Mar 13, 2013
Showing with 4 additions and 3 deletions.
  1. +4 −3 Data/Generics/Traversable.hs
@@ -6,9 +6,10 @@
--
-- The context, denoted @c@, is a constraint (of kind @* -> Constraint@)
-- that provides additional facilities to work with the data. Most
--- functions take an argument of type @p c@ as an argument; it's used to
--- disambugate which context you are referring to. @p@ can be 'Proxy' from
--- the @tagged@ package or any other suitable type constructor.
+-- functions take an implicit parameter @?c :: p c@; it's
+-- used to disambugate which context you are referring to. @p@ can be
+-- 'Proxy' from the @tagged@ package or any other suitable type
+-- constructor.
--
-- For more information, see:
--

0 comments on commit c02b867

Please sign in to comment.