Comonads in base library

Comonads are useful as heck, and should be in the base library. This could allow codo notation (e.g. https://www.cl.cam.ac.uk/~dao29/publ/codo-notation-orchard-ifl12.pdf ) in the future.

It shouldn't be hard at all to do - just basically copy Edward's comonad package :)

Trac metadata

Trac field	Value
Version
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Core Libraries
Test case
Differential revisions
BlockedBy
Related
Blocking
CC	core-libraries-committee@haskell.org
Operating system
Architecture

changed weight to 5

added Tfeature request Trac import core libraries labels

This really should be submitted to the libraries@haskell.org mailing list as a formal proposal if you want to see it move forward.

changed milestone to %8.0.1

Milestone renamed

I think we ought to not simply copy ekmett's comonad thoughtlessly. In particular, we ought to consider how this would interact with such other base classes as Applicative, as we may want Apply which ought to be a superclass of Applicative; and the names of the Comonadic methods, as I much prefer (copure, cobind, cojoin) as (extract, extend, duplicate) seem a little random and are mnemonically poor in comparison if one already knows Applicative and Monad.

Trac metadata

Trac field	Value
CC	core-libraries-committee@haskell.org → core-libraries-committee@haskell.org, ekmett

closed

Please submit a libraries proposal first, as mentioned in ticket:9865#comment:93150, and then reopen this ticket.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedInvalid

added Pnormal label