proarrow-0: Category theory with a central role for profunctors

Index - U

UNProarrow.Core
unClassifyProarrow.Category.Monoidal.Optic
unCoProarrow.Profunctor.Star
unConcatMapProarrow.Category.Instance.Mat
unCoprodProarrow.Object.BinaryCoproduct
unCorepStarProarrow.Profunctor.Representable
unCostarProarrow.Profunctor.Costar
unCoyonedaProarrow.Profunctor.Coyoneda
Uncurry 
1 (Type/Class)Proarrow.Category.Instance.Cat
2 (Data Constructor)Proarrow.Category.Instance.Cat
uncurryProarrow.Object.Exponential
uncurry'Proarrow.Object.Exponential
UNDUALProarrow.Category.Instance.Kleisli
unEndProarrow.Category.Limit
unEntailsProarrow.Category.Instance.Constraint
unForgetProarrow.Category.Instance.Simplex
unFromProfunctorProarrow.Functor, Proarrow
UNFUNProarrow.Category.Bicategory.Prof
unHomKProarrow.Category.Bicategory.Hom
unIdProarrow.Profunctor.Identity
unInjRProarrow.Category.Instance.Collage
unInLProarrow.Category.Instance.Collage
Unit 
1 (Type/Class)Proarrow.Category.Monoidal
2 (Type/Class)Proarrow.Category.Instance.Unit
3 (Data Constructor)Proarrow.Category.Instance.Unit
4 (Data Constructor)Proarrow.Profunctor.Free
unit 
1 (Function)Proarrow.Category.Bicategory
2 (Function)Proarrow.Adjunction, Proarrow
3 (Function)Proarrow.Squares.Limit
unit'Proarrow.Adjunction, Proarrow
unitFromRepUnitProarrow.Adjunction, Proarrow
unitObjProarrow.Category.Monoidal
unitorProarrow.Category.Monoidal.Action
unitorInvProarrow.Category.Monoidal.Action
unNatProarrow.Category.Instance.Nat
unNat'Proarrow.Category.Instance.Nat
unOpProarrow.Category.Opposite
unPrecomposeProarrow.Profunctor.Ran
unPreludeProarrow.Functor, Proarrow
unPreviewProarrow.Category.Monoidal.Optic
unProdProarrow.Object.BinaryProduct
unProfProarrow.Category.Instance.Prof
unRanProarrow.Profunctor.Ran
unReaderProarrow.Promonad.Reader
unRepCostarProarrow.Profunctor.Representable
unReplaceProarrow.Category.Monoidal.Optic
unRepStarProarrow.Profunctor.Representable
unRiftProarrow.Profunctor.Rift
unSetProarrow.Category.Monoidal.Optic
unStarProarrow.Profunctor.Star
unStrProarrow.Category.Bicategory.Strictified
unSubProarrow.Category.Instance.Sub
unUpdateProarrow.Category.Monoidal.Optic
unViewProarrow.Category.Monoidal.Optic
Unweighted 
1 (Type/Class)Proarrow.Category.Limit
2 (Type/Class)Proarrow.Category.Colimit
unWrappedProarrow.Profunctor.Wrapped
unWriterProarrow.Promonad.Writer
unYonedaProarrow.Profunctor.Yoneda
UpdateProarrow.Category.Monoidal.Optic
UpdatingProarrow.Category.Monoidal.Optic
Ur 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear