Add relation types

This commit is contained in:
Aya Morisawa 2018-12-19 16:59:43 +09:00
parent 6ef83d9c59
commit 78ec06bda3
No known key found for this signature in database
GPG key ID: 3E64865D70D579F2
2 changed files with 6 additions and 1 deletions

3
src/prelude/relation.ts Normal file
View file

@ -0,0 +1,3 @@
export type Relation<T, U> = (x: T, y: U) => boolean;
export type EndoRelation<T> = Relation<T, T>;