Variable AmbientAccess

Type Declaration

• Readonlyempty: AmbientAccess

  Accesses nothing.

• equals: function

  • equals(this: void, a: AmbientAccess, b: AmbientAccess): boolean

    Whether both access the same state in the same way, no matter by which calls.

    Parameters

    • this: void
    • a: AmbientAccess
    • b: AmbientAccess

    Returns boolean

• Readonlymonoid: Monoid<AmbientAccess>

  What accesses combine to, as what runs in sequence or what a function reaches through its callees.

• Readonlyname: "AmbientAccess"

• names: function

  • names(this: void, access: AmbientAccess): Required<AmbientAccessNames>

    The state of each kind access accesses, without who accesses it. Mind that the order of names is not stable, so use AmbientAccess.equals to compare them.

    Parameters

    • this: void
    • access: AmbientAccess

    Returns Required<AmbientAccessNames>

• ofCall: function

  • ofCall(
        this: void,
        id: NodeId,
        ...names: readonly AmbientAccessNames[],
    ): AmbientAccess

    What the call id accesses, given the state it accesses (several times to add them up). All entries of a call share their ids, as the graph keeps this for every call touching global state.

    Parameters

    • this: void
    • id: NodeId
    • ...names: readonly AmbientAccessNames[]

    Returns AmbientAccess