update deps

.eslintrc.json

@@ -2,21 +2,43 @@
   "parserOptions": {
     "project": "./tsconfig.json"
   },
-  "plugins": [],
   "extends": [
     "eslint:recommended",
     "plugin:@typescript-eslint/eslint-recommended",
     "plugin:@typescript-eslint/recommended"
   ],
+  "plugins": ["deprecation", "import", "simple-import-sort"],
   "rules": {
+    "@typescript-eslint/array-type": [
+      "warn",
+      {
+        "default": "generic",
+        "readonly": "generic"
+      }
+    ],
+    "@typescript-eslint/prefer-readonly": "warn",
     "@typescript-eslint/member-delimiter-style": 0,
     "@typescript-eslint/no-non-null-assertion": "off",
     "@typescript-eslint/ban-types": "off",
     "@typescript-eslint/no-explicit-any": "off",
     "@typescript-eslint/no-empty-interface": "off",
     "no-unused-vars": "off",
-    "@typescript-eslint/no-unused-vars": ["error", { "argsIgnorePattern": "^_" }],
+    "@typescript-eslint/no-unused-vars": [
+      "error",
+      {
+        "argsIgnorePattern": "^_"
+      }
+    ],
+    "@typescript-eslint/prefer-as-const": "off",
     "prefer-rest-params": "off",
-    "prefer-spread": "off"
+    "prefer-spread": "off",
+    "deprecation/deprecation": "off",
+    "import/first": "error",
+    "import/no-cycle": "error",
+    "import/newline-after-import": "error",
+    "import/no-duplicates": "error",
+    "import/no-unresolved": "off",
+    "import/order": "off",
+    "simple-import-sort/imports": "error"
   }
 }

.github/workflows/main.yml

@@ -15,7 +15,7 @@ jobs:
 
     strategy:
       matrix:
-        node-version: [16.x]
+        node-version: [16.17.1]
 
     steps:
       - uses: actions/checkout@v2

.vscode/settings.json

@@ -1,3 +1,9 @@
 {
-    "typescript.tsdk": "./node_modules/typescript/lib"
-}
+    "typescript.tsdk": "./node_modules/typescript/lib",
+    "editor.defaultFormatter": "esbenp.prettier-vscode",
+    "eslint.validate": ["typescript"],
+    "editor.codeActionsOnSave": {
+      "source.fixAll.eslint": true
+    },
+    "files.insertFinalNewline": true
+  }

docs/modules/Decoder.ts.md

@@ -302,7 +302,7 @@ Added in v2.2.7
 **Signature**
 
 ```ts
-export declare const nullable: <I, A>(or: Decoder<I, A>) => Decoder<I, A>
+export declare const nullable: <I, A>(or: Decoder<I, A>) => Decoder<I | null, A | null>
 ```
 
 Added in v2.2.7
@@ -324,9 +324,10 @@ Added in v2.2.7
 **Signature**
 
 ```ts
-export declare const partial: <A>(
-  properties: { [K in keyof A]: Decoder<unknown, A[K]> }
-) => Decoder<unknown, Partial<{ [K in keyof A]: A[K] }>>
+export declare const partial: <A>(properties: { [K in keyof A]: Decoder<unknown, A[K]> }) => Decoder<
+  unknown,
+  Partial<{ [K in keyof A]: A[K] }>
+>
 ```
 
 Added in v2.2.7
@@ -369,9 +370,10 @@ Added in v2.2.7
 **Signature**
 
 ```ts
-export declare const struct: <A>(
-  properties: { [K in keyof A]: Decoder<unknown, A[K]> }
-) => Decoder<unknown, { [K in keyof A]: A[K] }>
+export declare const struct: <A>(properties: { [K in keyof A]: Decoder<unknown, A[K]> }) => Decoder<
+  unknown,
+  { [K in keyof A]: A[K] }
+>
 ```
 
 Added in v2.2.15
@@ -445,9 +447,10 @@ Use `struct` instead.
 **Signature**
 
 ```ts
-export declare const type: <A>(
-  properties: { [K in keyof A]: Decoder<unknown, A[K]> }
-) => Decoder<unknown, { [K in keyof A]: A[K] }>
+export declare const type: <A>(properties: { [K in keyof A]: Decoder<unknown, A[K]> }) => Decoder<
+  unknown,
+  { [K in keyof A]: A[K] }
+>
 ```
 
 Added in v2.2.7

