Predicate

This module provides a collection of functions for working with predicates and refinements.

A Predicate<A> is a function that takes a value of type A and returns a boolean. It is used to check if a value satisfies a certain condition.

A Refinement<A, B> is a special type of predicate that not only checks a condition but also provides a type guard, allowing TypeScript to narrow the type of the input value from A to a more specific type B within a conditional block.

The module includes: - Basic predicates and refinements for common types (e.g., isString, isNumber). - Combinators to create new predicates from existing ones (e.g., and, or, not). - Advanced combinators for working with data structures (e.g., tuple, struct). - Type-level utilities for inspecting predicate and refinement types.

53 exports Added in v2.0.0 Source

Combinators

and

Added in v2.0.0 Source

Combines two predicates with a logical "AND". The resulting predicate returns true only if both of the predicates return true.

If both predicates are Refinements, the resulting predicate is a Refinement to the intersection of their target types (B & C).

Signature

declare const and: {
  <A, C>(that: Refinement<A, C>): <B>(self: Refinement<A, B>) => Refinement<A, B & C>;
  <A, B, C>(self: Refinement<A, B>, that: Refinement<A, C>): Refinement<A, B & C>;
  <A>(that: Predicate<A>): (self: Predicate<A>) => Predicate<A>;
  <A>(self: Predicate<A>, that: Predicate<A>): Predicate<A>;
};

Example

import * as assert from "node:assert"
import { Predicate } from "effect"

type Person = { name: string }
type Employee = { id: number }

const hasName = (u: unknown): u is Person =>
  Predicate.hasProperty(u, "name") && typeof (u as any).name === "string"
const hasId = (u: unknown): u is Employee =>
  Predicate.hasProperty(u, "id") && typeof (u as any).id === "number"

const isPersonAndEmployee = Predicate.and(hasName, hasId)

const val: unknown = { name: "Alice", id: 123 }
if (isPersonAndEmployee(val)) {
  // val is narrowed to Person & Employee
  assert.strictEqual(val.name, "Alice")
  assert.strictEqual(val.id, 123)
}

assert.strictEqual(isPersonAndEmployee({ name: "Bob" }), false) // Missing id
assert.strictEqual(isPersonAndEmployee({ id: 456 }), false) // Missing name

eqv

Added in v2.0.0 Source

Combines two predicates with a logical "EQV" (equivalence). The resulting predicate returns true if both predicates return the same boolean value (both true or both false).

Signature

declare const eqv: {
  <A>(that: Predicate<A>): (self: Predicate<A>) => Predicate<A>;
  <A>(self: Predicate<A>, that: Predicate<A>): Predicate<A>;
};

Example

import * as assert from "node:assert"
import { Predicate } from "effect"

const isPositive = (n: number) => n > 0
const isEven = (n: number) => n % 2 === 0

const isPositiveEqvEven = Predicate.eqv(isPositive, isEven)

assert.strictEqual(isPositiveEqvEven(4), true) // both true -> true
assert.strictEqual(isPositiveEqvEven(3), false) // different -> false
assert.strictEqual(isPositiveEqvEven(-2), false) // different -> false
assert.strictEqual(isPositiveEqvEven(-1), true) // both false -> true

implies

Added in v2.0.0 Source

Creates a predicate that represents a logical "if-then" rule.

Think of it as a conditional promise: "If antecedent holds true, then I promise consequent will also be true."

This function is invaluable for defining complex validation logic where one condition dictates another.

### How It Works

The rule only fails (returns false) when the "if" part is true, but the "then" part is false. In all other cases, the promise is considered kept, and the result is true.

This includes the concept of "vacuous truth": if the "if" part is false, the rule doesn't apply, so the promise isn't broken, and the result is true. (e.g., "If it rains, I'll bring an umbrella." If it doesn't rain, you haven't broken your promise, no matter what).

### Key Details

- Logical Equivalence: implies(p, q) is the same as not(p).or(q), or simply !p || q in plain JavaScript. This can be a helpful way to reason about its behavior.

