effect-tea-persistent
    Preparing search index...

    Interface Reference<T, Name>

    A program as a sender names it: its name, with its types, and none of its code (decision 0183). send and create take a reference or the program, and reach the program the runtime deployed under the name. reference<typeof p>(name) makes one where an import type of p brings only its types.

    interface Reference<T extends Types, Name extends string = string> {
        "[ReferenceTypes]": Invariant<T>;
        name: Name;
    }

    Type Parameters

    • T extends Types
    • Name extends string = string
    Index
    "[ReferenceTypes]": Invariant<T>

    Only a type, never set: it carries T to send and create, which infer it. A program has none, so that a program stays assignable to one of wider types, as tests of migrations write.

    name: Name

    The name of the program, which the runtime deployed it under.