@@ -250,7 +250,7 @@ instance GNameOf (G.D1 ('G.MetaData name a b c) d) name
250250
251251{- TEN -}
252252
253- -- In the standard library, we have a series of @liftA*@ functions, such as
253+ -- | In the standard library, we have a series of @liftA*@ functions, such as
254254-- 'liftA2', 'liftA3', 'liftA4'... wouldn't it be nice if we just had /one/
255255-- function called 'lift' that generalised all these?
256256--
@@ -264,14 +264,14 @@ instance GNameOf (G.D1 ('G.MetaData name a b c) d) name
264264-- liftA3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
265265-- liftA3 = lift
266266
267- -- Write this function, essentially generalising the f <$> a <*> b <*> c...
267+ -- | Write this function, essentially generalising the f <$> a <*> b <*> c...
268268-- pattern. It may help to see it as pure f <*> a <*> b <*> c..., and start
269269-- with a function like this:
270270
271271-- lift :: (Applicative f, Lift f i o) => i -> o
272272-- lift = lift' . pure
273273
274- -- @class Lift f i o ... where lift' :: ...@ is your job! If you get this
274+ -- | @class Lift f i o ... where lift' :: ...@ is your job! If you get this
275275-- right, perhaps with some careful use of @INCOHERENT@, equality constraints,
276276-- and functional dependencies, you should be able to get some pretty amazing
277277-- type inference:
0 commit comments