import type * as B from "effect/Brand"
import * as S from "effect/Schema"
import type { Simplify } from "effect/Types"
import { fromBrand, nominal } from "./brand.js"
import { withDefaultMake } from "./ext.js"

export type NonEmptyStringBrand = B.Brand<"NonEmptyString">
export type NonEmptyString = string & NonEmptyStringBrand
export const NonEmptyString = S
  .NonEmptyString
  .pipe(
    fromBrand<NonEmptyString>(nominal<NonEmptyString>(), {
      identifier: "NonEmptyString",
      jsonSchema: {}
    }),
    withDefaultMake
  )

export interface NonEmptyString64kBrand extends Simplify<B.Brand<"NonEmptyString64k"> & NonEmptyStringBrand> {}
export type NonEmptyString64k = string & NonEmptyString64kBrand
export const NonEmptyString64k = S
  .NonEmptyString
  .pipe(
    S.check(S.isMaxLength(64 * 1024)),
    fromBrand<NonEmptyString64k>(nominal<NonEmptyString64k>(), {
      identifier: "NonEmptyString64k",
      jsonSchema: {}
    }),
    withDefaultMake
  )

export interface NonEmptyString2kBrand extends Simplify<B.Brand<"NonEmptyString2k"> & NonEmptyString64kBrand> {}
export type NonEmptyString2k = string & NonEmptyString2kBrand
export const NonEmptyString2k = S
  .NonEmptyString
  .pipe(
    S.check(S.isMaxLength(2 * 1024)),
    fromBrand<NonEmptyString2k>(nominal<NonEmptyString2k>(), {
      identifier: "NonEmptyString2k",
      jsonSchema: {}
    }),
    withDefaultMake
  )

export interface NonEmptyString255Brand extends Simplify<B.Brand<"NonEmptyString255"> & NonEmptyString2kBrand> {}
export type NonEmptyString255 = string & NonEmptyString255Brand
export const NonEmptyString255 = S
  .NonEmptyString
  .pipe(
    S.check(S.isMaxLength(255)),
    fromBrand<NonEmptyString255>(nominal<NonEmptyString255>(), {
      identifier: "NonEmptyString255",
      jsonSchema: {}
    }),
    withDefaultMake
  )