~/jendhub

def mismatch

bendvy-ecs-core@0.1.0.3 · relation_reorder_core.bend:38

import bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend as RelationReorderCore
import Base
import entity_key.bend as K
import relation_types.bend as T

38def mismatch(same: Bool,error: Maybe<&2,T.Error>,parent: K.Key,name: String) -> Maybe<&2,T.Error>:
39  match same error:
40    case _ Some{e}: Some{e}
41    case True{} None{}: None{}
42    case False{} None{}: Some{T.ChildSetMismatch{parent,name}}

Uses (5)

Used by (1)