Idris2Doc : Data.Morphisms

Data.Morphisms

Endomorphism : Type -> Type
Totality: total
Constructor: 
Kleislimorphism : (Type -> Type) -> Type -> Type -> Type
Totality: total
Constructor: 
Morphism : Type -> Type -> Type
Totality: total
Constructor: 
Op : Type -> Type -> Type
Totality: total
Constructor: 
(~>) : Type -> Type -> Type

Fixity Declaration: infixr operator, level 1