#9865: Comonads in base library -------------------------------------+------------------------------------- Reporter: spacekitteh | Owner: Type: feature request | Status: new Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by strake888): * cc: ekmett (added) Comment: 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. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9865#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler