Skip to content
Graft

RemoteTerminationUnconfirmed

Defined in: internal/runner/model.ts:338

Extends

Section titled “Extends”
  • { _tag: "RemoteTerminationUnconfirmed"; handle: { generation: number; key: { identity: string; instance: string; }; token: string; }; } & YieldableError<this> & { brand: typeof brand; }

Constructors

Section titled “Constructors”

Constructor

Section titled “Constructor”
new RemoteTerminationUnconfirmed(...args: [props: {
  _tag?: "RemoteTerminationUnconfirmed";
  handle: {
     generation: number;
     key: {
        identity: string;
        instance: string;
     };
     token: string;
  };
}, options?: MakeOptions]): RemoteTerminationUnconfirmed;

Defined in: ../../../node_modules/.pnpm/effect@4.1.2/node_modules/effect/dist/Schema.d.ts:11613

Parameters

Section titled “Parameters”
Parameter Type
…args [props: { _tag?: "RemoteTerminationUnconfirmed"; handle: { generation: number; key: { identity: string; instance: string; }; token: string; }; }, options?: MakeOptions]

Returns

Section titled “Returns”

RemoteTerminationUnconfirmed

Properties

Section titled “Properties”
Property Modifier Type Default value Defined in
_tag readonly "RemoteTerminationUnconfirmed" undefined ../../../node_modules/.pnpm/effect@4.1.2/node_modules/effect/dist/Schema.d.ts:5110
brand readonly typeof brand undefined internal/runner/model.ts:340
handle readonly { generation: number; key: { identity: string; instance: string; }; token: string; } Handle internal/runner/model.ts:341
handle.generation readonly number PositiveInt internal/runner/model.ts:158
handle.key readonly { identity: string; instance: string; } Key internal/runner/model.ts:156
handle.key.identity readonly string Schema.NonEmptyString internal/runner/model.ts:143
handle.key.instance readonly string Schema.NonEmptyString internal/runner/model.ts:144
handle.token readonly string Schema.NonEmptyString internal/runner/model.ts:157