def push

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

import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
import Base

56def push(-A: Data, x: Maybe<&2, A>, out: List<&2, A>) -> List<&2, A>:
57  match x:
58    case Some{v}:
59      v <> out
60    case None{}:
61      out

Uses (2)

Used by (16)