~/jendhub

def take_receipts

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

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

70def take_receipts(~S:Data,~P:Type,~D:Type,buffer:Buffer<S,P,D>) -> Buffer<S,P,D> & List<Receipt<S,P,D>>:
71  match buffer:
72    case Buffer{pending,receipts}:(Buffer{pending,[]},List.reverse(&1,Receipt<S,P,D>,receipts))

Uses (6)

Used by (0)

No other definition uses this definition.