1 |
|
2 |
|
3 |
|
4 | import * as A from 'fp-ts/es6/Array';
|
5 | import * as E from 'fp-ts/es6/Eq';
|
6 | import * as R from 'fp-ts/es6/Record';
|
7 | import { memoize } from './Schemable';
|
8 |
|
9 |
|
10 |
|
11 |
|
12 |
|
13 |
|
14 | export var string = E.eqString;
|
15 |
|
16 |
|
17 |
|
18 | export var number = E.eqNumber;
|
19 |
|
20 |
|
21 |
|
22 | export var boolean = E.eqBoolean;
|
23 |
|
24 |
|
25 |
|
26 | export var UnknownArray = E.fromEquals(function (x, y) { return x.length === y.length; });
|
27 |
|
28 |
|
29 |
|
30 | export var UnknownRecord = E.fromEquals(function (x, y) {
|
31 | for (var k in x) {
|
32 | if (!(k in y)) {
|
33 | return false;
|
34 | }
|
35 | }
|
36 | for (var k in y) {
|
37 | if (!(k in x)) {
|
38 | return false;
|
39 | }
|
40 | }
|
41 | return true;
|
42 | });
|
43 |
|
44 |
|
45 |
|
46 |
|
47 |
|
48 |
|
49 | export function nullable(or) {
|
50 | return {
|
51 | equals: function (x, y) { return (x === null || y === null ? x === y : or.equals(x, y)); }
|
52 | };
|
53 | }
|
54 |
|
55 |
|
56 |
|
57 | export var type = E.getStructEq;
|
58 |
|
59 |
|
60 |
|
61 | export function partial(properties) {
|
62 | return {
|
63 | equals: function (x, y) {
|
64 | for (var k in properties) {
|
65 | var xk = x[k];
|
66 | var yk = y[k];
|
67 | if (!(xk === undefined || yk === undefined ? xk === yk : properties[k].equals(xk, yk))) {
|
68 | return false;
|
69 | }
|
70 | }
|
71 | return true;
|
72 | }
|
73 | };
|
74 | }
|
75 |
|
76 |
|
77 |
|
78 | export var record = R.getEq;
|
79 |
|
80 |
|
81 |
|
82 | export var array = A.getEq;
|
83 |
|
84 |
|
85 |
|
86 | export var tuple = E.getTupleEq;
|
87 |
|
88 |
|
89 |
|
90 | export function intersection(left, right) {
|
91 | return {
|
92 | equals: function (x, y) { return left.equals(x, y) && right.equals(x, y); }
|
93 | };
|
94 | }
|
95 |
|
96 |
|
97 |
|
98 | export function sum(tag) {
|
99 | return function (members) {
|
100 | return {
|
101 | equals: function (x, y) {
|
102 | var vx = x[tag];
|
103 | var vy = y[tag];
|
104 | if (vx !== vy) {
|
105 | return false;
|
106 | }
|
107 | return members[vx].equals(x, y);
|
108 | }
|
109 | };
|
110 | };
|
111 | }
|
112 |
|
113 |
|
114 |
|
115 | export function lazy(f) {
|
116 | var get = memoize(f);
|
117 | return {
|
118 | equals: function (x, y) { return get().equals(x, y); }
|
119 | };
|
120 | }
|
121 | // -------------------------------------------------------------------------------------
|
122 | // instances
|
123 | // -------------------------------------------------------------------------------------
|
124 | /**
|
125 | * @since 2.2.3
|
126 | */
|
127 | export var schemableEq = {
|
128 | URI: E.URI,
|
129 | literal: function () { return E.eqStrict; },
|
130 | string: string,
|
131 | number: number,
|
132 | boolean: boolean,
|
133 | nullable: nullable,
|
134 | type: type,
|
135 | partial: partial,
|
136 | record: record,
|
137 | array: array,
|
138 | tuple: tuple,
|
139 | intersection: intersection,
|
140 | sum: sum,
|
141 | lazy: function (_, f) { return lazy(f); },
|
142 | UnknownArray: UnknownArray,
|
143 | UnknownRecord: UnknownRecord,
|
144 | refinement: function (from) { return from; }
|
145 | };
|