category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
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 (~>) whereSource
Methods
cdyid :: w a ~> m aSource
newtype DiKleisli w m (~>) a b Source
Constructors
DiKleisli
runDiKleisli :: w a ~> m b
show/hide Instances
CDyad w m k => Category (DiKleisli w m k)
Produced by Haddock version 2.4.2