EffectSet

struct EffectSet

A function type's declared effect row ('[io], 'io, or the open default). Not rendered in the dump; carried for the real product.

Properties

let names: [String]

Effect names without quote sigils, in declaration order.

let name_starts: [Int]

Per-name token spans, parallel to names.

let open: Bool

Whether additional effects may be added to the row.