Type Alias ScreenEdgeTaken<D>

ScreenEdgeTaken: D extends ScreenParts<
    infer Id,
    infer Kind,
    infer Data,
    infer Actions,
>
    ? Kind extends EnterableScreenKind
        ? Id extends ScreenId
            ? Effect.Effect<
                AssembledHandle<
                    Id,
                    Kind,
                    Data,
                    Actions,
                    ScreenItemsOf<D>,
                    EdgeOrigin<Kind, ScreenHandle>,
                >,

                    | ScreenEnterTypes<D>[0]
                    | ScreenItemListFailure<ScreenItemsOf<D>>
                    | ScreenEnterNavigationError
                    | ScreenDataError
                    | ScreenNotOnTopError
                    | ScreenEdgeInputError
                    | InvalidSkipOrdinalsError
                    | ScreenEnterConcurrentError,

                    | ScreenEnterTypes<D>[1]
                    | ScreenItemListServices<ScreenItemsOf<D>>
                    | ScreenStack
                    | MobileNavigation
                    | ScreenCatalog,
            >
            : never
        : never
    : never