firefish/packages/backend/src/prelude/relation.ts
2023-07-20 04:17:05 +09:00

5 lines
148 B
TypeScript

export type Predicate<T> = (a: T) => boolean;
export type Relation<T, U> = (a: T, b: U) => boolean;
export type EndoRelation<T> = Relation<T, T>;