From 3962979907bc8440801baee7a309d6ffcde273c8 Mon Sep 17 00:00:00 2001
From: Gustavo Leon <1261319+gusty@users.noreply.github.com>
Date: Sun, 8 Oct 2023 09:11:12 +0200
Subject: [PATCH] Fix generic signatures in docs

---
 docsrc/content/abstraction-category.fsx   | 6 +++---
 docsrc/content/abstraction-comonad.fsx    | 4 ++--
 docsrc/content/abstraction-monad.fsx      | 6 +++---
 docsrc/content/abstraction-profunctor.fsx | 6 +++---
 4 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/docsrc/content/abstraction-category.fsx b/docsrc/content/abstraction-category.fsx
index 4ed323ca0..634f54481 100644
--- a/docsrc/content/abstraction-category.fsx
+++ b/docsrc/content/abstraction-category.fsx
@@ -22,8 +22,8 @@ Minimal complete definition
 
 *)
 (**
-    static member get_Id() : 'Category<'T,'T>
-    static member (<<<) (f:Category<'U,'V>, g:'Category<'T,'U>) : 'Category<'T,'V>
+    static member get_Id() : 'Category<'T, 'T>
+    static member (<<<) (f: 'Category<'U, 'V>, g: 'Category<'T, 'U>) : 'Category<'T, 'V>
 *)
 (**
 
@@ -35,7 +35,7 @@ Other operations
  * ``(>>>)``
 *)
 (**
-    static member (>>>) (g:'Category<'T,'U>, f:Category<'U,'V>) : 'Category<'T,'V>
+    static member (>>>) (g: 'Category<'T, 'U>, f: 'Category<'U, 'V>) : 'Category<'T, 'V>
 *)
 (**
 
diff --git a/docsrc/content/abstraction-comonad.fsx b/docsrc/content/abstraction-comonad.fsx
index 852ebe6e8..2a18d3164 100644
--- a/docsrc/content/abstraction-comonad.fsx
+++ b/docsrc/content/abstraction-comonad.fsx
@@ -23,8 +23,8 @@ Minimal complete definition
 
 *)
 (**
-    static member Extract (s:'Comonad<'T>) : 'T
-    static member (=>>)   (s:'Comonad<'T>, f:'Comonad<'T> -> 'U) : Comonad<'U>
+    static member Extract (s: 'Comonad<'T>) : 'T
+    static member (=>>)   (s: 'Comonad<'T>, f: 'Comonad<'T> -> 'U) : 'Comonad<'U>
 *)
 (**
 
diff --git a/docsrc/content/abstraction-monad.fsx b/docsrc/content/abstraction-monad.fsx
index dd6fab944..eb1fce5ad 100644
--- a/docsrc/content/abstraction-monad.fsx
+++ b/docsrc/content/abstraction-monad.fsx
@@ -22,7 +22,7 @@ Minimal complete definition
 *)
 (**
     static member Return (x: 'T) : 'Monad<'T>
-    static member (>>=) (x: Monad<'T>, f: 'T->Monad<'U>) : Monad<'U>
+    static member (>>=) (x: 'Monad<'T>, f: 'T -> 'Monad<'U>) : 'Monad<'U>
 *)
 (**
 
@@ -34,7 +34,7 @@ Other operations
  * ``join``
 *)
 (**
-    static member Join (x:'Monad<'Monad<'T>>) :'Monad<'T>
+    static member Join (x: 'Monad<'Monad<'T>>) : 'Monad<'T>
 *)
 (**
 
@@ -361,4 +361,4 @@ Recommended reading
    
    It contains examples using F#+ and an explanation from scratch.
 
-*)
\ No newline at end of file
+*)
diff --git a/docsrc/content/abstraction-profunctor.fsx b/docsrc/content/abstraction-profunctor.fsx
index 326de41ac..e8ac497ca 100644
--- a/docsrc/content/abstraction-profunctor.fsx
+++ b/docsrc/content/abstraction-profunctor.fsx
@@ -20,7 +20,7 @@ Minimal complete definition
  * ``dimap f g x``
 *)
 (**
-    static member Dimap (x:'Profunctor<'T,'V>, f:'U->'T, g:'V->'W) :'Profunctor<'U,'W>
+    static member Dimap (x: 'Profunctor<'T, 'V>, f: 'U -> 'T, g: 'V -> 'W) : 'Profunctor<'U, 'W>
 *)
 (**
 
@@ -31,14 +31,14 @@ Other operations
  * ``lmap f x``
 *)
 (**
-    static member Contramap (x:Profunctor<'T,'V>, f:'U->'T) :'Profunctor<'U,'V>
+    static member Contramap (x: 'Profunctor<'T, 'V>, f: 'U -> 'T) : 'Profunctor<'U, 'V>
 *)
 (**
 
  * ``rmap g x``
 *)
 (**
-    static member Map (x:Profunctor<'T,'V>, f:'V->'W) :'Profunctor<'T,'W>
+    static member Map (x: 'Profunctor<'T,'V>, f: 'V -> 'W) : 'Profunctor<'T, 'W>
 *)
 (**