def take.at

bend-kit-runner@0.13.0.1 · runner.bend:1324

import bend-kit-runner@0.13.0.1/runner.bend as Runner

import Base

1324def take.at(-A: Data, eq: Bool, f: Flight<A>, r: Maybe<&1, Flight<A>> & List<&1, Flight<A>>) -> Maybe<&1, Flight<A>> & List<&1, Flight<A>>:
1325  match eq:
1326    case True{}:
1327      (m, xs) = r
1328      (Some{f}, take.keep(A, m, xs))
1329    case False{}:
1330      (m, xs) = r
1331      (m, Con{f, xs})

Uses (7)

Used by (1)

bend-kit-runner@0.13.0.1/runner:take