Skip to content

Commit

Permalink
Update docs
Browse files Browse the repository at this point in the history
  • Loading branch information
@sjoerdvisscher
sjoerdvisscher committed Nov 18, 2024
1 parent 4197d52 commit 3c4a159
Show file tree
Hide file tree
Showing 180 changed files with 134,563 additions and 55,275 deletions.
4 changes: 2 additions & 2 deletions docs/Proarrow-Adjunction.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1038,9 +1038,9 @@
> ob -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
>Type</a
>)</span
> <a href="src/Proarrow.Profunctor.Free.html#line-69" class="link"
> <a href="src/Proarrow.Profunctor.Free.html#line-68" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L69" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L68" class="link"
>Comments</a
> <a href="#t:Adjunction" class="selflink"
>#</a
Expand Down
8 changes: 4 additions & 4 deletions docs/Proarrow-Category-Bicategory-Bidiscrete.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -473,7 +473,7 @@
>Ob0'</a
> kk :: s -&gt; <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Kind.html#t:Constraint" title="Data.Kind"
>Constraint</a
>)) f <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>)) g <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>~&gt;</a
> <a href="Proarrow-Category-Equipment.html#t:Conjoint" title="Proarrow.Category.Equipment"
>Conjoint</a
Expand All @@ -485,7 +485,7 @@
>Ob0'</a
> kk :: s -&gt; <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Kind.html#t:Constraint" title="Data.Kind"
>Constraint</a
>)) g <a href="src/Proarrow.Category.Equipment.html#mapConjoint" class="link"
>)) f <a href="src/Proarrow.Category.Equipment.html#mapConjoint" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs#L203" class="link"
>Comments</a
Expand Down Expand Up @@ -883,7 +883,7 @@
>Ob0'</a
> kk :: s -&gt; <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Kind.html#t:Constraint" title="Data.Kind"
>Constraint</a
>)) g <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>)) f <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>~&gt;</a
> <a href="Proarrow-Category-Equipment.html#t:Companion" title="Proarrow.Category.Equipment"
>Companion</a
Expand All @@ -895,7 +895,7 @@
>Ob0'</a
> kk :: s -&gt; <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-380b/Data-Kind.html#t:Constraint" title="Data.Kind"
>Constraint</a
>)) f <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
>)) g <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs#L25" class="link"
>Comments</a
Expand Down
1,388 changes: 183 additions & 1,205 deletions docs/Proarrow-Category-Bicategory-Co.html
View file

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions docs/Proarrow-Category-Bicategory-Hom.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -295,7 +295,7 @@
>I</a
> :: kk j j) <a href="src/Proarrow.Category.Bicategory.Prof.html#laxId" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Prof.hs#L156" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Prof.hs#L170" class="link"
>Comments</a
> <a href="#v:laxId" class="selflink"
>#</a
Expand Down Expand Up @@ -331,7 +331,7 @@
>O</a
> t0 t1) <a href="src/Proarrow.Category.Bicategory.Prof.html#laxComp" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Prof.hs#L157" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Prof.hs#L171" class="link"
>Comments</a
> <a href="#v:laxComp" class="selflink"
>#</a
Expand Down
588 changes: 496 additions & 92 deletions docs/Proarrow-Category-Bicategory-Kan.html
View file

Large diffs are not rendered by default.

1,992 changes: 1,832 additions & 160 deletions docs/Proarrow-Category-Bicategory-MonoidalAsBi.html
View file

Large diffs are not rendered by default.

