def cancelled.discard

mylsm-lsm-store@0.6.0.1 · src/coordinator/RequestQueue.bend:476

import mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend as RequestQueue

import Base

476def cancelled.discard(entries: List<&1, Pending>) -> Unit:
477  match entries:
478    case Nil{}: Unit{}
479    case Con{pending, rest}:
480      match pending:
481        case Pending{_, _, _, _, _, _}: cancelled.discard(rest)

Uses (3)

List
Unit
mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue:Pending

Used by (0)

No other definition uses this definition.