Chromium Code Reviews| Index: tools/gardening_tools/base_lib/lib/src/try.dart |
| diff --git a/tools/gardening_tools/base_lib/lib/src/try.dart b/tools/gardening_tools/base_lib/lib/src/try.dart |
| new file mode 100644 |
| index 0000000000000000000000000000000000000000..bf57c9de1b2aa8b97106716f5d28f3726bba039c |
| --- /dev/null |
| +++ b/tools/gardening_tools/base_lib/lib/src/try.dart |
| @@ -0,0 +1,65 @@ |
| +import 'dart:async'; |
| + |
| +/// [Try] is similar to Haskell monad, where |
| +/// a computation may throw an exception. |
| +/// There is no checking of passing null into |
| +/// the value, so be mindful. |
| +class Try<T> { |
| + final T _val; |
| + final StackTrace _stackTrace; |
| + final Exception _err; |
| + |
| + Try.from(this._val) |
| + : _err = null, |
| + _stackTrace = null; |
| + |
| + Try.error(this._err, this._stackTrace) : _val = null; |
| + |
| + Try<S> bind<S>(S f(T)) { |
| + if (_err != null) { |
| + return new Try.error(_err, _stackTrace); |
| + } |
| + |
| + try { |
| + return new Try<S>.from(f(_val)); |
| + } catch (ex, stackTrace) { |
| + return new Try<S>.error(ex, stackTrace); |
| + } |
| + } |
| + |
| + Future<Try<S>> bindAsync<S>(Future<S> f(T)) async { |
|
Bill Hesse
2017/08/23 15:41:25
Future itself has an error channel and a value cha
mkroghj
2017/08/25 09:28:28
The idea for bindAsync is to change Try<Future<X>>
|
| + if (_err != null) { |
| + return new Try.error(_err, _stackTrace); |
| + } |
| + |
| + try { |
| + return new Try.from(await f(_val)); |
| + } catch (ex, stackTrace) { |
| + return new Try.error(ex, stackTrace); |
| + } |
| + } |
| + |
| + void fold(caseErr(Exception), caseVal(T)) { |
| + if (_err != null) |
|
Johnni Winther
2017/08/23 12:40:47
Add curly braces (dangling statements are brittle)
|
| + caseErr(_err); |
| + else |
| + caseVal(_val); |
| + } |
| + |
| + bool isError() => _err != null; |
|
Johnni Winther
2017/08/23 12:40:47
Make this a getter:
bool get isError => _error
|
| + |
| + Exception getError() => _err; |
|
Johnni Winther
2017/08/23 12:40:47
Ditto.
|
| + StackTrace getStackTrace() => _stackTrace; |
|
Johnni Winther
2017/08/23 12:40:47
Ditto.
|
| + |
| + T get() => _val; |
|
Johnni Winther
2017/08/23 12:40:47
Make this a getter:
bool get value => _val;
|
| + |
| + T getOrDefault(T defval) => _err != null ? defval : _val; |
| +} |
| + |
| +Try<T> tryStart<T>(T action()) { |
| + return new Try<int>.from(0).bind<T>((dummy) => action()); |
| +} |
| + |
| +Future<Try<T>> tryStartAsync<T>(Future<T> action()) { |
| + return new Try<int>.from(0).bindAsync<T>((dummy) => action()); |
| +} |