- Type-Safety Warning: This function always returns a Predicate, never a type-narrowing Refinement. A true result doesn't guarantee the consequent passed (it could be true simply because the antecedent was false), so it cannot be used to safely narrow a type.

Signature

declare const implies: {
  <A>(consequent: Predicate<A>): (antecedent: Predicate<A>) => Predicate<A>;
  <A>(antecedent: Predicate<A>, consequent: Predicate<A>): Predicate<A>;
};

Example

// Rule: A user can only be an admin if they also belong to the "staff" group.
import * as assert from "node:assert"
import { Predicate } from "effect"

type User = {
  isStaff: boolean
  isAdmin: boolean
}

const isValidUserPermission = Predicate.implies(
  // antecedent: "if" the user is an admin...
  (user: User) => user.isAdmin,
  // consequent: "then" they must be staff.
  (user: User) => user.isStaff,
)

// A non-admin who is not staff. Rule doesn't apply (antecedent is false).
assert.strictEqual(isValidUserPermission({ isStaff: false, isAdmin: false }), true)

// A staff member who is not an admin. Rule doesn't apply (antecedent is false).
assert.strictEqual(isValidUserPermission({ isStaff: true, isAdmin: false }), true)

// An admin who is also staff. The rule was followed.
assert.strictEqual(isValidUserPermission({ isStaff: true, isAdmin: true }), true)

// An admin who is NOT staff. The rule was broken!
assert.strictEqual(isValidUserPermission({ isStaff: false, isAdmin: true }), false)

mapInput

Added in v2.0.0 Source

Transforms a Predicate<A> into a Predicate<B> by applying a function (b: B) => A to the input before passing it to the predicate. This is also known as "contramap" or "pre-composition".

Signature

declare const mapInput: {
  <B, A>(f: (b: B) => A): (self: Predicate<A>) => Predicate<B>;
  <A, B>(self: Predicate<A>, f: (b: B) => A): Predicate<B>;
};

Example

import { Predicate, Number } from "effect"
import * as assert from "node:assert"

// A predicate on numbers
const isPositive: Predicate.Predicate<number> = Number.greaterThan(0)

// A function from `string` to `number`
const stringLength = (s: string): number => s.length

// Create a new predicate on strings by mapping the input
const hasPositiveLength = Predicate.mapInput(isPositive, stringLength)

assert.strictEqual(hasPositiveLength("hello"), true)
assert.strictEqual(hasPositiveLength(""), false)

nand

Added in v2.0.0 Source

Combines two predicates with a logical "NAND" (negated AND). The resulting predicate returns true if at least one of the predicates returns false. This is equivalent to not(and(p, q)).

Signature

declare const nand: {
  <A>(that: Predicate<A>): (self: Predicate<A>) => Predicate<A>;
  <A>(self: Predicate<A>, that: Predicate<A>): Predicate<A>;
};

nor

Added in v2.0.0 Source

Combines two predicates with a logical "NOR" (negated OR). The resulting predicate returns true only if both predicates return false. This is equivalent to not(or(p, q)).

Signature

declare const nor: {
  <A>(that: Predicate<A>): (self: Predicate<A>) => Predicate<A>;
  <A>(self: Predicate<A>, that: Predicate<A>): Predicate<A>;
};

not

Added in v2.0.0 Source

Returns a new predicate that is the logical negation of the given predicate.

Note: If the input is a Refinement, the resulting predicate will be a simple Predicate, as TypeScript cannot infer the negative type.

Signature

declare function not<A>(self: Predicate<A>): Predicate<A>;

or

Added in v2.0.0 Source

Combines two predicates with a logical "OR". The resulting predicate returns true if at least one of the predicates returns true.

If both predicates are Refinements, the resulting predicate is a Refinement to the union of their target types (B | C).

Signature

