fix: typelevel conflicts

yyxi · yyxi · commit 34d5e4e29980 · 2019-07-12T10:04:31.000+04:00
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -6,7 +6,7 @@
   "browser": "lib/umd/index.js",
   "bugs": "https://github.com/escapace/fluent/issues",
   "dependencies": {
-    "@escapace/typelevel": "0.3.0",
+    "@escapace/typelevel": "^0.4.0",
     "lodash": "4.17.11",
     "tslib": "1.10.0"
   },
diff --git a/src/index.ts b/src/index.ts
@@ -65,7 +65,7 @@ export type Check<T extends Model, S> = S extends Specification
           | $.If<
               $.Or<$.Is.Never<S[Options.Conflicts]>, $.Is.Unknown<X>>,
               $.True,
-              $.Not<$.Contains<X, S[Options.Conflicts]>>
+              $.Not<$.Has<X, S[Options.Conflicts]>>
             >,
           $.True
         >,
