Function variant

  • variant<T, E>(tag, ...members): Variant<T, InputObject<E>, OutputObject<E>>

  • Type Parameters

    Parameters

    • tag: T
    • Rest...members: [...(never extends E
          ? {
              [K in string | number | symbol]: AnyShape extends E[K<K>]
                  ? E[K<K>] & AnyShape
                  : (UnionKeys<Input<E[K<K>]>> & {
                          [L in string | number | symbol]: K<K> extends L<L>
                              ? never
                              : UnionKeys<Input<(...)>>
                      }[number]) extends O
                      ? [O] extends [never]
                          ? Shape<Input<E[K<(...)>]> & {}, Input<E[K<(...)>]> & {}>
                          : Shape<{
                              [_ in string | number | symbol]?: undefined
                          }, {
                              [_ in string | number | symbol]?: undefined
                          }>
                      : never
          }
          : E)[]]

    Returns Variant<T, InputObject<E>, OutputObject<E>>