Complete links of related types in the docs

fsprojects · Jun 15, 2020 · 685fb2a · 685fb2a
1 parent dc0b586
commit 685fb2a
Show file tree

Hide file tree

Showing 14 changed files with 93 additions and 77 deletions.
diff --git a/docsrc/content/abstraction-alternative.fsx b/docsrc/content/abstraction-alternative.fsx
@@ -62,12 +62,12 @@ From .Net/F#
  
 From F#+
  
- -  ``ReaderT<'R, 'MonadPlus<'T>>``
- -  ``WriterT<'MonadPlus<'T * 'Monoid>>``
- -  ``StateT<'S,'MonadPlus<'T * 'S>>``
- -  ``Compose<'F<'G<'T>>>``
- -  ``DList<'T>``
- -  ``ZipList<'T>``
+ -  [``ReaderT<'R, 'MonadPlus<'T>>``](type-readert.html)
+ -  [``WriterT<'MonadPlus<'T * 'Monoid>>``](type-writert.html)
+ -  [``StateT<'S,'MonadPlus<'T * 'S>>``](type-statet.html)
+ -  [``Compose<'AlternativeF<'AlternativeG<'T>>>``](type-compose.html)
+ -  [``DList<'T>``](type-dlist.html)
+ -  [``ZipList<'S>``](type-ziplist.html)
  
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation
 

diff --git a/docsrc/content/abstraction-applicative.fsx b/docsrc/content/abstraction-applicative.fsx
@@ -72,21 +72,28 @@ From F#
  
 From F#+
 
- -  ``Cont<'R,'T>`` 
- -  ``ContT<'R,'T>``
- -  ``Reader<'R,'T>`` 
- -  ``ReaderT<'R,'Monad<'T>>``
- -  ``Writer<'Monoid,'T>``
- -  ``WriterT<'Monad<'T * 'Monoid>>``
- -  ``State<'S,'T * 'S>`` 
- -  ``StateT<'S,'Monad<'T * 'S>>``
- -  ``Free<'Functor<'T>,'T>``
- -  ``NonEmptyList<'T>``
- -  ``ZipList<'T>``
- -  ``ParallelArray<'T>``
- -  ``Const<'C,'T>``
- -  ``Compose<'F<'G<'T>>>``
- -  ``DList<'T>``
+ -  [``Identity<'T>``](type-identity.html)
+ -  [``Cont<'R,'T>``](type-cont.html)
+ -  [``ContT<'R,'T>``](type-contt.html)
+ -  [``Reader<'R,'T>``](type-reader.html)
+ -  [``ReaderT<'R,'Monad<'T>>``](type-readert.html)
+ -  [``Writer<'Monoid,'T>``](type-writer.html)
+ -  [``WriterT<'Monad<'T * 'Monoid>>``](type-writert.html)
+ -  [``State<'S,'T * 'S>``](type-state.html)
+ -  [``StateT<'S,'Monad<'T * 'S>>``](type-statet.html)
+ -  [``OptionT<'Monad<option<'T>>``](type-optiont.html)
+ -  [``SeqT<'Monad<seq<'T>>``](type-seqt.html)
+ -  [``ListT<'Monad<list<'T>>``](type-listt.html)
+ -  [``ResultT<'Monad<Result<'T,'TError>>``](type-resultt.html)
+ -  [``ChoiceT<'Monad<Choice<'T,'TError>>``](type-choicet.html)
+ -  [``Free<'Functor<'T>,'T>``](type-free.html)
+ -  [``NonEmptyList<'T>``](type-nonempty.html)
+ -  [``Validation<'Error,'T>``](type-validation.html)
+ -  [``ZipList<'T>``](type-ziplist.html)
+ -  [``ParallelArray<'T>``](type-parallelarray.html)
+ -  [``Const<'C,'T>``](type-const.html)
+ -  [``Compose<'ApplicativeF<'ApplicativeG<'T>>>``](type-compose.html)
+ -  [``DList<'T>``](type-dlist.html)
  -  [``Vector<'T,'Dimension>``](type-vector.html)
  -  [``Matrix<'T,'Rows,'Columns>``](type-matrix.html)
  

diff --git a/docsrc/content/abstraction-arrow.fsx b/docsrc/content/abstraction-arrow.fsx
@@ -80,7 +80,7 @@ From .Net/F#
  
 From F#+
 
- -  ``Kleisli<'T, 'Monad<'U>>``
+ -  [``Kleisli<'T, 'Monad<'U>>``](type-kleisli.html)
 
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation
 *)
diff --git a/docsrc/content/abstraction-bifoldable.fsx b/docsrc/content/abstraction-bifoldable.fsx
@@ -85,8 +85,8 @@ From .Net/F#
  
 From F#+
 
- -  ``Const<'C,'T>``
- -  ``Validation<'err,'a>``
+ -  [``Const<'C,'T>``](type-const.html)
+ -  [``Validation<'err,'a>``](type-validation.html)
 
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation
 

diff --git a/docsrc/content/abstraction-bifunctor.fsx b/docsrc/content/abstraction-bifunctor.fsx
@@ -74,7 +74,8 @@ From .Net/F#
  
 From F#+
 
- -  ``Const<'T1,'T2>``
+ -  [``Const<'C,'T>``](type-const.html)
+ -  [``Validation<'Error,'T>``](type-validation.html)
 
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation
 

diff --git a/docsrc/content/abstraction-category.fsx b/docsrc/content/abstraction-category.fsx
@@ -62,7 +62,7 @@ From .Net/F#
  
 From F#+
 
- -  ``Kleisli<'T, 'Monad<'U>>``
+ -  [``Kleisli<'T, 'Monad<'U>>``](type-kleisli.html)
 
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation
 *)
diff --git a/docsrc/content/abstraction-comonad.fsx b/docsrc/content/abstraction-comonad.fsx
@@ -71,8 +71,8 @@ From .Net/F#
  
 From F#+
 
- -  ``Reader<'R,'T>`` 
- -  ``Writer<'Monoid,'T>``
+ -  [``Reader<'R,'T>``](type-reader.html)
+ -  [``Writer<'Monoid,'T>``](type-writer.html)
 
  
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation

diff --git a/docsrc/content/abstraction-contravariant.fsx b/docsrc/content/abstraction-contravariant.fsx
@@ -58,7 +58,7 @@ From .Net/F#
  
 From F#+
 
- -  ``Const<'C,'T>``
+ -  [``Const<'C,'T>``](type-const.html)
 
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation
 

diff --git a/docsrc/content/abstraction-foldable.fsx b/docsrc/content/abstraction-foldable.fsx
@@ -68,9 +68,9 @@ From .Net/F#
  
 From F#+
 
- -  ``ZipList<'T>``
- -  ``NonEmptyList<'T>``
- -  ``DList<'T>``
+ -  [``ZipList<'T>``](type-ziplist.html)
+ -  [``NonEmptyList<'S>``](type-nonempty.html)
+ -  [``DList<'T>``](type-dlist.html)
 
 
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation

diff --git a/docsrc/content/abstraction-functor.fsx b/docsrc/content/abstraction-functor.fsx
@@ -66,26 +66,29 @@ From F#
  
 From F#+
 
- -  ``Cont<'R,'T>`` 
- -  ``ContT<'R,'T>``
- -  ``Reader<'R,'T>`` 
- -  ``ReaderT<'R,'Monad<'T>>``
- -  ``Writer<'Monoid,'T>``
- -  ``WriterT<'Monad<'T * 'Monoid>>``
- -  ``State<'S,'T * 'S>``
- -  ``StateT<'S,'Monad<'T * 'S>>``
- -  ``OptionT<'Monad<option<'T>>``
- -  ``ResultT<'Monad<Result<'T,'TError>>``
- -  ``ChoiceT<'Monad<Choice<'T,'TError>>``
- -  ``Free<'Functor<'T>,'T>``
- -  ``NonEmptyList<'T>``
- -  ``ZipList<'T>``
- -  ``ParallelArray<'T>``
- -  ``Const<'C,'T>``
- -  ``Kleisli<'T, 'Monad<'U>>``
- -  ``Compose<'F<'G<'T>>>``
- -  ``Coproduct<'FunctorL<'T>,'FunctorR<'T>>``
- -  ``DList<'T>``
+ -  [``Cont<'R,'T>``](type-cont.html)
+ -  [``ContT<'R,'T>``](type-contt.html)
+ -  [``Reader<'R,'T>``](type-reader.html)
+ -  [``ReaderT<'R,'Monad<'T>>``](type-readert.html)
+ -  [``Writer<'Monoid,'T>``](type-writer.html)
+ -  [``WriterT<'Monad<'T * 'Monoid>>``](type-writert.html)
+ -  [``State<'S,'T * 'S>``](type-state.html)
+ -  [``StateT<'S,'Monad<'T * 'S>>``](type-statet.html)
+ -  [``OptionT<'Monad<option<'T>>``](type-optiont.html)
+ -  [``SeqT<'Monad<seq<'T>>``](type-seqt.html)
+ -  [``ListT<'Monad<list<'T>>``](type-listt.html)
+ -  [``ResultT<'Monad<Result<'T,'TError>>``](type-resultt.html)
+ -  [``ChoiceT<'Monad<Choice<'T,'TError>>``](type-choicet.html)
+ -  [``Free<'Functor<'T>,'T>``](type-free.html)
+ -  [``NonEmptyList<'T>``](type-nonempty.html)
+ -  [``Validation<'Error,'T>``](type-validation.html)
+ -  [``ZipList<'T>``](type-ziplist.html)
+ -  [``ParallelArray<'T>``](type-parallelarray.html)
+ -  [``Const<'C,'T>``](type-const.html)
+ -  [``Compose<'AlternativeF<'AlternativeG<'T>>>``](type-compose.html)
+ -  [``DList<'T>``](type-dlist.html)
+ -  [``Kleisli<'T, 'Monad<'U>>``](type-kleisli.html)
+ -  [``Coproduct<'FunctorL<'T>,'FunctorR<'T>>``](type-coproduct.html)
  -  [``Vector<'T,'Dimension>``](type-vector.html)
  -  [``Matrix<'T,'Rows,'Columns>``](type-matrix.html)
 

diff --git a/docsrc/content/abstraction-monad.fsx b/docsrc/content/abstraction-monad.fsx
@@ -80,18 +80,23 @@ From F#
  
 From F#+
 
- -  ``Identity<'T>`` 
- -  ``Cont<'R,'T>`` 
- -  ``ContT<'R,'T>``
- -  ``Reader<'R,'T>`` 
- -  ``ReaderT<'R,'Monad<'T>>``
- -  ``Writer<'Monoid,'T>``
- -  ``WriterT<'Monad<'T * 'Monoid>>``
- -  ``State<'S,'T * 'S>`` 
- -  ``StateT<'S,'Monad<'T * 'S>>``
- -  ``Free<'Functor<'T>,'T>``
- -  ``NonEmptyList<'T>``
- -  ``DList<'T>``
+ -  [``Identity<'T>``](type-identity.html)
+ -  [``Cont<'R,'T>``](type-cont.html)
+ -  [``ContT<'R,'T>``](type-contt.html)
+ -  [``Reader<'R,'T>``](type-reader.html)
+ -  [``ReaderT<'R,'Monad<'T>>``](type-readert.html)
+ -  [``Writer<'Monoid,'T>``](type-writer.html)
+ -  [``WriterT<'Monad<'T * 'Monoid>>``](type-writert.html)
+ -  [``State<'S,'T * 'S>``](type-state.html)
+ -  [``StateT<'S,'Monad<'T * 'S>>``](type-statet.html)
+ -  [``OptionT<'Monad<option<'T>>``](type-optiont.html)
+ -  [``SeqT<'Monad<seq<'T>>``](type-seqt.html)
+ -  [``ListT<'Monad<list<'T>>``](type-listt.html)
+ -  [``ResultT<'Monad<Result<'T,'TError>>``](type-resultt.html)
+ -  [``ChoiceT<'Monad<Choice<'T,'TError>>``](type-choicet.html)
+ -  [``Free<'Functor<'T>,'T>``](type-free.html)
+ -  [``NonEmptyList<'T>``](type-nonempty.html)
+ -  [``DList<'T>``](type-dlist.html)
  
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation
 

diff --git a/docsrc/content/abstraction-monoid.fsx b/docsrc/content/abstraction-monoid.fsx
@@ -73,8 +73,8 @@ From .Net/F#
  
 From F#+
  
- -  ``ZipList<'S>``
- -  [``Dual<'T>](type-dual.html)
+ -  [``ZipList<'T>``](type-ziplist.html)
+ -  [``Dual<'T>``](type-dual.html)
  -  [``Endo<'T>``](type-endo.html)
  -  [``All``](type-all.html)
  -  [``Any``](type-any.html)

diff --git a/docsrc/content/abstraction-profunctor.fsx b/docsrc/content/abstraction-profunctor.fsx
@@ -71,7 +71,7 @@ From .Net/F#
 
 From F#+
 
- -  ``Kleisli<'T, 'Monad<'U>>``
+ -  [``Kleisli<'T, 'Monad<'U>>``](type-kleisli.html)
 
  [Suggest another](https://github.com/fsprojects/FSharpPlus/issues/new) concrete implementation
 

diff --git a/docsrc/content/abstraction-semigroup.fsx b/docsrc/content/abstraction-semigroup.fsx
@@ -58,16 +58,16 @@ From .Net/F#
  
 From F#+
  
- -  ``NonEmptyList<'S>``
- -  ``ZipList<'S>``
- -  ``Dual<'T>``
- -  ``Endo<'T>``
- -  ``All``
- -  ``Any``
- -  ``Const<'T,'U>``
- -  ``First<'T>``
- -  ``Last<'T>``
- -  ``DList<'T>``
+ -  [``NonEmptyList<'S>``](type-nonempty.html)
+ -  [``ZipList<'S>``](type-ziplist.html)
+ -  [``Dual<'T>``](type-dual.html)
+ -  [``Endo<'T>``](type-endo.html)
+ -  [``All``](type-all.html)
+ -  [``Any``](type-any.html)
+ -  [``Const<'C,'T>``](type-const.html)
+ -  [``First<'T>``](type-first.html)
+ -  [``Last<'T>``](type-last.html)
+ -  [``DList<'T>``](type-dlist.html)
  -  [``Vector<'T,'Dimension>``](type-vector.html)
  -  [``Matrix<'T,'Rows,'Columns>``](type-matrix.html)