lean4-code-actions/libs/generic/models/Seed/index.ts

Refactorings and snippets for Lean 4

import { isEqualSC } from 'libs/utils/lodash'
import { getArraySchema } from 'libs/utils/zod'
import { identity } from 'remeda'
import { z } from 'zod'

export const SeedSymbol: unique symbol = Symbol()

export const SeedSchema = z.number().brand(SeedSymbol).describe('Seed')

export const SeedsSchema = getArraySchema(SeedSchema, identity)

export type Seed = z.infer<typeof SeedSchema>

export const parseSeed = (seed: Seed): Seed => SeedSchema.parse(seed)

export const parseSeeds = (seeds: Seed[]): Seed[] => SeedsSchema.parse(seeds)

export const isEqualSeed = isEqualSC

export const parseSeedFromNumber = (seed: number): Seed => SeedSchema.parse(seed)

export interface WithSeed {
  seed: Seed
}