declare const or: {
  <A, C>(that: Refinement<A, C>): <B>(self: Refinement<A, B>) => Refinement<A, C | B>;
  <A, B, C>(self: Refinement<A, B>, that: Refinement<A, C>): Refinement<A, B | C>;
  <A>(that: Predicate<A>): (self: Predicate<A>) => Predicate<A>;
  <A>(self: Predicate<A>, that: Predicate<A>): Predicate<A>;
};

Example

import * as assert from "node:assert"
import { Predicate } from "effect"

const isString = (u: unknown): u is string => typeof u === "string"
const isNumber = (u: unknown): u is number => typeof u === "number"

const isStringOrNumber = Predicate.or(isString, isNumber)

assert.strictEqual(isStringOrNumber("hello"), true)
assert.strictEqual(isStringOrNumber(123), true)
assert.strictEqual(isStringOrNumber(null), false)

const value: unknown = "world"
if (isStringOrNumber(value)) {
  // value is narrowed to string | number
  console.log(value)
}

xor

Added in v2.0.0 Source

Combines two predicates with a logical "XOR" (exclusive OR). The resulting predicate returns true if one of the predicates returns true, but not both.

Signature

declare const xor: {
  <A>(that: Predicate<A>): (self: Predicate<A>) => Predicate<A>;
  <A>(self: Predicate<A>, that: Predicate<A>): Predicate<A>;
};

Example

import * as assert from "node:assert"
import { Predicate } from "effect"

const isPositive = (n: number) => n > 0
const isEven = (n: number) => n % 2 === 0

const isPositiveXorEven = Predicate.xor(isPositive, isEven)

assert.strictEqual(isPositiveXorEven(4), false) // both true -> false
assert.strictEqual(isPositiveXorEven(3), true) // one true -> true
assert.strictEqual(isPositiveXorEven(-2), true) // one true -> true
assert.strictEqual(isPositiveXorEven(-1), false) // both false -> false

Combining

all

Added in v2.0.0 Source

Takes an iterable of predicates and returns a new predicate that tests an array of values. The new predicate returns true if each predicate at a given index is satisfied by the value at the same index in the array. The check stops at the length of the shorter of the two iterables (predicates or values).

See

tuple for a more powerful, variadic version.

Signature

declare function all<A>(collection: Iterable<Predicate<A>>): Predicate<readonly Array<A>>

product

Added in v2.0.0 Source

Combines two predicates to test a tuple of two values. The first predicate tests the first element of the tuple, and the second predicate tests the second element.

Signature

declare function product<A, B>(self: Predicate<A>, that: Predicate<B>): Predicate<readonly [A, B]>;

productMany

Added in v2.0.0 Source

Combines a predicate for a single value and an iterable of predicates for the rest of an array. Useful for checking the head and tail of an array separately.

Signature

declare function productMany<A>(
  self: Predicate<A>,
  collection: Iterable<Predicate<A>>,
): Predicate<readonly [A, A]>;

Elements

every

Added in v2.0.0 Source

Takes an iterable of predicates and returns a new predicate. The new predicate returns true if all predicates in the collection return true for a given value.

This is like Array.prototype.every but for a collection of predicates.

See

some

Signature

declare function every<A>(collection: Iterable<Predicate<A>>): Predicate<A>;

some

Added in v2.0.0 Source

Takes an iterable of predicates and returns a new predicate. The new predicate returns true if at least one predicate in the collection returns true for a given value.

This is like Array.prototype.some but for a collection of predicates.

See

every

Signature

declare function some<A>(collection: Iterable<Predicate<A>>): Predicate<A>;

Guards

hasProperty

Added in v2.0.0 Source

A refinement that checks if a value is an object-like value and has a specific property key.

Signature

declare const hasProperty: {
  <P extends PropertyKey>(property: P): (self: unknown) => self is { [K in PropertyKey]: unknown };
  <P extends PropertyKey>(self: unknown, property: P): self is { [K in PropertyKey]: unknown };
};

Example

import * as assert from "node:assert"
import { hasProperty } from "effect/Predicate"

