fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion • Library Modules • base • effect • type.instate

instate

effect.type.instate

type.instate
(
R 
type
,
e effect.this.type,
code Function R,
def Unary R effect.this.type
)
 => 
R
[src]
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

R
:
Any
[src]

Arguments

e
 effect.this.type
[src]
the effect value to instate
code
 Function R
[src]
the code to execute with `e` instated.
def
 Unary R effect.this.type
[src]
the lazy default result to use if effect aborts
0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)
last changed: 2026-11-03