def continued

bendvy-ecs-core@0.1.0.3 · execution_state_effect.bend:8

import bendvy-ecs-core@0.1.0.3/execution_state_effect.bend as ExecutionStateEffect

import Base

8def continued(-I:Type,-A:Type,-B:Type,next:A -> I -> I & B,result:I & A) -> I & B:
9  match result:
10    case (invocation,value):next(value)(invocation)

Uses (2)

Pair
Sigma

Used by (1)

bendvy-ecs-core@0.1.0.3/execution_state_effect:bind