Adjoint | Data.Functor.Adjoint |
counit | Data.Functor.Adjoint |
index | Data.Functor.Rep |
leftAdjunct | Data.Functor.Adjoint |
Rep | Data.Functor.Rep |
Representable | Data.Functor.Rep |
rightAdjunct | Data.Functor.Adjoint |
tabulate | Data.Functor.Rep |
unit | Data.Functor.Adjoint |