category-extras-0.53.4: Various modules and constructs inspired by category theory Source code Contents Index

Control.Category

Documentation

(>>>) :: Category ~> => (a ~> b) -> (b ~> c) -> a ~> c Source

(<<<) :: Category ~> => (b ~> c) -> (a ~> b) -> a ~> c Source

class Category (~>) where Source

Methods (.) :: (b ~> c) -> (a ~> b) -> a ~> c Source id :: a ~> a Source Instances Category (->) Category Discrete Allegory k => Category (Map k) Category k => Category (Dual k) Comonad w => Category (CoKleisli w) (Comonad w, Monad m, Distributes w m) => Category (BiKleisli w m) CDyad w m k => Category (DiKleisli w m k)

Produced by Haddock version 2.3.0