Variable opens

Type Declaration

• • <
        const Id extends
            "SearchTypeahead"
            | "SerpTop"
            | "SerpUsers"
            | "UserDetail",
        State,
        I,
    >(
        id: Id,
        step: (state: State) => ScreenEdgeStep<I>,
    ): (
        self: ScreenHandle,
        state: State,
    ) => ScreenEdgeCall<SearchProfileScreens[Id], [], I>

  • A transition into the screen id: calling it runs the target's enter and returns the target's handle, whose origin is the handle the edge was taken from (none for a tab). step maps the screen's state (and the caller's arguments) to the edge's source, ordinal skip and the target's input. An edge that takes arguments declares their schema (a tuple) third, so a trail can store them.

    The edge is taken only while its screen is on top (an item's: while its host is), else ScreenNotOnTopError; an input the target's schema refuses is ScreenEdgeInputError.

    Type Parameters

    • const Id extends "SearchTypeahead" | "SerpTop" | "SerpUsers" | "UserDetail"
    • State
    • I

    Parameters

    • id: Id
    • step: (state: State) => ScreenEdgeStep<I>

    Returns (
        self: ScreenHandle,
        state: State,
    ) => ScreenEdgeCall<SearchProfileScreens[Id], [], I>

  • <
        const Id extends
            "SearchTypeahead"
            | "SerpTop"
            | "SerpUsers"
            | "UserDetail",
        State,
        Args extends readonly unknown[],
        I,
    >(
        id: Id,
        step: (state: State, ...args: NoInfer<[...Args[]]>) => ScreenEdgeStep<I>,
        args: ScreenCodec<Args>,
    ): (
        self: ScreenHandle,
        state: State,
    ) => ScreenEdgeCall<SearchProfileScreens[Id], Args, I>

  • A transition into the screen id: calling it runs the target's enter and returns the target's handle, whose origin is the handle the edge was taken from (none for a tab). step maps the screen's state (and the caller's arguments) to the edge's source, ordinal skip and the target's input. An edge that takes arguments declares their schema (a tuple) third, so a trail can store them.

    The edge is taken only while its screen is on top (an item's: while its host is), else ScreenNotOnTopError; an input the target's schema refuses is ScreenEdgeInputError.

    Type Parameters

    • const Id extends "SearchTypeahead" | "SerpTop" | "SerpUsers" | "UserDetail"
    • State
    • Args extends readonly unknown[]
    • I

    Parameters

    • id: Id
    • step: (state: State, ...args: NoInfer<[...Args[]]>) => ScreenEdgeStep<I>
    • args: ScreenCodec<Args>

    Returns (
        self: ScreenHandle,
        state: State,
    ) => ScreenEdgeCall<SearchProfileScreens[Id], Args, I>