We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e992eef commit da9ff3aCopy full SHA for da9ff3a
src/Data/Coyoneda.purs
@@ -103,11 +103,11 @@ unCoyoneda f (Coyoneda e) = runExists (\(CoyonedaF k fi) -> f k fi) e
103
104
-- | Lift a value described by the type constructor `f` to `Coyoneda f`.
105
-- |
106
--- | Note that for any `f` `liftCoyoneda` has a right inverse
+-- | Note that for any functor `f` `liftCoyoneda` has a right inverse
107
-- | `lowerCoyoneda`:
108
-- | ```purescript
109
-- | liftCoyoneda <<< lowerCoyoneda $ (Coyoneda e)
110
--- | = liftCoyoneda <<< unCoyoneda map $ (Coyonead e)
+-- | = liftCoyoneda <<< unCoyoneda map $ (Coyoneda e)
111
-- | = liftCoyonead (runExists (\(CoyonedaF k fi) -> map k fi) e)
112
-- | = liftCoyonead (Coyoneda e)
113
-- | = coyoneda id (Coyoneda e)
0 commit comments