category-extras-0.53.5: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.Coideal

Contents

Description

 

Synopsis

Coideal Comonads

class Functor w => ComonadCoideal w whereSource

Methods

coidealize :: w a -> w (a, w a)Source

type Coideal = Ap (,)Source

coideal :: (a, f a) -> Coideal f aSource

buildCoideal :: Coalgebra m a -> a -> Coideal m aSource

Mutual recursion for (co)ideal (co)monad (co)products

newtype Mutual p m n a Source

Constructors

Mutual 

Fields

runMutual :: m (p a (Mutual p n m a))
 

Instances

Coideal Comonad Product

type :* m n = Mutual' (,) m nSource