def mapped

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

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

import Base

13def mapped(-I:Type,-A:Type,-B:Type,next:A -> B,result:I & A) -> I & B:
14  match result:
15    case (invocation,value):(invocation,next(value))

Uses (2)

Pair
Sigma

Used by (1)

bendvy-ecs-core@0.1.0.3/execution_state_effect:map