assert.strictEqual(hasProperty({ a: 1 }, "a"), true)
assert.strictEqual(hasProperty({ a: 1 }, "b"), false)

const value: unknown = { name: "Alice" }
if (hasProperty(value, "name")) {
  // The type of `value` is narrowed to `{ name: unknown }`
  // and we can safely access `value.name`
  console.log(value.name)
}

isBigInt

Added in v2.0.0 Source

A refinement that checks if a value is a bigint.

Signature

declare function isBigInt(input: unknown): input is bigint;

isBoolean

Added in v2.0.0 Source

A refinement that checks if a value is a boolean.

Signature

declare function isBoolean(input: unknown): input is boolean;

isDate

Added in v2.0.0 Source

A refinement that checks if a value is a Date object.

Signature

declare function isDate(input: unknown): input is Date;

isError

Added in v2.0.0 Source

A refinement that checks if a value is an instance of Error.

Signature

declare function isError(input: unknown): input is Error;

isFunction

Added in v2.0.0 Source

A refinement that checks if a value is a Function.

Signature

declare const isFunction: (input: unknown) => input is Function;

Example

import * as assert from "node:assert"
import { isFunction } from "effect/Predicate"

assert.strictEqual(
  isFunction(() => {}),
  true,
)
assert.strictEqual(isFunction(isFunction), true)

assert.strictEqual(isFunction("function"), false)

isIterable

Added in v2.0.0 Source

A refinement that checks if a value is an Iterable. Many built-in types are iterable, such as Array, string, Map, and Set.

Signature

declare function isIterable(input: unknown): input is Iterable<unknown, any, any>;

isMap

Added in v2.0.0 Source

A refinement that checks if a value is a Map.

Signature

declare function isMap(input: unknown): input is Map<unknown, unknown>;

isNever

Added in v2.0.0 Source

A refinement that always returns false. The type is narrowed to never.

Signature

declare const isNever: (input: unknown) => input is never;

Example

import * as assert from "node:assert"
import { isNever } from "effect/Predicate"

assert.strictEqual(isNever(1), false)
assert.strictEqual(isNever(null), false)
assert.strictEqual(isNever({}), false)

isNotNull

Added in v2.0.0 Source

A refinement that checks if a value is not null.

Signature

declare function isNotNull<A>(input: A): input is Exclude<A, null>;

isNotNullable

Added in v2.0.0 Source

A refinement that checks if a value is neither null nor undefined. The type is narrowed to NonNullable<A>.

See

isNullable

Signature

declare function isNotNullable<A>(input: A): input is NonNullable<A>;

isNotUndefined

Added in v2.0.0 Source

A refinement that checks if a value is not undefined.

Signature

declare function isNotUndefined<A>(input: A): input is Exclude<A, undefined>;

isNull

Added in v2.0.0 Source

A refinement that checks if a value is null.

Signature

declare function isNull(input: unknown): input is null;

isNullable

Added in v2.0.0 Source

A refinement that checks if a value is either null or undefined.

See

isNotNullable

Signature

declare function isNullable<A>(input: A): input is Extract<A, null | undefined>;

isNumber

Added in v2.0.0 Source

A refinement that checks if a value is a number.

Signature

declare function isNumber(input: unknown): input is number;

isObject

Added in v2.0.0 Source

A refinement that checks if a value is an object. Note that in JavaScript, arrays and functions are also considered objects.

See

isRecord to check for plain objects (excluding arrays and functions).

Signature

declare function isObject(input: unknown): input is object;

isPromise

Added in v2.0.0 Source

A refinement that checks if a value is a Promise. It performs a duck-typing check for .then and .catch methods.

See

isPromiseLike

Signature

declare function isPromise(input: unknown): input is Promise<unknown>;

isPromiseLike

Added in v2.0.0 Source

A refinement that checks if a value is PromiseLike. It performs a duck-typing check for a .then method.

See

isPromise

Signature

declare function isPromiseLike(input: unknown): input is PromiseLike<unknown>;

