IdrisDoc: Data.Morphisms

Data.Morphisms

Endo : (applyEndo : a -> a) -> Endomorphism a
Kleisli : (applyKleisli : a -> f b) -> Kleislimorphism f a b
Mor : (applyMor : a -> b) -> Morphism a b