Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
»

instate

effect.type.instate

(R 
type
, e effect.this.type, code Function R, def Unary R effect.this.type)
 => 
R
[Contains abstract features]
execute 'code' in a context where the effect instance `e` has been
installed for effect type `effect.this`.

In case `f` returns normally, this will return `f`'s result.

In case `f` aborts this effect, return `def()`.

Type Parameters

0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)