~/jendhub

type WriteAccess

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:352

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

352# Closed Data-publication capability threading opaque H. This type alone does
353# not promise transaction staging or rollback of arbitrary host side effects.
354type WriteAccess<H: Type,E: Data,-publish: H -> E -> H> is Data:
355  WriteAccess{}

Uses (0)

This definition uses no other definition.

Used by (3)