~/jendhub

def right_select

bendvy-ecs-core@0.1.0.4 · ordinary_removal_provision.bend:27

import bendvy-ecs-core@0.1.0.4/ordinary_removal_provision.bend as OrdinaryRemovalProvision
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/removals.bend as Rm

27def right_select(~S:Data,~P:Type,~A:Data,~B:Data,~select:B -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,P>>>,value:Publication<A,B>) -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,P>>>:
28  match value:
29    case Left{_}:None{}
30    case Right{value}:select(value)

Uses (4)

Used by (1)