proarrow

proarrow-0

•  Proarrow
  Submodules

  •  Proarrow.Adjunction
  •  Proarrow.Category
    Submodules

    •  Proarrow.Category.Bicategory
      Submodules

      •  Proarrow.Category.Bicategory.Bidiscrete
      •  Proarrow.Category.Bicategory.CategoryAsBi
      •  Proarrow.Category.Bicategory.Co
      •  Proarrow.Category.Bicategory.Hom
      •  Proarrow.Category.Bicategory.Kan
      •  Proarrow.Category.Bicategory.Limit
      •  Proarrow.Category.Bicategory.MonoidalAsBi
      •  Proarrow.Category.Bicategory.Op
      •  Proarrow.Category.Bicategory.Product
      •  Proarrow.Category.Bicategory.Prof
      •  Proarrow.Category.Bicategory.Relative
      •  Proarrow.Category.Bicategory.Strictified
      •  Proarrow.Category.Bicategory.Sub
      •  Proarrow.Category.Bicategory.Terminal
    •  Proarrow.Category.Colimit
    •  Proarrow.Category.Dagger
    •  Proarrow.Category.Enriched
    •  Proarrow.Category.Equipment
      Submodules

      •  Proarrow.Category.Equipment.BiAsEquipment
      •  Proarrow.Category.Equipment.Limit
      •  Proarrow.Category.Equipment.Quintet
      •  Proarrow.Category.Equipment.Stateful
    • Instance
      Submodules

      •  Proarrow.Category.Instance.Bool
      •  Proarrow.Category.Instance.Cat
      •  Proarrow.Category.Instance.Collage
      •  Proarrow.Category.Instance.Constraint
      •  Proarrow.Category.Instance.Coproduct
      •  Proarrow.Category.Instance.Discrete
      •  Proarrow.Category.Instance.Fin
      •  Proarrow.Category.Instance.Free
      •  Proarrow.Category.Instance.Hask
      •  Proarrow.Category.Instance.IntConstruction
      •  Proarrow.Category.Instance.Kleisli
      •  Proarrow.Category.Instance.Linear
      •  Proarrow.Category.Instance.Mat
      •  Proarrow.Category.Instance.Nat
      •  Proarrow.Category.Instance.PointedHask
      •  Proarrow.Category.Instance.PreorderAsCategory
      •  Proarrow.Category.Instance.Product
      •  Proarrow.Category.Instance.Prof
      •  Proarrow.Category.Instance.Rel
      •  Proarrow.Category.Instance.Simplex
      •  Proarrow.Category.Instance.Sub
      •  Proarrow.Category.Instance.Unit
      •  Proarrow.Category.Instance.ZX
      •  Proarrow.Category.Instance.Zero
    •  Proarrow.Category.Limit
    •  Proarrow.Category.Monoidal
      Submodules

      •  Proarrow.Category.Monoidal.Action
      •  Proarrow.Category.Monoidal.Applicative
      •  Proarrow.Category.Monoidal.Distributive
      •  Proarrow.Category.Monoidal.Endo
      •  Proarrow.Category.Monoidal.Optic
      •  Proarrow.Category.Monoidal.Rev
      •  Proarrow.Category.Monoidal.Strictified
    •  Proarrow.Category.Opposite
    •  Proarrow.Category.Promonoidal
  •  Proarrow.Core
  •  Proarrow.Functor
  • Helper
    Submodules

    •  Proarrow.Helper.CCC
  •  Proarrow.Monoid
  •  Proarrow.Object
    Submodules

    •  Proarrow.Object.BinaryCoproduct
    •  Proarrow.Object.BinaryProduct
    •  Proarrow.Object.Coexponential
    •  Proarrow.Object.Copower
    •  Proarrow.Object.Dual
    •  Proarrow.Object.Exponential
    •  Proarrow.Object.Initial
    •  Proarrow.Object.Power
    •  Proarrow.Object.Terminal
  •  Proarrow.Preorder
    Submodules

    •  Proarrow.Preorder.Constraint
    •  Proarrow.Preorder.Discrete
    •  Proarrow.Preorder.ThinCategory
  •  Proarrow.Profunctor
    Submodules

    •  Proarrow.Profunctor.Cofree
    •  Proarrow.Profunctor.Composition
    •  Proarrow.Profunctor.Constant
    •  Proarrow.Profunctor.Coproduct
    •  Proarrow.Profunctor.Corepresentable
    •  Proarrow.Profunctor.Costar
    •  Proarrow.Profunctor.Coyoneda
    •  Proarrow.Profunctor.Day
    •  Proarrow.Profunctor.Exponential
    •  Proarrow.Profunctor.Fix
    •  Proarrow.Profunctor.Fold
    •  Proarrow.Profunctor.Forget
    •  Proarrow.Profunctor.Free
    •  Proarrow.Profunctor.HaskValue
    •  Proarrow.Profunctor.Identity
    •  Proarrow.Profunctor.Initial
    •  Proarrow.Profunctor.List
    •  Proarrow.Profunctor.Product
    •  Proarrow.Profunctor.Ran
    •  Proarrow.Profunctor.Representable
    •  Proarrow.Profunctor.Rift
    •  Proarrow.Profunctor.Star
    •  Proarrow.Profunctor.Terminal
    •  Proarrow.Profunctor.Wrapped
    •  Proarrow.Profunctor.Yoneda
  •  Proarrow.Promonad
    Submodules

    •  Proarrow.Promonad.Cont
    •  Proarrow.Promonad.Reader
    •  Proarrow.Promonad.State
    •  Proarrow.Promonad.Writer
  •  Proarrow.Squares
    Submodules

    •  Proarrow.Squares.Limit
    •  Proarrow.Squares.Relative