def Group.get

bend-lint-api@0.2.0.0 · shared/names.bend:56

import Base

56# What is added under `key`, in the order added.
57def Group.get(-A: Data, groups: Map<&2, List<&2, A>>, key: String) -> List<&2, A>:
58  List.reverse(
59    &2,
60    A,
61    Pair.snd(Map<&2, List<&2, A>>, List<&2, A>, Map.get(List<&2, A>, [], groups, key))
62  )