Skip to content

Commit

Permalink
Update docs
Browse files Browse the repository at this point in the history
  • Loading branch information
@sjoerdvisscher
sjoerdvisscher committed Jan 17, 2025
1 parent 9e96f71 commit f5fbd44
Show file tree
Hide file tree
Showing 229 changed files with 278,556 additions and 173,089 deletions.
12 changes: 6 additions & 6 deletions docs/Proarrow-Adjunction.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -316,9 +316,9 @@
> <a href="Proarrow-Category-Instance-Linear.html#t:Forget" title="Proarrow.Category.Instance.Linear"
>Forget</a
></span
> <a href="src/Proarrow.Category.Instance.Linear.html#line-110" class="link"
> <a href="src/Proarrow.Category.Instance.Linear.html#line-131" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L110" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L131" class="link"
>Comments</a
> <a href="#t:Adjunction" class="selflink"
>#</a
Expand Down Expand Up @@ -946,9 +946,9 @@
> p -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
>Type</a
>)</span
> <a href="src/Proarrow.Category.Instance.Kleisli.html#line-44" class="link"
> <a href="src/Proarrow.Category.Instance.Kleisli.html#line-83" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L44" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Adjunction.hs#L83" class="link"
>Comments</a
> <a href="#t:Adjunction" class="selflink"
>#</a
Expand Down Expand Up @@ -1793,7 +1793,7 @@
>Unit</a
> :: j) <a href="src/Proarrow.Category.Monoidal.html#par0" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L15" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L13" class="link"
>Comments</a
> <a href="#v:par0" class="selflink"
>#</a
Expand All @@ -1815,7 +1815,7 @@
>**</a
> y2) <a href="src/Proarrow.Category.Monoidal.html#par" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L16" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Monoidal.hs#L14" class="link"
>Comments</a
> <a href="#v:par" class="selflink"
>#</a
Expand Down
758 changes: 319 additions & 439 deletions docs/Proarrow-Category-Bicategory-Bidiscrete.html
View file

Large diffs are not rendered by default.

162 changes: 109 additions & 53 deletions docs/Proarrow-Category-Bicategory-CategoryAsBi.html
View file

Large diffs are not rendered by default.

1,132 changes: 530 additions & 602 deletions docs/Proarrow-Category-Bicategory-Co.html
View file

Large diffs are not rendered by default.

60 changes: 30 additions & 30 deletions docs/Proarrow-Category-Bicategory-Hom.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@
>Type</a
>) (i :: k) (j :: k1) <a href="src/Proarrow.Category.Bicategory.Hom.html#HK" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L14" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L13" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -132,9 +132,9 @@
> kk :: k -&gt; k -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
>Type</a
>)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-47" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-46" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L47" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L46" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down 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#L170" 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: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#L171" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Prof.hs#L172" class="link"
>Comments</a
> <a href="#v:laxComp" class="selflink"
>#</a
Expand Down Expand Up @@ -370,9 +370,9 @@
> <a href="Proarrow-Category-Bicategory-Hom.html#t:HK" title="Proarrow.Category.Bicategory.Hom"
>HK</a
> kk i k2)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-37" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-36" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L37" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L36" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -450,9 +450,9 @@
> <a href="Proarrow-Category-Bicategory-Hom.html#t:HK" title="Proarrow.Category.Bicategory.Hom"
>HK</a
> kk i k2)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-42" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-41" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L42" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L41" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -516,9 +516,9 @@
> (<a href="Proarrow-Category-Bicategory-Hom.html#t:HK" title="Proarrow.Category.Bicategory.Hom"
>HK</a
> kk i j)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-26" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-25" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L26" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L25" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -606,9 +606,9 @@
> kk i j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
>Type</a
>)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-23" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-22" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L23" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L22" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -696,9 +696,9 @@
> kk i j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
>Type</a
>)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-20" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-19" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L20" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L19" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -804,9 +804,9 @@
> <a href="Proarrow-Category-Bicategory-Hom.html#t:HK" title="Proarrow.Category.Bicategory.Hom"
>HK</a
> kk i k2)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-31" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-30" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L31" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L30" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -910,9 +910,9 @@
> kk i k1) (b :: <a href="Proarrow-Category-Bicategory-Hom.html#t:HK" title="Proarrow.Category.Bicategory.Hom"
>HK</a
> kk h j)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-48" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-47" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L48" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L47" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -1014,9 +1014,9 @@
> k3 :: <a href="Proarrow-Category-Bicategory-Hom.html#t:HK" title="Proarrow.Category.Bicategory.Hom"
>HK</a
> kk i j)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-15" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-14" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L15" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L14" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -1060,9 +1060,9 @@
> <a href="Proarrow-Core.html#t:-126--62-" title="Proarrow.Core"
>(~&gt;)</a
></span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-27" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-26" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L27" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L26" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -1108,9 +1108,9 @@
> (k3 :: <a href="Proarrow-Category-Bicategory-Hom.html#t:HK" title="Proarrow.Category.Bicategory.Hom"
>HK</a
> kk i j)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-28" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-27" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L28" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L27" class="link"
>Comments</a
> <a href="#t:HK" class="selflink"
>#</a
Expand Down Expand Up @@ -1170,7 +1170,7 @@
>where</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#HomW" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L18" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L17" class="link"
>Comments</a
> <a href="#t:HomW" class="selflink"
>#</a
Expand Down Expand Up @@ -1230,9 +1230,9 @@
> kk i j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
>Type</a
>)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-23" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-22" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L23" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L22" class="link"
>Comments</a
> <a href="#t:HomW" class="selflink"
>#</a
Expand Down Expand Up @@ -1320,9 +1320,9 @@
> kk i j -&gt; <a href="Proarrow-Category-Instance-Hask.html#t:Type" title="Proarrow.Category.Instance.Hask"
>Type</a
>)</span
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-20" class="link"
> <a href="src/Proarrow.Category.Bicategory.Hom.html#line-19" class="link"
>Source</a
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L20" class="link"
> <a href="https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Bicategory/Hom.hs#L19" class="link"
>Comments</a
> <a href="#t:HomW" class="selflink"
>#</a
Expand Down
Loading

0 comments on commit f5fbd44

Please sign in to comment.