Portability	portable
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Control.Dyad

Description

Working Towards Maarten Fokkinga's Dyads

Documentation

class (CDistributes w m ~>, CDistributes m w ~>, CExtend w ~>, CBind m ~>) => CDyad w m (~>) whereSource

Methods

cdyid :: w a ~> m aSource

newtype DiKleisli w m (~>) a b Source

Constructors

DiKleisli
Fields runDiKleisli :: w a ~> m b

Instances