harmony icon indicating copy to clipboard operation
harmony copied to clipboard

or_else等において、呼び出した関数が`monas`を返した場合に変換できない

Open onihusube opened this issue 3 years ago • 0 comments

int n= 0;
int* p = &n;

harmony::monas(p)
  | or_else([](auto&&) {
      return to_either(false);  // monas<sachet<bool, bool>>を返す
    });

この場合に呼び出す処理の戻り値型がmonasに包まれている可能性を考慮していない。

onihusube avatar Jun 16 '21 01:06 onihusube