def first

bendvy-ecs-core@0.1.0.4 · ordinary_app_records.bend:16

import bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend as OrdinaryAppRecords

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Stored

16def first(~S:Data,~Left:Type,~Right:Type,rightFold:Right -> Right & List<&2,Stored.Fields<S>>,right:Right,result:Left & List<&2,Stored.Fields<S>>) -> (Left & Right) & List<&2,Stored.Fields<S>>:
17  match result:
18    case (left,before):second(~S,~Left,~Right,left,before,rightFold(right))

Uses (5)

Used by (1)

bendvy-ecs-core@0.1.0.4/ordinary_app_records:pair