isReadonlyRecord

Added in v2.0.0 Source

A refinement that checks if a value is a readonly record (i.e., a plain object). This check returns false for arrays, null, and functions.

This is an alias for isRecord.

Signature

declare const isReadonlyRecord: (input: unknown) => input is {
  [x: string | symbol]: unknown;
};

Example

import * as assert from "node:assert"
import { isReadonlyRecord } from "effect/Predicate"

assert.strictEqual(isReadonlyRecord({}), true)
assert.strictEqual(isReadonlyRecord({ a: 1 }), true)

assert.strictEqual(isReadonlyRecord([]), false)
assert.strictEqual(isReadonlyRecord(null), false)

isRecord

Added in v2.0.0 Source

A refinement that checks if a value is a record (i.e., a plain object). This check returns false for arrays, null, and functions.

See

isObject

Signature

declare function isRecord(input: unknown): input is {
  [x: string | symbol]: unknown;
};

isRegExp

Added in v3.9.0 Source

A refinement that checks if a value is a RegExp.

Signature

declare function isRegExp(input: unknown): input is RegExp;

isSet

Added in v2.0.0 Source

A refinement that checks if a value is a Set.

Signature

declare function isSet(input: unknown): input is Set<unknown>;

isString

Added in v2.0.0 Source

A refinement that checks if a value is a string.

Signature

declare function isString(input: unknown): input is string;

isSymbol

Added in v2.0.0 Source

A refinement that checks if a value is a symbol.

Signature

declare function isSymbol(input: unknown): input is symbol;

isTagged

Added in v2.0.0 Source

A refinement that checks if a value is an object with a _tag property that matches the given tag. This is a powerful tool for working with discriminated union types.

Signature

declare const isTagged: {
  <K extends string>(
    tag: K,
  ): (self: unknown) => self is {
    _tag: K;
  };
  <K extends string>(
    self: unknown,
    tag: K,
  ): self is {
    _tag: K;
  };
};

Example

import * as assert from "node:assert"
import { isTagged } from "effect/Predicate"

type Shape = { _tag: "circle"; radius: number } | { _tag: "square"; side: number }

const isCircle = isTagged("circle")

const shape1: Shape = { _tag: "circle", radius: 10 }
const shape2: Shape = { _tag: "square", side: 5 }

assert.strictEqual(isCircle(shape1), true)
assert.strictEqual(isCircle(shape2), false)

if (isCircle(shape1)) {
  // shape1 is now narrowed to { _tag: "circle"; radius: number }
  assert.strictEqual(shape1.radius, 10)
}

isTruthy

Added in v2.0.0 Source

A predicate that checks if a value is "truthy" in JavaScript. Fails for false, 0, -0, 0n, "", null, undefined, and NaN.

Signature

declare function isTruthy(input: unknown): boolean;

isTupleOf

Added in v3.3.0 Source

A refinement that checks if a ReadonlyArray<T> is a tuple with exactly N elements. If the check is successful, the type is narrowed to TupleOf<N, T>.

Signature

declare const isTupleOf: {
  <N extends number>(n: N): <T>(self: readonly Array<T>) => self is TupleOf<N, T>;
  <T, N extends number>(self: readonly Array<T>, n: N): self is TupleOf<N, T>;
}

Example

import * as assert from "node:assert"
import { isTupleOf } from "effect/Predicate"

const isTupleOf3 = isTupleOf(3)

assert.strictEqual(isTupleOf3([1, 2, 3]), true)
assert.strictEqual(isTupleOf3([1, 2]), false)

const arr: number[] = [1, 2, 3]
if (isTupleOf(arr, 3)) {
  // The type of arr is now [number, number, number]
  const [a, b, c] = arr
  assert.deepStrictEqual([a, b, c], [1, 2, 3])
}

isTupleOfAtLeast

Added in v3.3.0 Source

A refinement that checks if a ReadonlyArray<T> is a tuple with at least N elements. If the check is successful, the type is narrowed to TupleOfAtLeast<N, T>.

