-
Notifications
You must be signed in to change notification settings - Fork 52
/
ResultModule.fs
121 lines (101 loc) · 2.71 KB
/
ResultModule.fs
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
// $begin{copyright}
//
// This file is part of WebSharper
//
// Copyright (c) 2008-2018 IntelliFactory
//
// Licensed under the Apache License, Version 2.0 (the "License"); you
// may not use this file except in compliance with the License. You may
// obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
// implied. See the License for the specific language governing
// permissions and limitations under the License.
//
// $end{copyright}
[<WebSharper.NameAttribute "Result">]
[<WebSharper.Proxy
"Microsoft.FSharp.Core.ResultModule, \
FSharp.Core, Culture=neutral, \
PublicKeyToken=b03f5f7f11d50a3a">]
module private WebSharper.ResultModuleProxy
let Bind f r =
match r with
| Ok x -> f x
| Error e -> Error e
let Map f r =
match r with
| Ok x -> Ok (f x)
| Error e -> Error e
let MapError f r =
match r with
| Ok x -> Ok x
| Error e -> Error (f e)
let IsOk result =
match result with
| Ok _ -> true
| Error _ -> false
let IsError result =
match result with
| Ok _ -> false
| Error _ -> true
let DefaultValue value result =
match result with
| Error _ -> value
| Ok v -> v
let DefaultWith defThunk result =
match result with
| Error error -> defThunk error
| Ok v -> v
let Count result =
match result with
| Error _ -> 0
| Ok _ -> 1
let Fold<'T, 'Error, 'State> folder (state: 'State) (result: Result<'T, 'Error>) =
match result with
| Error _ -> state
| Ok x -> folder state x
let FoldBack<'T, 'Error, 'State> folder (result: Result<'T, 'Error>) (state: 'State) =
match result with
| Error _ -> state
| Ok x -> folder x state
let Exists predicate result =
match result with
| Error _ -> false
| Ok x -> predicate x
let ForAll predicate result =
match result with
| Error _ -> true
| Ok x -> predicate x
let Contains value result =
match result with
| Error _ -> false
| Ok v -> v = value
let Iterate action result =
match result with
| Error _ -> ()
| Ok x -> action x
let ToArray result =
match result with
| Error _ -> [||]
| Ok x -> [| x |]
let ToList result =
match result with
| Error _ -> []
| Ok x -> [ x ]
let ToSeq result =
match result with
| Error _ -> []
| Ok x -> [ x ]
let ToOption result =
match result with
| Error _ -> None
| Ok x -> Some x
let ToValueOption result =
match result with
| Error _ -> ValueNone
| Ok x -> ValueSome x