/
Operator.ts
33 lines (24 loc) 路 838 Bytes
/
Operator.ts
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
/** https://docs.evt.land/api/operator */
export type Operator<T, U> =
Operator.f位<T, U> |
((data: U) => boolean) | //Filter
(U extends T ? (data: T) => data is U : never) //Type guard
;
export namespace Operator {
export type f位<T, U> =
f位.Stateless<T, U> |
f位.Stateful<T, U>
;
export namespace f位 {
export type Stateless<T, U> = (data: T, registerSideEffect: (sideEffect: () => void) => void) => readonly [U] | null;
export type Stateful<T, U> = [
(data: T, prev: U, registerSideEffect: (sideEffect: () => void)=> void) => readonly [U] | null,
U //Seed
];
}
export type Stateless<T, U> =
f位.Stateless<T, U> |
((data: U) => boolean) |
(U extends T ? (data: T) => data is U : never)
;
}