Skip to content

Commit f09cf7f

Browse files
committed
Add missing .> and <. operators
1 parent 5b8157f commit f09cf7f

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

src/FSharpPlus/Operators.fs

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -258,6 +258,18 @@ module Operators =
258258
/// <category index="2">Applicative</category>
259259
let inline map3 (f: 'T->'U->'V->'W) (x: '``ZipApplicative<'T>``) (y: '``ZipApplicative<'U>``) (z: '``ZipApplicative<'V>``) : '``ZipApplicative<'W>`` = Map3.Invoke f x y z
260260

261+
/// <summary>
262+
/// Applies two applicatives left-to-right in a non-sequential way, discarding the value of the first argument.
263+
/// </summary>
264+
/// <category index="2">Applicative</category>
265+
let inline (.>) (x: '``Applicative<'T>``) (y: '``Applicative<'U>``) : '``Applicative<'U>`` = ((fun (_: 'T) (k: 'U) -> k) <!> x : '``Applicative<'U->'U>``) <.> y
266+
267+
/// <summary>
268+
/// Applies two applicatives left-to-right in a non-sequential way, discarding the value of the second argument.
269+
/// </summary>
270+
/// <category index="2">Applicative</category>
271+
let inline (<.) (x: '``Applicative<'U>``) (y: '``Applicative<'T>``) : '``Applicative<'U>`` = ((fun (k: 'U) (_: 'T) -> k ) <!> x : '``Applicative<'T->'U>``) <.> y
272+
261273
/// <summary>
262274
/// Applies 2 lifted arguments to a non-lifted function with pointwise and/or parallel semantics.
263275
/// Operator version of 'map2'.

0 commit comments

Comments
 (0)