category-extras-0.53.0: 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 Comonad w => Category (CoKleisli w) Category k => Category (Dual k) (Comonad w, Monad m, Distributes w m) => Category (BiKleisli w m)

Produced by Haddock version 2.3.0