3 people like it.
Like the snippet!
Reinventing the Reader Monad
Alternative solution to the problem in Scott Wlaschin's "Reinventing the Reader Monad" article (but without monads).
1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:
26:
27:
28:
29:
|
/// Applies the specified function to all items in the list.
/// If any of the function calls results in a Failure, the
/// map function returns failure immediately.
let mapOrFail f items =
let rec loop acc items =
match items with
| x::xs ->
match f x with
| Success r -> loop (r::acc) xs
| fail -> fail
| [] -> Success(List.rev acc)
loop [] items
let getPurchaseInfo (custId:CustId) : Result<ProductInfo list> =
// Open api connection (I'm not calling 'Close' at the end
// because this is should be done done automatically, as the
// client implements IDisposable)
use api = new ApiClient()
api.Open()
// Get product ids purchased by customer id
let productIdsResult = api.Get<ProductId list> custId
match productIdsResult with
| Success productIds ->
productIds |> mapOrFail (api.Get<ProductInfo>)
| Failure err ->
Failure err
|
val mapOrFail : f:('a -> 'b) -> items:'a list -> 'c
Full name: Script.mapOrFail
Applies the specified function to all items in the list.
If any of the function calls results in a Failure, the
map function returns failure immediately.
val f : ('a -> 'b)
val items : 'a list
val loop : ('d -> 'a list -> 'e)
val acc : 'd
val x : 'a
val xs : 'a list
Multiple items
module List
from Microsoft.FSharp.Collections
--------------------
type List<'T> =
| ( [] )
| ( :: ) of Head: 'T * Tail: 'T list
interface IEnumerable
interface IEnumerable<'T>
member Head : 'T
member IsEmpty : bool
member Item : index:int -> 'T with get
member Length : int
member Tail : 'T list
static member Cons : head:'T * tail:'T list -> 'T list
static member Empty : 'T list
Full name: Microsoft.FSharp.Collections.List<_>
val rev : list:'T list -> 'T list
Full name: Microsoft.FSharp.Collections.List.rev
val getPurchaseInfo : custId:'a -> 'b
Full name: Script.getPurchaseInfo
val custId : 'a
type 'T list = List<'T>
Full name: Microsoft.FSharp.Collections.list<_>
val api : System.IDisposable
val productIdsResult : obj
Multiple items
val Failure : message:string -> exn
Full name: Microsoft.FSharp.Core.Operators.Failure
--------------------
active recognizer Failure: exn -> string option
Full name: Microsoft.FSharp.Core.Operators.( |Failure|_| )
More information