exists - then みたいなやつ

[onihusube]

monadicオブジェクトが有効値を持っていて、かつ指定された条件を満たした時、にand_thenするようなやつ。

auto f() -> expected<int, bool>;

// こんな雰囲気
harmony::monas(f())
  | exists([](int n) { return n == 20;}).then([](int n) { /* 何か処理 */ });

// あるいは
harmony::monas(f())
  | exists_then([](int n) { return n == 20;}, [](int n) { /* 何か処理 */ });

// and_thenでやろうとするとこうなる
harmony::monas(f())
  | and_then(
      [](int n) {
        if (n == 20) {
          /* 何か処理 */ 
        } else {
          return n;
        }
      });

双対的にor_else版も必要。

求む適切な名前。

[onihusube]

候補1 when().and_then(), when().or_else()

harmony::monas(f())
  | when([](int n) { return n == 20;}).and_then([](int n) { /* 何か処理 */ });

harmony::monas(f())
  | when([](int n) { return n == 20;}).or_else([](int n) { /* 何か処理 */ });

[onihusube]

harmony::monas(f())
  | when([](int n) { return n == 20;})
  | and_then([](int n) { /* 何か処理 */ });

の方が自然？

とするとfilterとかにした方がいい？

harmony::monas(f())
  | filter([](int n) { return n == 20;})
  | and_then([](int n) { /* 何か処理 */ });