limepotato/jormungandr-bite
1
0
Fork 0
mirror of https://iceshrimp.dev/limepotato/jormungandr-bite.git synced 2024-11-26 20:07:33 -07:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add Predicate type

Browse source
This commit is contained in:
Aya Morisawa 2018-12-19 17:08:09 +09:00
parent e946eda05c
commit 763f2e756a
2 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/prelude/array.ts
View file

@ -1,9 +1,10 @@
import { EndoRelation } from "./relation"; import { EndoRelation, Predicate } from './relation';
/** /**
* Count the number of elements that satisfy the predicate * Count the number of elements that satisfy the predicate
*/ */
export function countIf<T>(f: (x: T) => boolean, xs: T[]): number {
export function countIf<T>(f: Predicate<T>, xs: T[]): number {
return xs.filter(f).length; return xs.filter(f).length;
} }
@ -97,7 +98,7 @@ export function lessThan(xs: number[], ys: number[]): boolean {
/** /**
* Returns the longest prefix of elements that satisfy the predicate * Returns the longest prefix of elements that satisfy the predicate
*/ */
export function takeWhile<T>(f: (x: T) => boolean, xs: T[]): T[] { export function takeWhile<T>(f: Predicate<T>, xs: T[]): T[] {
const ys = []; const ys = [];
for (const x of xs) { for (const x of xs) {
if (f(x)) { if (f(x)) {

2
src/prelude/relation.ts
View file

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