File tree Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change @@ -44,7 +44,8 @@ module GenericBuilders =
4444 member inline __.Return ( x : 'T ) = result x : '`` Monad<'T> ``
4545 member inline __.Yield ( x : 'T ) = result x : '`` Monad<'T> ``
4646 member inline __.Bind ( p : '``Monad < 'T > ``, rest : 'T -> '``Monad < 'U > ``) = p >>= rest : '`` Monad<'U> ``
47- member inline __.MergeSources ( t1 : '``Monad < 'T > ``, t2: '``Monad<'U>`` ) : '``Monad < 'T * 'U > `` = Lift2.Invoke tuple2 t1 t2
47+ member inline __.MergeSources ( t1 : '``Monad < 'T > ``, t2: '``Monad<'U>`` ) : '``Monad < 'T * 'U > `` = Lift2.Invoke tuple2 t1 t2
48+ member inline __.MergeSources3 ( t1 : '``Monad < 'T > ``, t2: '``Monad<'U>`` , t3 : '``Monad < 'V > ``) : '``Monad < 'T * 'U * 'V > `` = Lift3.Invoke tuple3 t1 t2 t3
4849
4950 [<CustomOperation( " select" , MaintainsVariableSpaceUsingBind= true , AllowIntoPattern= true ) >]
5051 member inline __.Select ( x , [<ProjectionParameter>] f ) = map f x
You can’t perform that action at this time.
0 commit comments