import type { error } from "../../../dev/utils/src/main.js"
import type { inferAst, validateAst } from "./ast.js"
import type { astToString } from "./utils.js"

/**
"N%D", where "N" is a number and "D" is a non-zero integer
 */
export type validateDivisor<l, $, args> = isDivisible<
    inferAst<l, $, args>
> extends true
    ? validateAst<l, $, args>
    : error<writeIndivisibleMessage<astToString<l>>>

type isDivisible<data> = [data] extends [number] ? true : false

export const writeIndivisibleMessage = <root extends string>(
    root: root
): writeIndivisibleMessage<root> =>
    `Divisibility operand ${root} must be a number`

type writeIndivisibleMessage<root extends string> =
    `Divisibility operand ${root} must be a number`