Interface AlterDomain<Ext>

interface AlterDomain<Ext> {
    _tag: "AlterDomain";
    action: DomainAction<Ext>;
    extensions: null | Ext["AlterDomain"];
    name: ast.Ident;
}

Type Parameters

Hierarchy

  • Tagged<"AlterDomain", {
        action: DomainAction<Ext>;
        extensions: Ext["AlterDomain"] | null;
        name: ast.Ident;
    }>
    • AlterDomain

Properties

_tag action extensions name

Properties

Readonly _tag

_tag: "AlterDomain"

Readonly action

action: DomainAction<Ext>

Readonly extensions

extensions: null | Ext["AlterDomain"]

Readonly name

name: ast.Ident

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc