def Entries.unless

bend-trace-context@0.2.0.0 · trace_context.bend:2326

import Base

2326# `item` followed by `rest`, unless `skip` is True: one step of a filter.
2327# Removing a key and listing the dropped keys both use it.
2328def Entries.unless(-A: Data, skip: Bool, item: A, rest: List<&2, A>) -> List<&2, A>:
2329  match skip:
2330    case True{}:
2331      rest
2332    case False{}:
2333      Con{item, rest}