~/jendhub

def reject_header

bendvy-ecs-core@0.1.0.4 · owned_family.bend:68

import bendvy-ecs-core@0.1.0.4/owned_family.bend as OwnedFamily
import Base
import world.bend as W
import compose.bend as Q

68def reject_header(-S:Data,reason:W.WorldError,header:Header<S>) -> Header<S>:
69  match header:
70    case Header{namespace,allocator,handle,clock,error,cursor}: Header{namespace,allocator,handle,clock,Q.first_error(error,reason),cursor}

Uses (3)

Used by (1)