~/jendhub

def pair_validate_join

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

import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
import Base

70def pair_validate_join(~W:Type,~OwnerA:Type,~OwnerB:Type,left_valid:Bool,validatedB:W & (OwnerB & Bool),ownerA:OwnerA) -> W & ((OwnerA & OwnerB) & Bool):
71  match validatedB:
72    case (world,(ownerB,right_valid)):(world,((ownerA,ownerB),Bool.and(left_valid,right_valid)))

Uses (4)

Used by (1)