lean4-code-actions/libs/generic/models/Url.ts

Refactorings and snippets for Lean 4

import { z } from 'zod'
import { isEqualByD } from '../../utils/lodash'
import { getDuplicatesRefinement } from '../../utils/zod'

export const UrlSchema = z.string().url().min(1).describe('Url')

export const UrlsSchema = z.array(UrlSchema)
  .superRefine(getDuplicatesRefinement('Url', parseUrlUid))

export const UrlUidSchema = UrlSchema

export type Url = z.infer<typeof UrlSchema>

export type UrlUid = z.infer<typeof UrlUidSchema>

export function parseUrl(url: Url): Url {
  return UrlSchema.parse(url)
}

export function parseUrls(urls: Url[]): Url[] {
  return UrlsSchema.parse(urls)
}

export function parseUrlUid(urlUid: UrlUid): UrlUid {
  return UrlUidSchema.parse(urlUid)
}

export const isEqualUrl = (a: Url) => (b: Url) => isEqualByD(a, b, parseUrlUid)