46 changes: 23 additions & 23 deletions docs/Proarrow-Category-Bicategory-Op.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -521,7 +521,7 @@
>OP</a
> j2) <a href="src/Proarrow.Category.Bicategory.Kan.html#lan" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L17" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L27" class="link"
>Comments</a
> <a href="#v:lan" class="selflink"
>#</a
Expand Down Expand Up @@ -553,7 +553,7 @@
>~&gt;</a
> g <a href="src/Proarrow.Category.Bicategory.Kan.html#lanUniv" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L18" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L28" class="link"
>Comments</a
> <a href="#v:lanUniv" class="selflink"
>#</a
Expand Down Expand Up @@ -679,7 +679,7 @@
>OP</a
> f)) <a href="src/Proarrow.Category.Bicategory.Kan.html#lift" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L117" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L121" class="link"
>Comments</a
> <a href="#v:lift" class="selflink"
>#</a
Expand Down Expand Up @@ -711,7 +711,7 @@
>~&gt;</a
> g <a href="src/Proarrow.Category.Bicategory.Kan.html#liftUniv" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L118" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L122" class="link"
>Comments</a
> <a href="#v:liftUniv" class="selflink"
>#</a
Expand Down Expand Up @@ -837,7 +837,7 @@
>OP</a
> f <a href="src/Proarrow.Category.Bicategory.Kan.html#ran" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L64" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L70" class="link"
>Comments</a
> <a href="#v:ran" class="selflink"
>#</a
Expand Down Expand Up @@ -869,7 +869,7 @@
>OP</a
> f) <a href="src/Proarrow.Category.Bicategory.Kan.html#ranUniv" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L65" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L71" class="link"
>Comments</a
> <a href="#v:ranUniv" class="selflink"
>#</a
Expand Down Expand Up @@ -995,7 +995,7 @@
>OP</a
> f <a href="src/Proarrow.Category.Bicategory.Kan.html#rift" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L159" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L164" class="link"
>Comments</a
> <a href="#v:rift" class="selflink"
>#</a
Expand Down Expand Up @@ -1027,7 +1027,7 @@
>OP</a
> f) <a href="src/Proarrow.Category.Bicategory.Kan.html#riftUniv" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L160" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Kan.hs#L165" class="link"
>Comments</a
> <a href="#v:riftUniv" class="selflink"
>#</a
Expand Down Expand Up @@ -1425,15 +1425,15 @@
>COK</a
> hk) (<a href="Proarrow-Category-Bicategory-Op.html#t:OPK" title="Proarrow.Category.Bicategory.Op"
>OPK</a
> vk) f <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
> vk) g <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>~&gt;</a
> <a href="Proarrow-Category-Equipment.html#t:Conjoint" title="Proarrow.Category.Equipment"
>Conjoint</a
> (<a href="Proarrow-Category-Bicategory-Co.html#t:COK" title="Proarrow.Category.Bicategory.Co"
>COK</a
> hk) (<a href="Proarrow-Category-Bicategory-Op.html#t:OPK" title="Proarrow.Category.Bicategory.Op"
>OPK</a
> vk) g <a href="src/Proarrow.Category.Equipment.html#mapConjoint" class="link"
> vk) f <a href="src/Proarrow.Category.Equipment.html#mapConjoint" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs#L203" class="link"
>Comments</a
Expand Down Expand Up @@ -1725,15 +1725,15 @@
>OPK</a
> hk) (<a href="Proarrow-Category-Bicategory-Co.html#t:COK" title="Proarrow.Category.Bicategory.Co"
>COK</a
> vk) f <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
> vk) g <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>~&gt;</a
> <a href="Proarrow-Category-Equipment.html#t:Conjoint" title="Proarrow.Category.Equipment"
>Conjoint</a
> (<a href="Proarrow-Category-Bicategory-Op.html#t:OPK" title="Proarrow.Category.Bicategory.Op"
>OPK</a
> hk) (<a href="Proarrow-Category-Bicategory-Co.html#t:COK" title="Proarrow.Category.Bicategory.Co"
>COK</a
> vk) g <a href="src/Proarrow.Category.Equipment.html#mapConjoint" class="link"
> vk) f <a href="src/Proarrow.Category.Equipment.html#mapConjoint" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs#L203" class="link"
>Comments</a
Expand Down Expand Up @@ -2025,15 +2025,15 @@
>COK</a
> hk) (<a href="Proarrow-Category-Bicategory-Op.html#t:OPK" title="Proarrow.Category.Bicategory.Op"
>OPK</a
> vk) g <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
> vk) f <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>~&gt;</a
> <a href="Proarrow-Category-Equipment.html#t:Companion" title="Proarrow.Category.Equipment"
>Companion</a
> (<a href="Proarrow-Category-Bicategory-Co.html#t:COK" title="Proarrow.Category.Bicategory.Co"
>COK</a
> hk) (<a href="Proarrow-Category-Bicategory-Op.html#t:OPK" title="Proarrow.Category.Bicategory.Op"
>OPK</a
> vk) f <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
> vk) g <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs#L25" class="link"
>Comments</a
Expand Down Expand Up @@ -2253,15 +2253,15 @@
>OPK</a
> hk) (<a href="Proarrow-Category-Bicategory-Co.html#t:COK" title="Proarrow.Category.Bicategory.Co"
>COK</a
> vk) g <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
> vk) f <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>~&gt;</a
> <a href="Proarrow-Category-Equipment.html#t:Companion" title="Proarrow.Category.Equipment"
>Companion</a
> (<a href="Proarrow-Category-Bicategory-Op.html#t:OPK" title="Proarrow.Category.Bicategory.Op"
>OPK</a
> hk) (<a href="Proarrow-Category-Bicategory-Co.html#t:COK" title="Proarrow.Category.Bicategory.Co"
>COK</a
> vk) f <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
> vk) g <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs#L25" class="link"
>Comments</a
Expand Down Expand Up @@ -3744,9 +3744,9 @@
>forall</span
> {k1} {kk1 :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
>CAT</a
> k1} {k2 :: k1} {j1 :: k1} {kk2 :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
> k1} {k2 :: k1} {i :: k1} {kk2 :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
>CAT</a
> k1} {j2 :: k1} {h :: k1} (p :: kk1 k2 j1) (f :: kk2 j2 k2) (q :: kk1 j2 h) (g :: kk2 h j1). <a href="Proarrow-Category-Equipment.html#t:Sq" title="Proarrow.Category.Equipment"
> k1} {j1 :: k1} {j2 :: k1} (p :: kk1 k2 i) (f :: kk2 j1 i) (q :: kk1 j2 j1) (g :: kk2 j2 k2). <a href="Proarrow-Category-Equipment.html#t:Sq" title="Proarrow.Category.Equipment"
>Sq</a
> '('<a href="Proarrow-Category-Bicategory-Co.html#v:CO" title="Proarrow.Category.Bicategory.Co"
>CO</a
Expand Down Expand Up @@ -3780,11 +3780,11 @@
>flipRetroSq</a
> :: <span class="keyword"
>forall</span
> {k1} {kk1 :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
> {k} {kk1 :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
>CAT</a
> k1} {k2 :: k1} {h :: k1} {kk2 :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
> k} {j1 :: k} {j2 :: k} {kk2 :: <a href="Proarrow-Core.html#t:CAT" title="Proarrow.Core"
>CAT</a
> k1} {k3 :: k1} {k4 :: k1} (p :: kk1 k2 h) (f :: kk2 h k3) (q :: kk1 k4 k3) (g :: kk2 k2 k4). <a href="Proarrow-Category-Equipment.html#t:RetroSq" title="Proarrow.Category.Equipment"
> k} {k1 :: k} {i :: k} (p :: kk1 j1 j2) (f :: kk2 j1 k1) (q :: kk1 k1 i) (g :: kk2 j2 i). <a href="Proarrow-Category-Equipment.html#t:RetroSq" title="Proarrow.Category.Equipment"
>RetroSq</a
> '('<a href="Proarrow-Category-Bicategory-Co.html#v:CO" title="Proarrow.Category.Bicategory.Co"
>CO</a
Expand Down Expand Up @@ -3871,15 +3871,15 @@
>COK</a
> hk) (<a href="Proarrow-Category-Bicategory-Op.html#t:OPK" title="Proarrow.Category.Bicategory.Op"
>OPK</a
> vk) g <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
> vk) f <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>~&gt;</a
> <a href="Proarrow-Category-Equipment.html#t:Companion" title="Proarrow.Category.Equipment"
>Companion</a
> (<a href="Proarrow-Category-Bicategory-Co.html#t:COK" title="Proarrow.Category.Bicategory.Co"
>COK</a
> hk) (<a href="Proarrow-Category-Bicategory-Op.html#t:OPK" title="Proarrow.Category.Bicategory.Op"
>OPK</a
> vk) f <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
> vk) g <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs#L25" class="link"
>Comments</a
Expand Down
8 changes: 4 additions & 4 deletions docs/Proarrow-Category-Bicategory-Product.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -713,15 +713,15 @@
>PRODK</a
> hj hk) (<a href="Proarrow-Category-Bicategory-Product.html#t:PRODK" title="Proarrow.Category.Bicategory.Product"
>PRODK</a
> vj vk) f <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
> vj vk) g <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>~&gt;</a
> <a href="Proarrow-Category-Equipment.html#t:Conjoint" title="Proarrow.Category.Equipment"
>Conjoint</a
> (<a href="Proarrow-Category-Bicategory-Product.html#t:PRODK" title="Proarrow.Category.Bicategory.Product"
>PRODK</a
> hj hk) (<a href="Proarrow-Category-Bicategory-Product.html#t:PRODK" title="Proarrow.Category.Bicategory.Product"
>PRODK</a
> vj vk) g <a href="src/Proarrow.Category.Equipment.html#mapConjoint" class="link"
> vj vk) f <a href="src/Proarrow.Category.Equipment.html#mapConjoint" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs#L203" class="link"
>Comments</a
Expand Down Expand Up @@ -1015,15 +1015,15 @@
>PRODK</a
> hj hk) (<a href="Proarrow-Category-Bicategory-Product.html#t:PRODK" title="Proarrow.Category.Bicategory.Product"
>PRODK</a
> vj vk) g <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
> vj vk) f <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>~&gt;</a
> <a href="Proarrow-Category-Equipment.html#t:Companion" title="Proarrow.Category.Equipment"
>Companion</a
> (<a href="Proarrow-Category-Bicategory-Product.html#t:PRODK" title="Proarrow.Category.Bicategory.Product"
>PRODK</a
> hj hk) (<a href="Proarrow-Category-Bicategory-Product.html#t:PRODK" title="Proarrow.Category.Bicategory.Product"
>PRODK</a
> vj vk) f <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
> vj vk) g <a href="src/Proarrow.Category.Equipment.html#mapCompanion" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs#L25" class="link"
>Comments</a
Expand Down
Loading

0 comments on commit 3c4a159

Please sign in to comment.