diff --git a/docsrc/content/abstraction-alternative.fsx b/docsrc/content/abstraction-alternative.fsx index 516530ec5..ccd217320 100644 --- 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 index a9a3e2233..de237b79e 100644 --- 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>``](type-optiont.html) + - [``SeqT<'Monad>``](type-seqt.html) + - [``ListT<'Monad>``](type-listt.html) + - [``ResultT<'Monad>``](type-resultt.html) + - [``ChoiceT<'Monad>``](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 index d7e3a152b..160139c11 100644 --- 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 *) \ No newline at end of file diff --git a/docsrc/content/abstraction-bifoldable.fsx b/docsrc/content/abstraction-bifoldable.fsx index 85f2b01d3..88b6de745 100644 --- 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 index 57fd774bf..f33d267b0 100644 --- 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 index a50e1452b..3e7831435 100644 --- 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 *) \ No newline at end of file diff --git a/docsrc/content/abstraction-comonad.fsx b/docsrc/content/abstraction-comonad.fsx index 452ef9959..ccfdb64b1 100644 --- 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 index daef8d212..f60aae800 100644 --- 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 index bb87bc2fb..5123b8174 100644 --- 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 index 803fb92d6..d117f3860 100644 --- 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>`` - - ``ResultT<'Monad>`` - - ``ChoiceT<'Monad>`` - - ``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>``](type-optiont.html) + - [``SeqT<'Monad>``](type-seqt.html) + - [``ListT<'Monad>``](type-listt.html) + - [``ResultT<'Monad>``](type-resultt.html) + - [``ChoiceT<'Monad>``](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 index 292077fb6..0f3652383 100644 --- 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>``](type-optiont.html) + - [``SeqT<'Monad>``](type-seqt.html) + - [``ListT<'Monad>``](type-listt.html) + - [``ResultT<'Monad>``](type-resultt.html) + - [``ChoiceT<'Monad>``](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 index 73083fe12..c66190cd7 100644 --- 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 index edd0e0313..8091fe7a0 100644 --- 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 index 8b252199a..82d01a8f7 100644 --- 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)