lean4-code-actions/libs/generic/models/Name/withIdFromName.ts

Refactorings and snippets for Lean 4

import { fromStringToId } from '../Id'
import { Name } from '../Name'

export function withIdFromName<Obj>($object: Obj & { name: Name }) {
  return {
    ...$object,
    id: fromStringToId($object.name),
  }
}