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

Refactorings and snippets for Lean 4

import { IdSchema } from 'libs/generic/models/Id'
import { NotesSchema } from 'libs/generic/models/Notes'
import { isEqualByD } from 'libs/utils/lodash'
import { getArraySchema } from 'libs/utils/zod'
import { z } from 'zod'

export const PermissionSchema = z.object({
  id: IdSchema,
  notes: NotesSchema,
}).describe('Permission')

export const PermissionsSchema = getArraySchema(PermissionSchema, parsePermissionUid)

export const PermissionUidSchema = PermissionSchema.pick({
  id: true,
})

export type Permission = z.infer<typeof PermissionSchema>

export type PermissionUid = z.infer<typeof PermissionUidSchema>

export function parsePermission(permission: Permission): Permission {
  return PermissionSchema.parse(permission)
}

export function parsePermissions(permissions: Permission[]): Permission[] {
  return PermissionsSchema.parse(permissions)
}

export function parsePermissionUid(permissionUid: PermissionUid): PermissionUid {
  return PermissionUidSchema.parse(permissionUid)
}

export const isEqualPermission = (a: Permission) => (b: Permission) => isEqualByD(a, b, parsePermissionUid)