def first_after_generic

bendvy-ecs-core@0.1.0.3 · execution_lifecycle_notices.bend:148

import bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend as ExecutionLifecycleNotices

import Base

148def first_after_generic(-S:Data,+cursor:Nat,rows:List<&2,Row<S>>) -> Maybe<&2,Row<S>>:
149  match rows:
150    case []:None{}
151    case +row <> rest:first_selected_generic(S,Nat.is_lt(cursor,row_sequence_generic(S,row)),row,first_after_generic(S,cursor,rest))

Uses (7)

Used by (2)