Signature

declare const isTupleOfAtLeast: {
  <N extends number>(n: N): <T>(self: readonly Array<T>) => self is [...Array<TupleOf<N, T>>, ...Array<T>];
  <T, N extends number>(self: readonly Array<T>, n: N): self is [...Array<TupleOf<N, T>>, ...Array<T>];
}

Example

import * as assert from "node:assert"
import { isTupleOfAtLeast } from "effect/Predicate"

const isTupleOfAtLeast3 = isTupleOfAtLeast(3)

assert.strictEqual(isTupleOfAtLeast3([1, 2, 3]), true)
assert.strictEqual(isTupleOfAtLeast3([1, 2, 3, 4]), true)
assert.strictEqual(isTupleOfAtLeast3([1, 2]), false)

const arr: number[] = [1, 2, 3, 4]
if (isTupleOfAtLeast(arr, 3)) {
  // The type of arr is now [number, number, number, ...number[]]
  const [a, b, c] = arr
  assert.deepStrictEqual([a, b, c], [1, 2, 3])
}

isUint8Array

Added in v2.0.0 Source

A refinement that checks if a value is a Uint8Array.

Signature

declare function isUint8Array(input: unknown): input is Uint8Array<ArrayBufferLike>;

isUndefined

Added in v2.0.0 Source

A refinement that checks if a value is undefined.

Signature

declare function isUndefined(input: unknown): input is undefined;

isUnknown

Added in v2.0.0 Source

A refinement that always returns true. The type is narrowed to unknown.

Signature

declare const isUnknown: (input: unknown) => input is unknown;

Example

import * as assert from "node:assert"
import { isUnknown } from "effect/Predicate"

assert.strictEqual(isUnknown(1), true)
assert.strictEqual(isUnknown(null), true)
assert.strictEqual(isUnknown({}), true)

Models

Predicate interface

Added in v2.0.0 Source

Represents a function that takes a value of type A and returns true if the value satisfies some condition, false otherwise.

Signature

interface Predicate<in A> {
  (a: A): boolean;
}

Example

import { Predicate } from "effect"
import * as assert from "node:assert"

const isEven: Predicate.Predicate<number> = (n) => n % 2 === 0

assert.strictEqual(isEven(2), true)
assert.strictEqual(isEven(3), false)

Refinement interface

Added in v2.0.0 Source

Represents a function that serves as a type guard.

A Refinement<A, B> is a function that takes a value of type A and returns a type predicate a is B, where B is a subtype of A. If the function returns true, TypeScript will narrow the type of the input variable to B.

Signature

interface Refinement<in A, out B extends A> {
  (a: A): a is B;
}

Example

import { Predicate } from "effect"
import * as assert from "node:assert"

const isString: Predicate.Refinement<unknown, string> = (u): u is string => typeof u === "string"

const value: unknown = "hello"

if (isString(value)) {
  // value is now known to be a string
  assert.strictEqual(value.toUpperCase(), "HELLO")
}

Other

compose

Added in v2.0.0 Source

Composes a Refinement with another Refinement or Predicate.

This can be used to chain checks. The first refinement is applied, and if it passes, the second check is applied to the same value, potentially refining the type further.

Signature

declare const compose: {
  <A, B, C, D>(bc: Refinement<C, D>): (ab: Refinement<A, B>) => Refinement<A, D>;
  <A, B>(bc: Predicate<NoInfer<B>>): (ab: Refinement<A, B>) => Refinement<A, B>;
  <A, B, C, D>(ab: Refinement<A, B>, bc: Refinement<C, D>): Refinement<A, D>;
  <A, B>(ab: Refinement<A, B>, bc: Predicate<NoInfer<B>>): Refinement<A, B>;
};

Example

import { Predicate } from "effect"
import * as assert from "node:assert"

const isString = (u: unknown): u is string => typeof u === "string"
const minLength =
  (n: number) =>
  (s: string): boolean =>
    s.length >= n

