Skip to content

Instantly share code, notes, and snippets.

@runarorama

runarorama/adj.hs

Last active September 17, 2015 17:19
Show Gist options
  • Save runarorama/aeff7d899241b5e84c70 to your computer and use it in GitHub Desktop.
Save runarorama/aeff7d899241b5e84c70 to your computer and use it in GitHub Desktop.
Download ZIP
Forgetful/Cofree adjunction
Raw
adj.hs
leftAdjunct :: (Comonad f) => (forall b. f b -> g b) -> f a -> Cofree g a
leftAdjunct f z = extract z :< f (z =>> leftAdjunct f)
rightAdjunct :: (forall b. f b -> Cofree g b) -> f a -> g a
rightAdjunct = _
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment