category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Dyad
Portabilityportable
Stabilityexperimental
MaintainerEdward 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
Methods
cdyid :: w a ~> m a
newtype DiKleisli w m (~>) a b
Constructors
DiKleisli
runDiKleisli :: w a ~> m b
show/hide Instances
CDyad w m k => Category (DiKleisli w m k)
Produced by Haddock version 2.1.0