~/jendhub

def same_descriptor

bendvy-ecs-core@0.1.0.3 · execution_command_permission.bend:84

import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as ExecutionCommandPermission
import Base
import bendvy-ecs-core@0.1.0.3/relation_types.bend as Relation
import bendvy-ecs-core@0.1.0.3/string_equality.bend as StringEquality

84def same_descriptor(-S:Data,left:Relation.Descriptor<S>,right:Relation.Descriptor<S>) -> Bool:
85  match left right:
86    case Relation.Descriptor{lk,ln,li,lt} Relation.Descriptor{rk,rn,ri,rt}:Bool.and(U32.is_eq(lk,rk),Bool.and(StringEquality.equal(ln,rn),Bool.and(StringEquality.equal(li,ri),same_kind(lt,rt))))

Uses (6)

Used by (2)