//··························································
// Copyright (c) 2023-2026. Jonathan Bédard ~ JóôòKiwi
//
// This project is free to use.
// All the right is reserved to the author of this project.
// My projects:
//  - https://github.com/joooKiwi/type
//  - https://github.com/joooKiwi/lazy
//  - https://github.com/joooKiwi/collection
//  - https://github.com/joooKiwi/enumeration
//··························································

import type {Enumerable}                             from "./Enumerable"
import type {EnumerableWithGrandParent}              from "./EnumerableWithGrandParent"
import type {EnumerableWithNullableGreatGrandParent} from "./EnumerableWithNullableGreatGrandParent"
import type {EnumerableWithParent}                   from "./EnumerableWithParent"
import type {PossibleNameOf}                         from "./type/nameOf"
import type {PossibleOrdinalOf}                      from "./type/ordinalOf"

export interface EnumerableWithGreatGrandParent<out PARENT extends EnumerableWithGrandParent<GRAND_PARENT, GREAT_GRAND_PARENT>,
    out GRAND_PARENT extends EnumerableWithParent<GREAT_GRAND_PARENT>,
    out GREAT_GRAND_PARENT extends Enumerable,
    out ORDINAL extends PossibleOrdinalOf<number, PARENT> = PossibleOrdinalOf<number, PARENT>,
    out NAME extends PossibleNameOf<string, PARENT> = PossibleNameOf<string, PARENT>, >
    extends EnumerableWithGrandParent<PARENT, GRAND_PARENT, ORDINAL, NAME>,
            EnumerableWithNullableGreatGrandParent<PARENT, GRAND_PARENT, GREAT_GRAND_PARENT, ORDINAL, NAME> {

    /** The parent of the current instance */
    readonly parent: PARENT

    /** The grandparent of the current instance */
    readonly grandParent: GRAND_PARENT

    /** The great-grandparent of the current instance */
    readonly greatGrandParent: GREAT_GRAND_PARENT

}