export declare const oneOrMore: <A extends string>(param: A) => OneOrMore<A>

export declare const optional: <A extends string>(param: A) => Optional<A>

export declare const param: <A extends string>(param: A) => Param<A>

export declare const paramWithOptions: <const A extends string, Options extends ReadonlyArray<string>>(
  param: A,
  ...options: Options
) => ParamWithOptions<A, Options>

export declare const prefix: <P extends string, A extends string>(prefix: P, param: A) => Prefix<P, A>

export declare const queryParam: <K extends string, V extends string>(key: K, value: V) => QueryParam<K, V>

export declare const queryParams: <P extends readonly [QueryParam<any, any>, ...QueryParam<any, any>]>(
  ...params: P
) => QueryParams<P>

export declare const unnamed: "(.*)"

export declare const zeroOrMore: <A extends string>(param: A) => ZeroOrMore<A>

export type OneOrMore<A extends string> = `${A}+`

export type Optional<A extends string> = `${A}?`

export type Param<A extends string> = `:${A}`

export type ParamWithOptions<A extends string, Options extends ReadonlyArray<string>> = `:${A}(${S.Join<Options, "|">})`

export type Prefix<P extends string, A extends string> = `{${P}${A}}`

export type QueryParam<K extends string, V extends string> = `` extends V ? K : `${K}=${V}`

export type QueryParams<Q extends ReadonlyArray<QueryParam<any, any>>, R extends string = ``> = Q extends readonly [
  infer Head extends string,
  ...infer Tail extends ReadonlyArray<QueryParam<any, any>>
]
  ? QueryParams<Tail, `` extends R ? `\\?${Head}` : `${R}&${Head}`>
  : R

export type Unnamed = typeof unnamed

export type ZeroOrMore<A extends string> = `${A}*`