docs/modules/Guard.ts.md

@@ -127,7 +127,7 @@ Added in v2.2.0
 **Signature**
 
 ```ts
-export declare const nullable: <I, A extends I>(or: Guard<I, A>) => Guard<I, A>
+export declare const nullable: <I, A extends I>(or: Guard<I, A>) => Guard<I | null, A | null>
 ```
 
 Added in v2.2.0
@@ -137,9 +137,10 @@ Added in v2.2.0
 **Signature**
 
 ```ts
-export declare const partial: <A>(
-  properties: { [K in keyof A]: Guard<unknown, A[K]> }
-) => Guard<unknown, Partial<{ [K in keyof A]: A[K] }>>
+export declare const partial: <A>(properties: { [K in keyof A]: Guard<unknown, A[K]> }) => Guard<
+  unknown,
+  Partial<{ [K in keyof A]: A[K] }>
+>
 ```
 
 Added in v2.2.0
@@ -181,9 +182,10 @@ Added in v2.2.0
 **Signature**
 
 ```ts
-export declare const struct: <A>(
-  properties: { [K in keyof A]: Guard<unknown, A[K]> }
-) => Guard<unknown, { [K in keyof A]: A[K] }>
+export declare const struct: <A>(properties: { [K in keyof A]: Guard<unknown, A[K]> }) => Guard<
+  unknown,
+  { [K in keyof A]: A[K] }
+>
 ```
 
 Added in v2.2.15
@@ -241,9 +243,10 @@ Use `struct` instead.
 **Signature**
 
 ```ts
-export declare const type: <A>(
-  properties: { [K in keyof A]: Guard<unknown, A[K]> }
-) => Guard<unknown, { [K in keyof A]: A[K] }>
+export declare const type: <A>(properties: { [K in keyof A]: Guard<unknown, A[K]> }) => Guard<
+  unknown,
+  { [K in keyof A]: A[K] }
+>
 ```
 
 Added in v2.2.0

docs/modules/Schemable.ts.md

