~/jendhub

def validate_list

bendvy-ecs-core@0.1.0.3 · execution_query_domain.bend:26

import bendvy-ecs-core@0.1.0.3/execution_query_domain.bend as ExecutionQueryDomain
import Base

26def validate_list(+capacity:U32,offsets:List<&2,U32>) -> Validation:
27  match offsets:
28    case []:Valid{}
29    case +head <> +tail:validate_tail(capacity,head,validate_list(capacity,tail),contains_list(head,tail),U32.is_lt(head,capacity))

Uses (6)

Used by (1)