def pair_validate_fn

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

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

import Base

78def pair_validate_fn(~W:Type,~OwnerA:Type,~OwnerB:Type,~validateA:W -> OwnerA -> W & (OwnerA & Bool),~validateB:W -> OwnerB -> W & (OwnerB & Bool),world:W,owners:OwnerA & OwnerB) -> W & ((OwnerA & OwnerB) & Bool):
79  match owners:
80    case (ownerA,ownerB):pair_validate_after_left(~W,~OwnerA,~OwnerB,~validateB,ownerB,validateA(world,ownerA))

Uses (4)

Used by (2)