compdata-0.7.0.1: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerTom Hvitved <hvitved@diku.dk>
Safe HaskellSafe-Inferred

Data.Comp.Param.Ditraversable

Description

This module defines traversable difunctors.

Synopsis

Documentation

class Difunctor f => Ditraversable f whereSource

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)Source

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