Skip to content

Commit 0394d05

Browse files
committed
More accurate Delay signature
1 parent dc551e4 commit 0394d05

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/FSharpPlus/Control/Monad.fs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -164,13 +164,13 @@ type Delay =
164164
static member Delay (_mthd: Delay , x: unit-> Task<_> , _ ) = x () : Task<'T>
165165
static member Delay (_mthd: Delay , x: unit-> Lazy<_> , _ ) = lazy (x().Value) : Lazy<'T>
166166

167-
static member inline Invoke (source : unit -> 'R) : 'R =
167+
static member inline Invoke (source : unit -> '``Monad<'T>``) : '``Monad<'T>`` =
168168
let inline call (mthd: ^M, input: unit -> ^I) = ((^M or ^I) : (static member Delay : _*_*_ -> _) mthd, input, Unchecked.defaultof<Delay>)
169169
call (Unchecked.defaultof<Delay>, source)
170170

171171
#else
172172

173-
static member inline Invoke source : '``Monad<'T>`` = Bind.Invoke (Return.Invoke ()) source
173+
static member inline Invoke (source : unit -> '``Monad<'T>``) : '``Monad<'T>`` = Bind.Invoke (Return.Invoke ()) source
174174

175175
#endif
176176

0 commit comments

Comments
 (0)