def listing.answer

bolt@1.27.0.0 · src/lint/world.bend:78

import Base

78# a listing's names; anything else lists nothing
79def listing.answer(aa: Answer) -> List<&2, String>:
80  match aa:
81    case Listed{names}:
82      names
83    case Read{_text}:
84      []
85    case Unread{}:
86      []
87    case Directory{}:
88      []