 | category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
| Control.Dyad |
|
| Methods | |
|
| Constructors | ||||||
| ||||||
 Instances | ||||||
| ||||||||||
| ||||||||||
| Description | ||||||||||
| Working Towards Maarten Fokkinga's Dyads | ||||||||||
| Documentation | ||||||||||
| class (CDistributes w m ~>, CDistributes m w ~>, CExtend w ~>, CBind m ~>) => CDyad w m (~>) where | ||||||||||
| ||||||||||
| newtype DiKleisli w m (~>) a b | ||||||||||
| ||||||||||
| Produced by Haddock version 2.1.0 | ||||||||||