// Create a refinement that checks for a string with a minimum length of 3
const isLongString = Predicate.compose(isString, minLength(3))

let value: unknown = "hello"

assert.strictEqual(isLongString(value), true)
if (isLongString(value)) {
  // value is narrowed to string
  assert.strictEqual(value.toUpperCase(), "HELLO")
}
assert.strictEqual(isLongString("hi"), false)

struct

Added in v2.0.0 Source

Combines a record of predicates into a single predicate that tests a record of values. This function is highly type-aware and will produce a Refinement if any of the provided predicates are Refinements, allowing for powerful type-narrowing of structs.

- If all predicates are Predicate<T>, the result is Predicate<{ k: T, ... }>. - If any predicate is a Refinement<A, B>, the result is a Refinement that narrows the input record type to a more specific record type.

Signature

declare const struct: <R extends Record<string, Any>>(
  fields: R,
) => [Extract<R[keyof R], Any>] extends [never]
  ? Predicate<{ [K in string | number | symbol]: In<R[K]> }>
  : Refinement<
      { [K in string | number | symbol]: R[K] extends Any ? In<any[any]> : In<R[K]> },
      { [K in string | number | symbol]: R[K] extends Any ? Out<any[any]> : In<R[K]> }
    >;

Example

import * as assert from "node:assert"
import { Predicate } from "effect"

const isString = (u: unknown): u is string => typeof u === "string"
const isNumber = (u: unknown): u is number => typeof u === "number"

const personPredicate = Predicate.struct({
  name: isString,
  age: isNumber,
})

const value: { name: unknown; age: unknown } = { name: "Alice", age: 30 }
if (personPredicate(value)) {
  // value is narrowed to { name: string; age: number }
  assert.strictEqual(value.name.toUpperCase(), "ALICE")
  assert.strictEqual(value.age.toFixed(0), "30")
}
assert.strictEqual(personPredicate({ name: "Bob", age: "40" }), false)

tuple

Added in v2.0.0 Source

Combines an array of predicates into a single predicate that tests an array of values. This function is highly type-aware and will produce a Refinement if any of the provided predicates are Refinements, allowing for powerful type-narrowing of tuples.

- If all predicates are Predicate<T>, the result is Predicate<[T, T, ...]>. - If any predicate is a Refinement<A, B>, the result is a Refinement that narrows the input tuple type to a more specific tuple type.

Signature

declare const tuple: <T extends readonly Array<Any>>(...elements: T) => [Extract<T[number], Any>] extends [never] ? Predicate<{ [I in string | number | symbol]: In<T[I]> }> : Refinement<{ [I in string | number | symbol]: T[I] extends Any ? In<any[any]> : In<T[I]> }, { [I in string | number | symbol]: T[I] extends Any ? Out<any[any]> : In<T[I]> }>

Example

import * as assert from "node:assert"
import { Predicate } from "effect"

const isString = (u: unknown): u is string => typeof u === "string"
const isNumber = (u: unknown): u is number => typeof u === "number"

// Create a refinement for a [string, number] tuple
const isStringNumberTuple = Predicate.tuple(isString, isNumber)

const value: [unknown, unknown] = ["hello", 123]
if (isStringNumberTuple(value)) {
  // value is narrowed to [string, number]
  const [s, n] = value
  assert.strictEqual(s.toUpperCase(), "HELLO")
  assert.strictEqual(n.toFixed(2), "123.00")
}
assert.strictEqual(isStringNumberTuple(["hello", "123"]), false)

Type Lambdas

PredicateTypeLambda interface

Added in v2.0.0 Source

A TypeLambda for Predicate. This is used to support higher-kinded types and allows Predicate to be used in generic contexts within the effect ecosystem.

Signature

interface PredicateTypeLambda extends TypeLambda {
  readonly type: Predicate<unknown>;
}

Type-Level

Predicate

Added in v3.6.0 Source

A namespace for type-level utilities for Predicate.