OrdinaryEventDeclaration.publishing: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend as OrdinaryEventDeclaration
Lines 46-52 of bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend&start_line=46&end_line=52

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev

# Select a typed publication grant: Some only for Write, None for Read.
# publish is a trusted owner-threading operation; the declaration does not
# make arbitrary callback effects transactional or execute publication here.
def publishing(~S:Data,~E:Data,~H:Type,~publish:H -> E -> H,declaration:Declaration<S,E>) -> Maybe<&2,Ev.WriteAccess<H,E,publish>>:
  match declaration:
    case Declaration{_,Write{}}:Some{Ev.WriteAccess{}}
    case Declaration{_,Read{}}:None{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_runtime.bend&name=WriteAccess
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend&name=Mode