def read

bendvy-ecs-core@0.1.0.4 · internal/relation_failures/queue.bend:72

import bendvy-ecs-core@0.1.0.4/internal/relation_failures/queue.bend as Queue

import Base

72def read(~E: Data,queue: Queue<E>,cursor: Nat) -> List<&2,E>:
73  match queue:
74    case Queue{front,back,_,_}: read_back(~E,front,back,cursor)

Uses (4)

Used by (1)

bendvy-ecs-core@0.1.0.4/internal/relation_failures/readings:queue_reading