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 667c453 commit 96a4cf1Copy full SHA for 96a4cf1
src/Data/Coyoneda.purs
@@ -44,7 +44,7 @@ instance comonadCoyoneda :: (Comonad w) => Comonad (Coyoneda w) where
44
extract (Coyoneda e) = runExists (\(CoyonedaF w) -> w.k $ extract w.fi) e
45
46
coyoneda :: forall f a b. (a -> b) -> f a -> Coyoneda f b
47
-coyoneda k fi = k <$> liftCoyoneda fi
+coyoneda k fi = Coyoneda $ mkExists $ CoyonedaF { k: k, fi: fi }
48
49
liftCoyoneda :: forall f a. f a -> Coyoneda f a
50
liftCoyoneda fa = Coyoneda $ mkExists $ CoyonedaF { k: id, fi: fa }
0 commit comments