def trace_refusal

bendvy-ecs-core@0.1.0.4 · component.bend:272

import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
import world.bend as W

272def trace_refusal(~S:Data,state:TraceFacts.State,name:String,handle:W.Handle<S>,error:W.WorldError) -> TraceFacts.State:
273  match state:
274    case TraceFacts.Off{}:TraceFacts.Off{}
275    case TraceFacts.On{facts}:TraceFacts.On{TraceFacts.Fact{TraceFacts.ComponentValue{},name,TraceFacts.WriteOperation{},Some{trace_handle(~S,handle)},TraceFacts.OpaqueValue{},TraceFacts.OpaqueValue{},TraceFacts.Refused{trace_error(error)}} <> facts}