Data.Comp.Param.Ditraversable

This module defines traversable difunctors.

Documentation

class Difunctor f => Ditraversable f where

Difunctors representing data structures that can be traversed from left to right.

Methods

dimapM :: Monad m => (b -> m c) -> f a b -> m (f a c)

disequence :: Monad m => f a (m b) -> m (f a b)

Instances

Ditraversable f => Ditraversable (f :&: p)

Defined in Data.Comp.Param.Ops

Methods

dimapM :: Monad m => (b -> m c) -> (f :&: p) a b -> m ((f :&: p) a c)

disequence :: Monad m => (f :&: p) a (m b) -> m ((f :&: p) a b)

(Ditraversable f, Ditraversable g) => Ditraversable (f :+: g)

Defined in Data.Comp.Param.Ops

Methods

dimapM :: Monad m => (b -> m c) -> (f :+: g) a b -> m ((f :+: g) a c)

disequence :: Monad m => (f :+: g) a (m b) -> m ((f :+: g) a b)