@@ -130,9 +130,11 @@ export interface Schemable2C<S extends URIS2, E> {
   /** @deprecated */
   readonly type: <A>(properties: { [K in keyof A]: Kind2<S, E, A[K]> }) => Kind2<S, E, { [K in keyof A]: A[K] }>
   readonly struct: <A>(properties: { [K in keyof A]: Kind2<S, E, A[K]> }) => Kind2<S, E, { [K in keyof A]: A[K] }>
-  readonly partial: <A>(
-    properties: { [K in keyof A]: Kind2<S, E, A[K]> }
-  ) => Kind2<S, E, Partial<{ [K in keyof A]: A[K] }>>
+  readonly partial: <A>(properties: { [K in keyof A]: Kind2<S, E, A[K]> }) => Kind2<
+    S,
+    E,
+    Partial<{ [K in keyof A]: A[K] }>
+  >
   readonly record: <A>(codomain: Kind2<S, E, A>) => Kind2<S, E, Record<string, A>>
   readonly array: <A>(item: Kind2<S, E, A>) => Kind2<S, E, Array<A>>
   readonly tuple: <A extends ReadonlyArray<unknown>>(

docs/modules/TaskDecoder.ts.md

@@ -305,7 +305,7 @@ Added in v2.2.7
 **Signature**
 
 ```ts
-export declare const nullable: <I, A>(or: TaskDecoder<I, A>) => TaskDecoder<I, A>
+export declare const nullable: <I, A>(or: TaskDecoder<I, A>) => TaskDecoder<I | null, A | null>
 ```
 
 Added in v2.2.7
@@ -327,9 +327,10 @@ Added in v2.2.7
 **Signature**
 
 ```ts
-export declare const partial: <A>(
-  properties: { [K in keyof A]: TaskDecoder<unknown, A[K]> }
-) => TaskDecoder<unknown, Partial<{ [K in keyof A]: A[K] }>>
+export declare const partial: <A>(properties: { [K in keyof A]: TaskDecoder<unknown, A[K]> }) => TaskDecoder<
+  unknown,
+  Partial<{ [K in keyof A]: A[K] }>
+>
 ```
 
 Added in v2.2.7
@@ -372,9 +373,10 @@ Added in v2.2.7
 **Signature**
 
 ```ts
-export declare const struct: <A>(
-  properties: { [K in keyof A]: TaskDecoder<unknown, A[K]> }
-) => TaskDecoder<unknown, { [K in keyof A]: A[K] }>
+export declare const struct: <A>(properties: { [K in keyof A]: TaskDecoder<unknown, A[K]> }) => TaskDecoder<
+  unknown,
+  { [K in keyof A]: A[K] }
+>
 ```
 
 Added in v2.2.15
@@ -448,9 +450,10 @@ Use `struct` instead.
 **Signature**
 
 ```ts
-export declare const type: <A>(
-  properties: { [K in keyof A]: TaskDecoder<unknown, A[K]> }
-) => TaskDecoder<unknown, { [K in keyof A]: A[K] }>
+export declare const type: <A>(properties: { [K in keyof A]: TaskDecoder<unknown, A[K]> }) => TaskDecoder<
+  unknown,
+  { [K in keyof A]: A[K] }
+>
 ```
 
 Added in v2.2.7

docs/modules/Type.ts.md

@@ -90,7 +90,7 @@ Added in v2.2.3
 **Signature**
 
 ```ts
-export declare const nullable: <A>(or: Type<A>) => Type<A>
+export declare const nullable: <A>(or: Type<A>) => Type<A | null>
 ```
 
 Added in v2.2.3

docs/modules/index.ts.md

@@ -436,7 +436,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const failure: <T>(value: unknown, context: Context, message?: string) => Either<Errors, T>
+export declare const failure: <T>(value: unknown, context: Context, message?: string | undefined) => Either<Errors, T>
 ```
 
 Added in v1.0.0
@@ -609,7 +609,7 @@ Strips additional properties, equivalent to `exact(type(props))`.
 **Signature**
 
 ```ts
-export declare const strict: <P extends Props>(props: P, name?: string) => ExactC<TypeC<P>>
+export declare const strict: <P extends Props>(props: P, name?: string | undefined) => ExactC<TypeC<P>>
 ```
 
 Added in v1.0.0
@@ -2277,8 +2277,9 @@ Added in v1.4.2
 **Signature**
 
 ```ts
-export type Exact<T, X extends T> = T &
-  { [K in ({ [K in keyof X]: K } & { [K in keyof T]: never } & { [key: string]: never })[keyof X]]?: never }
+export type Exact<T, X extends T> = T & {
+  [K in ({ [K in keyof X]: K } & { [K in keyof T]: never } & { [key: string]: never })[keyof X]]?: never
+}
 ```
 
 Added in v1.1.0
@@ -2330,7 +2331,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export interface StrictC<P extends Props>  // tslint:disable-next-line: deprecation
+export interface StrictC<P extends Props> // tslint:disable-next-line: deprecation
   extends StrictType<P, { [K in keyof P]: TypeOf<P[K]> }, { [K in keyof P]: OutputOf<P[K]> }, unknown> {}
 ```
 
@@ -2422,7 +2423,7 @@ Added in v1.3.0
 **Signature**
 
 ```ts
-export interface TaggedIntersection<Tag extends string, A, O = A>  // tslint:disable-next-line: deprecation
+export interface TaggedIntersection<Tag extends string, A, O = A> // tslint:disable-next-line: deprecation
   extends IntersectionType<TaggedIntersectionArgument<Tag>, A, O> {}
 ```
 
@@ -2453,7 +2454,7 @@ Added in v1.3.0
 **Signature**
 
 ```ts
-export interface TaggedUnionC<Tag extends string, CS extends [Mixed, Mixed, ...Array<Mixed>]>  // tslint:disable-next-line: deprecation
+export interface TaggedUnionC<Tag extends string, CS extends [Mixed, Mixed, ...Array<Mixed>]> // tslint:disable-next-line: deprecation
   extends TaggedUnionType<Tag, CS, TypeOf<CS[number]>, OutputOf<CS[number]>, unknown> {}
 ```
 

dtslint/index.d.ts

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

dtslint/ts3.5/tsconfig.json → dtslint/ts3.9/tsconfig.json

@@ -11,6 +11,7 @@
     "noUnusedParameters": true,
     "noFallthroughCasesInSwitch": true,
     "target": "es5",
-    "lib": ["es2015"]
+    "lib": ["es2015"],
+    "skipLibCheck": true
   }
 }