def first_error

bendvy-ecs-core@0.1.0.3 · dependency_plan.bend:56

import Base

56def first_error(~Requirement:Data,first:Maybe<&2,Invalid<Requirement>>,next:Maybe<&2,Invalid<Requirement>>) -> Maybe<&2,Invalid<Requirement>>:
57  match first:
58    case None{}:next
59    case Some{reason}:Some{reason}