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

Index - G

GenElt 
1 (Type/Class)Proarrow.Monoid
2 (Data Constructor)Proarrow.Monoid
getClassifyProarrow.Category.Monoidal.Optic
getCoprodProarrow.Object.BinaryCoproduct
getCostarProarrow.Profunctor.Costar
getEndProarrow.Category.Limit
getEntailsProarrow.Category.Instance.Constraint
getForgetProarrow.Category.Instance.Simplex
getHomProarrow.Category.Monoidal
getIdProarrow.Profunctor.Identity
getNatProarrow.Category.Instance.Nat
getNat'Proarrow.Category.Instance.Nat
getOpProarrow.Category.Opposite
getPrecomposeProarrow.Profunctor.Rift
getPreludeProarrow.Functor, Proarrow
getPreviewProarrow.Category.Monoidal.Optic
getProfProarrow.Category.Instance.Prof
getRanProarrow.Profunctor.Ran
getReaderProarrow.Promonad.Reader
getReplaceProarrow.Category.Monoidal.Optic
getRiftProarrow.Profunctor.Rift
getSetProarrow.Category.Monoidal.Optic
getStarProarrow.Profunctor.Star
getUpdateProarrow.Category.Monoidal.Optic
getViewProarrow.Category.Monoidal.Optic
getWriterProarrow.Promonad.Writer
getYonedaProarrow.Profunctor.Yoneda