IdrisDoc
: Data.Morphisms
Index
Data.Morphisms
Endo
:
(
applyEndo
:
a
->
a
) ->
Endomorphism
a
Kleisli
:
(
applyKleisli
:
a
->
f
b
) ->
Kleislimorphism
f
a
b
Mor
:
(
applyMor
:
a
->
b
) ->
Morphism
a
b