def pure

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

import Base

13def pure(~F:Type -> Type,-R:Type,effects:Effects<F>,value:R) -> F(R):
14  match effects:
15    case Effects{pure,_,_}:pure(R,value)