switch to definitelytyped/dtslint

.eslintrc.json

@@ -30,6 +30,7 @@
       }
     ],
     "@typescript-eslint/prefer-as-const": "off",
+    "@typescript-eslint/ban-ts-comment": "off",
     "prefer-rest-params": "off",
     "prefer-spread": "off",
     "deprecation/deprecation": "off",

dtslint/ts3.9/Codec.ts → dtslint/Codec.ts

@@ -1,4 +1,4 @@
-import * as _ from '../../src/Codec'
+import * as _ from '../src/Codec'
 
 declare const NumberFromString: _.Codec<string, string, number>
 
@@ -111,5 +111,5 @@ const S2 = _.struct({ _tag: _.literal('B'), b: _.number })
 
 // $ExpectType Codec<unknown, { _tag: "A"; a: string; } | { _tag: "B"; b: number; }, { _tag: "A"; a: string; } | { _tag: "B"; b: number; }>
 _.sum('_tag')({ A: S1, B: S2 })
-// // $ExpectError
+// // @ts-expect-error
 // _.sum('_tag')({ A: S1, B: S1 })

dtslint/ts3.9/Decoder.ts → dtslint/Decoder.ts

@@ -1,7 +1,9 @@
 import { pipe } from 'fp-ts/lib/pipeable'
-import * as DE from '../../src/DecodeError'
-import * as _ from '../../src/Decoder'
-import * as FS from '../../src/FreeSemigroup'
+
+import * as DE from '../src/DecodeError'
+import * as _ from '../src/Decoder'
+import * as FS from '../src/FreeSemigroup'
+import * as S from '../src/Schemable'
 
 declare const NumberFromString: _.Decoder<string, number>
 
@@ -52,7 +54,6 @@ pipe(
   )
 )
 
-import * as S from '../../src/Schemable'
 declare const literal: <A extends readonly [L, ...ReadonlyArray<L>], L extends S.Literal = S.Literal>(
   ...values: A
 ) => _.Decoder<unknown, A[number]>
@@ -170,7 +171,7 @@ const S2 = _.struct({ _tag: _.literal('B'), b: _.number })
 
 // $ExpectType Decoder<unknown, { _tag: "A"; a: string; } | { _tag: "B"; b: number; }>
 _.sum('_tag')({ A: S1, B: S2 })
-// $ExpectError
+// @ts-expect-error
 _.sum('_tag')({ A: S1, B: S1 })
 
 //

dtslint/ts3.9/Encoder.ts → dtslint/Encoder.ts

@@ -1,6 +1,7 @@
-import * as E from '../../src/Encoder'
 import { pipe } from 'fp-ts/lib/pipeable'
 
+import * as E from '../src/Encoder'
+
 const NumberToString: E.Encoder<string, number> = {
   encode: String
 }
@@ -68,7 +69,7 @@ const sum = E.sum('_tag')
 // $ExpectType Encoder<{ _tag: "A"; a: string; } | { _tag: "B"; b: number; }, { _tag: "A"; a: number; } | { _tag: "B"; b: boolean; }>
 sum({ A: S1, B: S2 })
 
-const S3 = E.struct({ _tag: E.id<'C'>(), c: E.id<string>() })
+export const S3 = E.struct({ _tag: E.id<'C'>(), c: E.id<string>() })
 
 //
 // lazy

dtslint/ts3.9/Eq.ts → dtslint/Eq.ts

