adjunction-0.0.0.0: See README for more info

Index

AdjointData.Functor.Adjoint
counitData.Functor.Adjoint
indexData.Functor.Rep
leftAdjunctData.Functor.Adjoint
RepData.Functor.Rep
RepresentableData.Functor.Rep
rightAdjunctData.Functor.Adjoint
tabulateData.Functor.Rep
unitData.Functor.Adjoint