def pending

bendvy-ecs-core@0.1.0.3 · execution_command_buffer.bend:66

import bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend as ExecutionCommandBuffer
import Base

66def pending(~S:Data,~P:Type,~D:Type,buffer:Buffer<S,P,D>) -> Buffer<S,P,D> & Bool:
67  match buffer:
68    case Buffer{[],receipts}:(Buffer{[],receipts},False{})
69    case Buffer{head <> rest,receipts}:(Buffer{head <> rest,receipts},True{})

Uses (5)

Used by (1)