@@ -1,4 +1,4 @@
-import * as _ from '../../src/Eq'
+import * as _ from '../src/Eq'
 
 // $ExpectType Eq<{ a: string; b: { c: number; }; }>
 _.struct({
@@ -25,7 +25,7 @@ const S2 = _.struct({ _tag: _.Schemable.literal('B'), b: _.number })
 
 // $ExpectType Eq<{ _tag: "A"; a: string; } | { _tag: "B"; b: number; }>
 _.sum('_tag')({ A: S1, B: S2 })
-// // $ExpectError
+// // @ts-expect-error
 // _.sum('_tag')({ A: S1, B: S1 })
 
 //

dtslint/ts3.9/Guard.ts → dtslint/Guard.ts

@@ -1,4 +1,4 @@
-import * as _ from '../../src/Guard'
+import * as _ from '../src/Guard'
 
 //
 // struct
@@ -40,7 +40,7 @@ const S2 = _.struct({ _tag: _.literal('B'), b: _.number })
 
 // $ExpectType Guard<unknown, { _tag: "A"; a: string; } | { _tag: "B"; b: number; }>
 _.sum('_tag')({ A: S1, B: S2 })
-// $ExpectError
+// @ts-expect-error
 _.sum('_tag')({ A: S1, B: S1 })
 
 //

dtslint/ts3.9/Schema.ts → dtslint/Schema.ts

@@ -1,7 +1,8 @@
-import { Schemable, WithUnknownContainers, memoize, WithRefine, WithUnion } from '../../src/Schemable'
 import { HKT } from 'fp-ts/lib/HKT'
 import { pipe } from 'fp-ts/lib/pipeable'
 
+import { memoize, Schemable, WithRefine, WithUnion, WithUnknownContainers } from '../src/Schemable'
+
 interface Schema<A> {
   <S>(S: Schemable<S> & WithUnknownContainers<S> & WithRefine<S> & WithUnion<S>): HKT<S, A>
 }
@@ -23,7 +24,7 @@ export type OfTest = TypeOf<typeof OfTest> // $ExpectType { a: string; b: { c: n
 // literal
 //
 
-// $ExpectError
+// @ts-expect-error
 make((S) => S.literal())
 make((S) => S.literal('a')) // $ExpectType Schema<"a">
 make((S) => S.literal('a', 'b', null)) // $ExpectType Schema<"a" | "b" | null>
@@ -102,7 +103,7 @@ const S2 = make((S) => S.struct({ _tag: S.literal('B'), b: S.number }))
 
 // $ExpectType Schema<{ _tag: "A"; a: string; } | { _tag: "B"; b: number; }>
 make((S) => S.sum('_tag')({ A: S1(S), B: S2(S) }))
-// $ExpectError
+// @ts-expect-error
 make((S) => S.sum('_tag')({ A: S1(S), B: S1(S) }))
 
 //
@@ -170,7 +171,7 @@ make((S) =>
 // union
 //
 
-// $ExpectError
+// @ts-expect-error
 make((S) => S.union())
 make((S) => S.union(S.string)) // $ExpectType Schema<string>
 make((S) => S.union(S.string, S.number)) // $ExpectType Schema<string | number>

dtslint/ts3.9/TaskDecoder.ts → dtslint/TaskDecoder.ts

@@ -1,4 +1,4 @@
-import * as _ from '../../src/TaskDecoder'
+import * as _ from '../src/TaskDecoder'
 
 //
 // sum
@@ -9,8 +9,8 @@ const S2 = _.struct({ _tag: _.literal('B'), b: _.number })
 
 // $ExpectType TaskDecoder<unknown, { _tag: "A"; a: string; } | { _tag: "B"; b: number; }>
 _.sum('_tag')({ A: S1, B: S2 })
-// $ExpectError
-_.sum('_tag')({ A: S1, B: S1 })
+// // @ts-expect-error
+// _.sum('_tag')({ A: S1, B: S1 })
 
 //
 // readonly

dtslint/ts3.9/Type.ts → dtslint/Type.ts

@@ -1,4 +1,4 @@
-import * as _ from '../../src/Type'
+import * as _ from '../src/Type'
 
 // $ExpectType Type<{ a: string; b: { c: number; }; }>
 _.struct({

dtslint/index.d.ts

@@ -1 +1 @@
-// TypeScript Version: 3.9
+// Minimum TypeScript Version: 3.9