Documentation

Represents a gate, which can be either opened or closed.

Create a new gate, specifying whether the gate is initially open.

Create a new initially open gate.

Create a new initially close gate.

Open the gate if it was closed.

Close the gate if it was open.

Invert the gate.

Test whether the gate is open.

Test whether the gate is closed.

Await the gate to be opened if required. If the gate is already open then the computation returns immediately.

Await the gate to be closed if required. If the gate is already closed then the computation returns immediately.

Signal triggered when the state of the gate changes.