robrix/freer-cofreer

freer monads and cofreer comonads.

★ 24Forks 1HaskellGitHub ↗Compare

comonads haskell monads

Issues

Cofreer should be modelled on Yoneda instead of Coyoneda

#16 · open · 0 comments

Document the relationship with (Co)Yoneda

#15 · open · 0 comments

Add an interpreter for Op to the README

#9 · open · 0 comments

High-level documentation of the operational approach

#2 · open · 1 comments

Write API documentation for all of the Freer & Cofreer symbols

#1 · open · 2 comments