| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Dyad | Portability | portable | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
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 |
Constructors | DiKleisli | | runDiKleisli :: w a ~> m b | |
|
| Instances | |
|
|
Produced by Haddock version 2.1.0 |