~/jendhub

def pair_validate_after_left

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

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

74def pair_validate_after_left(~W:Type,~OwnerA:Type,~OwnerB:Type,~validateB:W -> OwnerB -> W & (OwnerB & Bool),ownerB:OwnerB,validatedA:W & (OwnerA & Bool)) -> W & ((OwnerA & OwnerB) & Bool):
75  match validatedA:
76    case (world,(ownerA,left_valid)):pair_validate_join(~W,~OwnerA,~OwnerB,left_valid,validateB(world,ownerB),ownerA)

Uses (4)

Used by (1)