Skip to content

Commit

Permalink
Fix Monad signature in docs
Browse files Browse the repository at this point in the history
  • Loading branch information
gusty committed Oct 8, 2023
1 parent 1aa0154 commit c718153
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 8 deletions.
4 changes: 2 additions & 2 deletions docsrc/content/abstraction-comonad.fsx
Original file line number Diff line number Diff line change
Expand Up @@ -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>
*)
(**
Expand Down
6 changes: 3 additions & 3 deletions docsrc/content/abstraction-monad.fsx
Original file line number Diff line number Diff line change
Expand Up @@ -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>
*)
(**
Expand All @@ -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>
*)
(**
Expand Down Expand Up @@ -361,4 +361,4 @@ Recommended reading
It contains examples using F#+ and an explanation from scratch.
*)
*)
6 changes: 3 additions & 3 deletions docsrc/content/abstraction-profunctor.fsx
Original file line number Diff line number Diff line change
Expand Up @@ -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>
*)
(**
Expand All @@ -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>
*)
(**
Expand Down

0 comments on commit c718153

Please sign in to comment.