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

Refactorings and snippets for Lean 4

import { nail } from 'libs/utils/string'
import { z } from 'zod'

export const NotesSchema = z.string().optional().transform(transformNotes)

export type Notes = z.infer<typeof NotesSchema>

export interface WithNotes {
  notes?: string
}

export function validateNotes(notes: Notes) {
  return NotesSchema.parse(notes)
}

export function transformNotes(notes?: string) {
  return notes ? nail(notes) : notes
}