Description

# Documentation

Minimal complete definition

cohoist

Methods

cohoist :: (Comonad w, Comonad v) => (forall x. w x -> v x) -> t w a -> t v a #

Given any comonad-homomorphism from w to v this yields a comonad homomorphism from t w to t v.

Instances

 # Methodscohoist :: (Comonad w, Comonad v) => (forall x. w x -> v x) -> IdentityT * w a -> IdentityT * v a # # Methodscohoist :: (Comonad w, Comonad v) => (forall x. w x -> v x) -> EnvT e w a -> EnvT e v a # # Methodscohoist :: (Comonad w, Comonad v) => (forall x. w x -> v x) -> StoreT s w a -> StoreT s v a # # Methodscohoist :: (Comonad w, Comonad v) => (forall x. w x -> v x) -> TracedT m w a -> TracedT m v a #