import type { Type } from "arktype"
import { type } from "arktype"
import type { To } from "arktype/internal/attributes.ts"

export type { Type }
export { type }
export type FromTo<In, Out> = (input: In) => To<Out>

export const typeCustom = <Out>(predicate: (value: unknown) => value is Out): Type<Out> => {
  const t = type("unknown").narrow((value: unknown): value is Out => {
    return predicate(value)
  })
  return t as Type<Out>
}

export type InferInput<Schema extends Type> = Schema["inferIn"]
export type InferOutput<Schema extends Type> = Schema["inferOut"]

export type Or<
  A extends Type,
  B extends Type = never,
  C extends Type = never,
  D extends Type = never,
  E extends Type = never,
  F extends Type = never,
  G extends Type = never,
  H extends Type = never,
  I extends Type = never,
  J extends Type = never,
> = Type<
  | InferOutput<A>
  | InferOutput<B>
  | InferOutput<C>
  | InferOutput<D>
  | InferOutput<E>
  | InferOutput<F>
  | InferOutput<G>
  | InferOutput<H>
  | InferOutput<I>
  | InferOutput<J>
>
export type Or2<Types extends Type[]> = Type<InferOutput<Types[number]>>