def binding_name
bendvy-ecs-core@0.1.0.4 · ordinary_app_schedule_description.bend:27
import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule_description.bend as OrdinaryAppScheduleDescription
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO
27
28def binding_name(~S:Data,+namespace:U32,+id:U32,bindings:List<&2,DTO.Binding<S>>) -> Maybe<&2,String>:
29 match bindings:
30 case []:None{}
31 case DTO.Binding{otherNamespace,otherId,name,_,_,_,_} <> rest:selected(Bool.and(U32.is_eq(namespace,otherNamespace),U32.is_eq(id,otherId)),name,binding_name(~S,namespace,id,rest))