Merge remote-tracking branch 'origin/master' into v1.3

RELEASE_NOTES.md

@@ -1,5 +1,8 @@
-#### 1.3.3 - February 4 2023
+#### 1.3.3 - February 5 2023
  - Fix missing zero overload for voption
+ - Add (>>=) and (>=>) to ReaderT
+ - Add ValueOption.toOption
+ - Deprecate (<**>)
 
 #### 1.3.2 - December 2 2022
  - Applicative Computation Expressions

RELEASE_NOTES.txt

@@ -1,4 +1,7 @@
-Release Notes for FSharpPlus 1.3.3 - February 4 2023
+Release Notes for FSharpPlus 1.3.3 - February 5 2023
 -----------------------------------------------------
 
-Fix missing zero overload for voption
+Fix missing zero overload for voption
+Add (>>=) and (>=>) to ReaderT
+Add ValueOption.toOption
+Deprecate (<**>)

src/FSharpPlus/Data/Reader.fs

@@ -155,8 +155,18 @@ type ReaderT<'r,'``monad<'t>``> with
  /// <category index="2">Applicative</category>
  static member inline (<* ) (x: ReaderT<'R, '``Monad<'U>``>, y: ReaderT<'R, '``Monad<'T>``>) : ReaderT<'R, '``Monad<'U>``> = ((fun (k: 'U) (_: 'T) -> k ) </ReaderT.map/> x : ReaderT<'R, '``Monad<'T->'U>``>) </ReaderT.apply/> y
 
+ /// <summary>
+ /// Takes a Reader value and a function from a plain type to a Reader value, and returns a new Reader value.
+ /// </summary>
+ /// <category index="2">Monad</category>
  static member inline (>>=) (x: ReaderT<_,'``Monad<'T>``>, f: 'T->ReaderT<'R,'``Monad<'U>``>) = ReaderT.bind f x : ReaderT<'R, '``Monad<'U>``>
-
+
+ /// <summary>
+ /// Composes left-to-right two Reader functions (Kleisli composition).
+ /// </summary>
+ /// <category index="2">Monad</category>
+ static member inline (>=>) (f: 'T -> ReaderT<_,'``Monad<'U>``>, g: 'U -> ReaderT<'R,'``Monad<'V>``>) : 'T -> ReaderT<'R,'``Monad<'V>``> = fun x -> ReaderT.bind g (f x)
+
  static member inline get_Empty () = ReaderT (fun _ -> getEmpty ()) : ReaderT<'R, '``MonadPlus<'T>``>
  static member inline (<|>) (ReaderT m, ReaderT n) = ReaderT (fun r -> m r <|> n r) : ReaderT<'R, '``MonadPlus<'T>``>
 

src/FSharpPlus/Extensions/Result.fs

@@ -78,6 +78,7 @@ module Result =
  /// <remarks><c>flatten</c> is equivalent to <c>bind id</c>.</remarks>
  let flatten source : Result<'T,'Error> = match source with Ok (Ok v) -> Ok v | Ok (Error e) | Error e -> Error e
 
+ // Note: To be fixed in F#+ 2. Arguments should be flipped in order to match the generic catch.
  [<System.Obsolete("Use Result.bindError instead.")>]
  let inline catch f = function Ok v -> Ok v | Error e -> (f: 't->_) e : Result<'v,'e>
 

src/FSharpPlus/Extensions/ValueOption.fs

@@ -70,3 +70,8 @@ module ValueOption =
  match pair with
  | true, x -> ValueSome x
  | false, _ -> ValueNone
+
+ let toOption x =
+ match x with
+ | ValueSome x -> Some x
+ | ValueNone -> None

src/FSharpPlus/Operators.fs

@@ -207,9 +207,7 @@ module Operators =
  /// <category index="2">Applicative</category>
  let inline (<* ) (x: '``Applicative<'U>``) (y: '``Applicative<'T>``) : '``Applicative<'U>`` = ((fun (k: 'U) (_: 'T) -> k ) <!> x : '``Applicative<'T->'U>``) <*> y
 
- /// <summary>
- /// Apply a lifted argument to a lifted function (flipped): arg &lt;**&gt; f
- /// </summary>
+ [<System.Obsolete("Use flip (<*>) instead.")>]
  /// <category index="2">Applicative</category>
  let inline (<**>) (x: '``Applicative<'T>``) : '``Applicative<'T -> 'U>``->'``Applicative<'U>`` = flip (<*>) x