Std.Fail

Short-circuit failure effect, parameterized by the error type.

Effects

Fail

effect Fail e {
  fun fail : e -> a
}

Effect for computations that can fail with an error of type e.