~/jendhub

def validate_tail

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

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

21def validate_tail(+capacity:U32,+offset:U32,next:Validation,duplicate:Bool,inRange:Bool) -> Validation:
22  match duplicate inRange:
23    case True{} _:Duplicate{offset}
24    case False{} False{}:OutOfBounds{offset,capacity}
25    case False{} True{}:next

Uses (3)

Used by (1)