IdrisDoc: Data.Morphisms

# Data.Morphisms

(~>) : Type -> Type -> Type
  Fixity
    Left associative, precedence 1
applyMor : Morphism a b -> a -> b
applyKleisli : Monad m => Kleislimorphism m a b -> a -> m b
applyEndo : Endomorphism a -> a -> a
data Morphism : Type -> Type -> Type
  Mor : (a -> b) -> Morphism a b
data Kleislimorphism : (Type -> Type) -> Type -> Type -> Type
  Kleisli : Monad m => (a -> m b) -> Kleislimorphism m a b
data Endomorphism : Type -> Type
  Endo : (a -> a) -> Endomorphism a