Built with
Alectryon. Bubbles (
) indicate interactive fragments: hover for details, tap to reveal contents. Use
Ctrl+↑ Ctrl+↓ to navigate,
Ctrl+🖱️ to focus. On Mac, use
⌘ instead of
Ctrl.
(** * Profunctors *)
Require Export Profunctor.Notations.
(** ** Definition *)
Require Profunctor.Core.
(** ** Identity Profunctor *)
Require Profunctor.Identity.
(** ** Representable Profunctors *)
Require Profunctor.Representable.
Include Profunctor.Core.
Include Profunctor.Representable.
Include Profunctor.Identity.