Skip to content
#

comonads

Star

Here are 10 public repositories matching this topic...

Language: All
Filter by language
All 10 Haskell 4 Idris 2 Coq 1 Elixir 1 PureScript 1 Scala 1

robrix / freer-cofreer

Star
Open

Document the relationship with (Co)Yoneda

robrix
robrix commented Apr 1, 2018

Then encodes the continuation passed to >>= in the same way as Coyoneda encodes the function passed to fmap; you can in fact arrive at a definition of Freer using Coyoneda:

data Freer f a where
  Return :: a -> Freer f a
  Then :: f b -> (b -> Freer f a) -> Freer f a

is isomorphic to

data Coyoneda f a where
  Coyoneda :: (b -> a) -> f b -> Coyon
Read more
help wanted

Improve this page

Add a description, image, and links to the comonads topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the comonads topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.