Function Option

repos/effect/packages/effect/src/Schema.ts:8486–8547

(value: A)

 * for constructive uniqueness using Effect equality.
 *
 * @category validation
 * @since 4.0.0
 */
export function isUnique<T>(annotations?: Annotations.Filter) {
  return makeFilter<ReadonlyArray<T>>(
    (input) => Arr.dedupe(input).length === input.length,
    {
      expected: "an array with unique items",
      representation: {
        id: "effect/schema/isUnique",
        payload: null
      },
      toJsonSchema: () => ({ uniqueItems: true }),
      toCode: () => ({ runtime: "Schema.isUnique()" }),
      arbitraryConstraint: {
        uniqueBy: identity
      },
      ...annotations
    }
  )
}
/**
 * Validates that all first elements in an array of key-value tuples are unique according to Effect equality.
 *
 * **Details**
 *
 * Arbitrary:
 * During arbitrary generation, this projects each entry to its key for constructive uniqueness.
 *
 * JSON Schema:
 * JSON Schema has no equivalent constraint, so this check is omitted from generated documents.
 *
 * @see {@link isUnique} for validating uniqueness of complete array elements
 * @category validation
 * @since 4.0.0
 */
export function isUniqueKey<Key, Value>(annotations?: Annotations.Filter) {
  return makeFilter<ReadonlyArray<readonly [Key, Value]>>(
    (input) => Arr.dedupe(input.map(([key]) => key)).length === input.length,
    {
      expected: "an array with unique keys",
      representation: {
        id: "effect/schema/isUniqueKey",
        payload: null
      },
      toCode: () => ({ runtime: "Schema.isUniqueKey()" }),
      arbitraryConstraint: {
        uniqueBy: (entry: readonly [Key, Value]) => entry[0]
      },
      ...annotations
    }
  )
}
/**
 * Type-level representation of {@link NonEmptyString}.
 *
 * @category models
 * @since 3.10.0