the domain of a predicate is now the intersection of the supertypes

sanctuary-js · Mar 26, 2019 · 3738d02 · 3738d02
1 parent ddf7022
commit 3738d02
Showing 1 changed file with 9 additions and 7 deletions.
diff --git a/index.js b/index.js
@@ -1350,8 +1350,9 @@
   //.
   //.   - an array of supertypes (exposed as `t.supertypes`); and
   //.
-  //.   - a predicate which accepts any JavaScript value and returns `true` if
-  //.     (and only if) the value is a member of `t`.
+  //.   - a predicate that accepts any value that is a member of every one of
+  //.     the given supertypes, and returns `true` if (and only if) the value
+  //.     is a member of `t`.
   //.
   //. For example:
   //.
@@ -1444,8 +1445,9 @@
   //.
   //.   - an array of supertypes (exposed as `t.supertypes`);
   //.
-  //.   - a predicate which accepts any JavaScript value and returns `true`
-  //.     if (and only if) the value is a member of `t x` for some type `x`;
+  //.   - a predicate that accepts any value that is a member of every one of
+  //.     the given supertypes, and returns `true` if (and only if) the value
+  //.     is a member of `t x` for some type `x`;
   //.
   //.   - a function which takes any value of type `t a` and returns an array
   //.     of the values of type `a` contained in the `t` (exposed as
@@ -1578,9 +1580,9 @@
   //.
   //.   - an array of supertypes (exposed as `t.supertypes`);
   //.
-  //.   - a predicate which accepts any JavaScript value and returns `true`
-  //.     if (and only if) the value is a member of `t x y` for some types
-  //.     `x` and `y`;
+  //.   - a predicate that accepts any value that is a member of every one of
+  //.     the given supertypes, and returns `true` if (and only if) the value
+  //.     is a member of `t x y` for some types `x` and `y`;
   //.
   //.   - a function which takes any value of type `t a b` and returns an array
   //.     of the values of type `a` contained in the `t` (exposed as