// tracing: off

import { pipe } from "@effect-ts/core/Function"

import * as S from "../_schema.js"
import { brand } from "./brand.js"
import { fromNumber, number, stringNumberFromString } from "./number.js"
import { string } from "./string.js"
import type { DefaultSchema } from "./withDefaults.js"

export interface IntBrand {
  readonly Int: unique symbol
}

export type Int = number & IntBrand

export const intFromNumberIdentifier = S.makeAnnotation<{}>()

export const intFromNumber: DefaultSchema<number, Int, number, number, {}> = pipe(
  fromNumber,
  S.arbitrary(_ => _.integer()),
  S.refine(
    (n): n is Int => Number.isInteger(n),
    n => S.leafE(S.invalidIntegerE(n))
  ),
  S.encoder(_ => _ as number),
  S.mapConstructorError(_ => (((_ as any).errors) as Chunk<any>).unsafeHead.error),
  S.mapParserError(_ => (((_ as any).errors) as Chunk<any>).unsafeHead.error),
  S.mapApi(() => ({})),
  brand<Int>(),
  S.annotate(intFromNumberIdentifier, {})
)

export const stringIntFromStringIdentifier = S.makeAnnotation<{}>()

export const stringIntFromString: DefaultSchema<
  string,
  Int,
  number,
  string,
  S.ApiSelfType<Int>
> = pipe(
  stringNumberFromString[">>>"](intFromNumber),
  brand<Int>(),
  S.annotate(stringIntFromStringIdentifier, {})
)

export const stringIntIdentifier = S.makeAnnotation<{}>()

export const stringInt: DefaultSchema<
  unknown,
  Int,
  number,
  string,
  S.ApiSelfType<Int>
> = pipe(
  string[">>>"](stringIntFromString),
  brand<Int>(),
  S.annotate(stringIntIdentifier, {})
)

export const intIdentifier = S.makeAnnotation<{}>()

export const int: DefaultSchema<
  unknown,
  Int,
  number,
  number,
  S.ApiSelfType<Int>
> = pipe(number[">>>"](intFromNumber), brand<Int>(), S.annotate(intIdentifier, {}))