~/jendhub

def resource_next

bendvy-ecs-core@0.1.0.4 · restore_storage.bend:44

import bendvy-ecs-core@0.1.0.4/restore_storage.bend as RestoreStorage
import Base
import bendvy-ecs-core@0.1.0.4/restore_leaf.bend as Stage

44def resource_next(~Context:Type,~I:Type,~P:Type,next:P -> Stage.State<Context,I,P> -> P & Stage.State<Context,I,P>,observed:P & Stage.State<Context,I,P>) -> P & Stage.State<Context,I,P>:
45  match observed:
46    case (owner,state):next(owner,state)

Uses (3)

Used by (1)