def bind

bendvy-ecs-core@0.1.0.3 · execution_effects.bend:16

import Base

16def bind(~F:Type -> Type,-A:Type,-B:Type,effects:Effects<F>,action:F(A),next:A -> F(B)) -> F(B):
17  match effects:
18    case Effects{_,bind,_}:bind(A,B,action,next)