~/jendhub

def registration_facts

bendvy-ecs-core@0.1.0.4 · reader_parameter.bend:11

import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

11def registration_facts(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Error:Data,~Output:Type,~runner:W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,Error,Output>,registry:Sys.Registry<S,C,R,E,Args,Error,Output,runner>) -> Sys.Registry<S,C,R,E,Args,Error,Output,runner> & RegistrationFacts:
12  match registry:
13    case Sys.Registry{+namespace,+id,+name,+access,+cursor}:(Sys.Registry{namespace,id,name,access,cursor},RegistrationFacts{namespace,id,name,access})

Uses (6)

Used by (1)