import type { Args, Fn } from "../HKT";

/**
 * Reverse a string.
 *
 * Sig: `(s: string) => string`
 */
export type Reverse<S extends string> = S extends `${infer F}${infer R}` ? `${Reverse<R>}${F}` : "";

/**
 * [Fn] Reverse a string.
 *
 * Sig: `(s: string) => string`
 */
export default interface ReverseFn extends Fn<[string], string> {
  def: ([s]: Args<this>) => Reverse<typeof s>;
}