chore: begin update to prelude

mikearnaldi · mikearnaldi · commit 32abe8459cde · 2022-03-28T23:29:10.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -5,7 +5,7 @@
 !/.yarn/patches
 
 coverage/
-tsbuildinfo/
+*.tsbuildinfo
 node_modules/
 yarn-error.log
 .ultra.cache.json
diff --git a/package.json b/package.json
@@ -11,7 +11,7 @@
   "scripts": {
     "changeset": "changeset",
     "release": "changeset publish",
-    "clean": "ultra -r clean",
+    "clean": "ultra -r clean && rimraf tsconfig.tsbuildinfo",
     "build": "yarn build-all && yarn build-pack",
     "build-pack": "ultra -r build-pack",
     "build-all": "tsc -b tsconfig.json",
@@ -35,12 +35,12 @@
     "@babel/cli": "^7.17.6",
     "@babel/core": "^7.17.8",
     "@babel/plugin-transform-modules-commonjs": "^7.17.7",
-    "@changesets/changelog-github": "^0.4.3",
-    "@changesets/cli": "^2.21.1",
+    "@changesets/changelog-github": "^0.4.4",
+    "@changesets/cli": "^2.22.0",
     "@effect-ts/build-utils": "0.39.2",
     "@effect-ts/core": "^0.59.2",
     "@phaphoso/eslint-plugin-dprint": "^0.5.2",
-    "@tsplus/installer": "^0.0.54",
+    "@tsplus/installer": "^0.0.55",
     "@types/node": "^17.0.23",
     "@types/rimraf": "^3.0.2",
     "@typescript-eslint/eslint-plugin": "^5.16.0",
@@ -50,7 +50,7 @@
     "c8": "^7.11.0",
     "concurrently": "^7.0.0",
     "cpx": "^1.5.0",
-    "dprint": "^0.24.0",
+    "dprint": "^0.24.1",
     "eslint": "^8.12.0",
     "eslint-import-resolver-typescript": "^2.7.0",
     "eslint-plugin-codegen": "0.16.1",
@@ -63,7 +63,7 @@
     "typescript": "^4.6.3",
     "ultra-runner": "^3.10.5",
     "vite": "^2.8.6",
-    "vitest": "0.7.11"
+    "vitest": "0.7.12"
   },
   "resolutions": {
     "eslint-plugin-codegen": "patch:eslint-plugin-codegen@npm:0.16.1#.yarn/patches/eslint-plugin-codegen-npm-0.16.1-87770191cd",
diff --git a/packages/stdlib/_src/collections/ImmutableArray.ts b/packages/stdlib/_src/collections/ImmutableArray.ts
@@ -1,5 +1,4 @@
 import type { Iterable } from "@tsplus/stdlib/collections/Iterable";
-import { Option } from "@tsplus/stdlib/data/Option";
 import { Equals } from "@tsplus/stdlib/structure/Equals";
 import { Hash } from "@tsplus/stdlib/structure/Hash";
 
diff --git a/packages/stdlib/_src/collections/Iterable.ts b/packages/stdlib/_src/collections/Iterable.ts
@@ -1,5 +1,4 @@
 import { identity } from "@tsplus/stdlib/data/Function";
-import { Tuple } from "@tsplus/stdlib/data/Tuple";
 import type { AssociativeIdentity } from "@tsplus/stdlib/prelude/AssociativeIdentity";
 import { Equals } from "@tsplus/stdlib/structure/Equals";
 import type { ESIterable } from "@tsplus/stdlib/utilities/Types";
diff --git a/packages/stdlib/_src/collections/List/builder.ts b/packages/stdlib/_src/collections/List/builder.ts
@@ -1,5 +1,3 @@
-import { ListBuffer } from "@tsplus/stdlib/collections/mutable/ListBuffer";
-
 export class ListBuilder<A> {
   constructor(private buffer: ListBuffer<A>) {}
 
diff --git a/packages/stdlib/_src/collections/List/concat.ts b/packages/stdlib/_src/collections/List/concat.ts
@@ -1,5 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * Concatenates two lists together
  *
diff --git a/packages/stdlib/_src/collections/List/empty.ts b/packages/stdlib/_src/collections/List/empty.ts
@@ -1,5 +1,3 @@
-import { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * Returns the empty `List`
  *
diff --git a/packages/stdlib/_src/collections/List/exists.ts b/packages/stdlib/_src/collections/List/exists.ts
@@ -1,4 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
 import type { Predicate } from "@tsplus/stdlib/data/Predicate";
 
 /**
diff --git a/packages/stdlib/_src/collections/List/filter.ts b/packages/stdlib/_src/collections/List/filter.ts
@@ -1,6 +1,5 @@
 /* eslint-disable no-constant-condition */
-import { List } from "@tsplus/stdlib/collections/List/definition";
-import { unsafeCoerce } from "@tsplus/stdlib/data/Function";
+
 import type { Predicate } from "@tsplus/stdlib/data/Predicate";
 
 /**
diff --git a/packages/stdlib/_src/collections/List/find.ts b/packages/stdlib/_src/collections/List/find.ts
@@ -1,5 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-import { Option } from "@tsplus/stdlib/data/Option";
 import type { Predicate } from "@tsplus/stdlib/data/Predicate";
 
 /**
diff --git a/packages/stdlib/_src/collections/List/flatMap.ts b/packages/stdlib/_src/collections/List/flatMap.ts
@@ -1,5 +1,3 @@
-import { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * @tsplus fluent List flatMap
  */
diff --git a/packages/stdlib/_src/collections/List/forEach.ts b/packages/stdlib/_src/collections/List/forEach.ts
@@ -1,5 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * @tsplus fluent List forEach
  */
diff --git a/packages/stdlib/_src/collections/List/from.ts b/packages/stdlib/_src/collections/List/from.ts
@@ -1,5 +1,3 @@
-import { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * Constructs a new `List` from an `Iterable`
  *
diff --git a/packages/stdlib/_src/collections/List/head.ts b/packages/stdlib/_src/collections/List/head.ts
@@ -1,6 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-import { Option } from "@tsplus/stdlib/data/Option";
-
 /**
  * @tsplus fluent List head
  */
diff --git a/packages/stdlib/_src/collections/List/last.ts b/packages/stdlib/_src/collections/List/last.ts
@@ -1,6 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-import { Option } from "@tsplus/stdlib/data/Option";
-
 /**
  * @tsplus fluent List last
  */
diff --git a/packages/stdlib/_src/collections/List/map.ts b/packages/stdlib/_src/collections/List/map.ts
@@ -1,5 +1,3 @@
-import { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * @tsplus fluent List map
  */
diff --git a/packages/stdlib/_src/collections/List/prepend.ts b/packages/stdlib/_src/collections/List/prepend.ts
@@ -1,5 +1,3 @@
-import { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * Inserts an element at the beginning of a `List`, returning a new `List`
  *
diff --git a/packages/stdlib/_src/collections/List/prependAll.ts b/packages/stdlib/_src/collections/List/prependAll.ts
@@ -1,5 +1,3 @@
-import { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * @tsplus fluent List prependAll
  */
diff --git a/packages/stdlib/_src/collections/List/reduce.ts b/packages/stdlib/_src/collections/List/reduce.ts
@@ -1,5 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * @tsplus fluent List reduce
  */
diff --git a/packages/stdlib/_src/collections/List/reverse.ts b/packages/stdlib/_src/collections/List/reverse.ts
@@ -1,5 +1,3 @@
-import { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * Reverses a `List`, returning a new `List`
  *
diff --git a/packages/stdlib/_src/collections/List/sortWith.ts b/packages/stdlib/_src/collections/List/sortWith.ts
@@ -1,5 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-import { ListBuffer } from "@tsplus/stdlib/collections/mutable/ListBuffer";
 import type { Ord } from "@tsplus/stdlib/prelude/Ord";
 
 /**
diff --git a/packages/stdlib/_src/collections/List/tail.ts b/packages/stdlib/_src/collections/List/tail.ts
@@ -1,6 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-import { Option } from "@tsplus/stdlib/data/Option";
-
 /**
  * @tsplus fluent List tail
  */
diff --git a/packages/stdlib/_src/collections/List/unsafeHead.ts b/packages/stdlib/_src/collections/List/unsafeHead.ts
@@ -1,5 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * @tsplus fluent List unsafeHead
  */
diff --git a/packages/stdlib/_src/collections/List/unsafeLast.ts b/packages/stdlib/_src/collections/List/unsafeLast.ts
@@ -1,5 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * @tsplus fluent List unsafeLast
  */
diff --git a/packages/stdlib/_src/collections/List/unsafeTail.ts b/packages/stdlib/_src/collections/List/unsafeTail.ts
@@ -1,5 +1,3 @@
-import type { List } from "@tsplus/stdlib/collections/List/definition";
-
 /**
  * @tsplus fluent List unsafeTail
  */
diff --git a/packages/stdlib/_src/collections/mutable/ListBuffer.ts b/packages/stdlib/_src/collections/mutable/ListBuffer.ts
@@ -9,7 +9,6 @@
  * (http://www.apache.org/licenses/LICENSE-2.0).
  */
 
-import { List } from "@tsplus/stdlib/collections/List/definition";
 import { IndexOutOfBounds } from "@tsplus/stdlib/exceptions/IndexOutOfBounds";
 import { NoSuchElement } from "@tsplus/stdlib/exceptions/NoSuchElement";
 
diff --git a/packages/stdlib/_src/collections/weak/IterableWeakMap.ts b/packages/stdlib/_src/collections/weak/IterableWeakMap.ts
@@ -1,5 +1,4 @@
 import type { Iterable } from "@tsplus/stdlib/collections/Iterable";
-import { Option } from "@tsplus/stdlib/data/Option";
 
 /**
  * An implementation of a weak map that supports the iterable protocol.
diff --git a/packages/stdlib/_src/data/Function.ts b/packages/stdlib/_src/data/Function.ts
@@ -14,13 +14,6 @@ export interface Lazy<A> {
   (): A;
 }
 
-/**
- * Models (a: A) => boolean
- */
-export interface Predicate<A> {
-  (a: A): boolean;
-}
-
 /**
  * Models (a: A) => a is B
  */
diff --git a/packages/stdlib/_src/data/Option/definition.ts b/packages/stdlib/_src/data/Option/definition.ts
@@ -1,8 +1,8 @@
 /* adapted from https://github.com/gcanti/fp-ts */
 
-import type { LazyArg, Predicate, Refinement } from "@tsplus/stdlib/data/Function";
+import type { LazyArg } from "@tsplus/stdlib/data/Function";
 import { identity } from "@tsplus/stdlib/data/Function";
-import { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
+import type { Predicate } from "@tsplus/stdlib/data/Predicate";
 import { Equals } from "@tsplus/stdlib/structure/Equals";
 import { Hash } from "@tsplus/stdlib/structure/Hash";
 
diff --git a/packages/stdlib/_src/data/Tuple/append.ts b/packages/stdlib/_src/data/Tuple/append.ts
@@ -1,4 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
 import { TupleInternal } from "@tsplus/stdlib/data/Tuple/definition";
 
 /**
diff --git a/packages/stdlib/_src/data/Tuple/at.ts b/packages/stdlib/_src/data/Tuple/at.ts
@@ -1,5 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
-
 /**
  * Gets an element from the tuple.
  *
diff --git a/packages/stdlib/_src/data/Tuple/concat.ts b/packages/stdlib/_src/data/Tuple/concat.ts
@@ -1,4 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
 import { TupleInternal } from "@tsplus/stdlib/data/Tuple/definition";
 
 /**
diff --git a/packages/stdlib/_src/data/Tuple/fromNative.ts b/packages/stdlib/_src/data/Tuple/fromNative.ts
@@ -1,4 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
 import { TupleInternal } from "@tsplus/stdlib/data/Tuple/definition";
 
 /**
diff --git a/packages/stdlib/_src/data/Tuple/make.ts b/packages/stdlib/_src/data/Tuple/make.ts
@@ -1,4 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
 import { TupleInternal } from "@tsplus/stdlib/data/Tuple/definition";
 
 /**
diff --git a/packages/stdlib/_src/data/Tuple/mergeTuple.ts b/packages/stdlib/_src/data/Tuple/mergeTuple.ts
@@ -1,5 +1,3 @@
-import { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
-
 export type MergeTuple<A, B> = A extends Tuple<infer TA> ? B extends Tuple<infer TB> ? Tuple<[...TA, ...TB]>
 : Tuple<[...TA, B]>
   : B extends Tuple<infer TB> ? Tuple<[A, ...TB]>
diff --git a/packages/stdlib/_src/data/Tuple/prepend.ts b/packages/stdlib/_src/data/Tuple/prepend.ts
@@ -1,4 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
 import { TupleInternal } from "@tsplus/stdlib/data/Tuple/definition";
 
 /**
diff --git a/packages/stdlib/_src/data/Tuple/toNative.ts b/packages/stdlib/_src/data/Tuple/toNative.ts
@@ -1,5 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
-
 /**
  * Converts to native tuple type.
  *
diff --git a/packages/stdlib/_src/data/Tuple/update.ts b/packages/stdlib/_src/data/Tuple/update.ts
@@ -1,4 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
 import { TupleInternal } from "@tsplus/stdlib/data/Tuple/definition";
 import type { ForcedArray } from "@tsplus/stdlib/utilities/Types";
 
diff --git a/packages/stdlib/_src/prelude/Equivalence/operations.ts b/packages/stdlib/_src/prelude/Equivalence/operations.ts
@@ -1,4 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
 import { Equivalence } from "@tsplus/stdlib/prelude/Equivalence/definition";
 import type { ForcedTuple } from "@tsplus/stdlib/utilities/Types";
 
diff --git a/packages/stdlib/_src/utilities/Types.ts b/packages/stdlib/_src/utilities/Types.ts
@@ -1,5 +1,3 @@
-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
-
 export type MergeRecord<K, H> = {
   readonly [k in keyof K | keyof H]: k extends keyof K ? K[k]
     : k extends keyof H ? H[k]
@@ -30,7 +28,7 @@ export type ESArray<A> = Array<A>;
 export type ESReadonlyArray<A> = ReadonlyArray<A>;
 export const ESArray = Array;
 
-export type ESIterable<A> = Iterable<A>;
+export type ESIterable<A> = globalThis.Iterable<A>;
 
 export type IsInt<N extends number> = N & (`${N}` extends `${bigint}` ? N : never);
 
diff --git a/packages/stdlib/tsconfig.json b/packages/stdlib/tsconfig.json
@@ -1,7 +1,8 @@
 {
     "extends": "../../tsconfig.base.json",
     "compilerOptions": {
-        "tsPlusConfig": "../../tsplus.config.json"
+        "tsPlusConfig": "../../tsplus.config.json",
+        "tsBuildInfoFile": "build/tsbuildinfo/tsconfig.tsbuildinfo",
     },
     "references": [
         {
diff --git a/prelude.d.ts b/prelude.d.ts
@@ -0,0 +1,44 @@
+/**
+ * @tsplus global
+ */
+import { ImmutableArray } from "@tsplus/stdlib/collections/ImmutableArray";
+/**
+ * @tsplus global
+ */
+import { Iterable } from "@tsplus/stdlib/collections/Iterable";
+/**
+ * @tsplus global
+ */
+import { List } from "@tsplus/stdlib/collections/List/definition";
+/**
+ * @tsplus global
+ */
+import { ListBuffer } from "@tsplus/stdlib/collections/mutable/ListBuffer";
+/**
+ * @tsplus global
+ */
+import { IterableWeakMap } from "@tsplus/stdlib/collections/weak/IterableWeakMap";
+/**
+ * @tsplus global
+ */
+import { Duration } from "@tsplus/stdlib/data/Duration";
+/**
+ * @tsplus global
+ */
+import { Service } from "@tsplus/stdlib/data/Environment";
+/**
+ * @tsplus global
+ */
+import { LazyArg, pipe, Refinement, unsafeCoerce } from "@tsplus/stdlib/data/Function";
+/**
+ * @tsplus global
+ */
+import { Option } from "@tsplus/stdlib/data/Option/definition";
+/**
+ * @tsplus global
+ */
+import { Predicate } from "@tsplus/stdlib/data/Predicate";
+/**
+ * @tsplus global
+ */
+import { Tuple } from "@tsplus/stdlib/data/Tuple/definition";
diff --git a/tsconfig.base.json b/tsconfig.base.json
@@ -52,6 +52,9 @@
             ],
         }
     },
+    "files": [
+        "./prelude.d.ts"
+    ],
     "include": [],
     "exclude": [
         "node_modules",
diff --git a/yarn.lock b/yarn.lock

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`import type { Iterable } from "@tsplus/stdlib/collections/Iterable";`
`2`		`-import { Option } from "@tsplus/stdlib/data/Option";`
`3`	`2`	`import { Equals } from "@tsplus/stdlib/structure/Equals";`
`4`	`3`	`import { Hash } from "@tsplus/stdlib/structure/Hash";`
`5`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`import { identity } from "@tsplus/stdlib/data/Function";`
`2`		`-import { Tuple } from "@tsplus/stdlib/data/Tuple";`
`3`	`2`	`import type { AssociativeIdentity } from "@tsplus/stdlib/prelude/AssociativeIdentity";`
`4`	`3`	`import { Equals } from "@tsplus/stdlib/structure/Equals";`
`5`	`4`	`import type { ESIterable } from "@tsplus/stdlib/utilities/Types";`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-import { ListBuffer } from "@tsplus/stdlib/collections/mutable/ListBuffer";`
`2`		`-`
`3`	`1`	`export class ListBuilder<A> {`
`4`	`2`	`constructor(private buffer: ListBuffer<A>) {}`
`5`	`3`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-import type { List } from "@tsplus/stdlib/collections/List/definition";`
`2`		`-`
`3`	`1`	`/**`
`4`	`2`	`* Concatenates two lists together`
`5`	`3`	`*`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-import { List } from "@tsplus/stdlib/collections/List/definition";`
`2`		`-`
`3`	`1`	`/**`
`4`	`2`	* Returns the empty `List`
`5`	`3`	`*`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-import type { List } from "@tsplus/stdlib/collections/List/definition";`
`2`	`1`	`import type { Predicate } from "@tsplus/stdlib/data/Predicate";`
`3`	`2`
`4`	`3`	`/**`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";`
`2`	`1`	`import { TupleInternal } from "@tsplus/stdlib/data/Tuple/definition";`
`3`	`2`
`4`	`3`	`/**`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-import { Tuple } from "@tsplus/stdlib/data/Tuple/definition";`
`2`		`-`
`3`	`1`	`export type MergeTuple<A, B> = A extends Tuple<infer TA> ? B extends Tuple<infer TB> ? Tuple<[...TA, ...TB]>`
`4`	`2`	`: Tuple<[...TA, B]>`
`5`	`3`	`: B extends Tuple<infer TB> ? Tuple<[A, ...TB]>`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-import type { Tuple } from "@tsplus/stdlib/data/Tuple/definition";`
`2`	`1`	`import { Equivalence } from "@tsplus/stdlib/prelude/Equivalence/definition";`
`3`	`2`	`import type { ForcedTuple } from "@tsplus/stdlib/utilities/Types";`
`4`	`3`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,8 @@`
`1`	`1`	`{`
`2`	`2`	`"extends": "../../tsconfig.base.json",`
`3`	`3`	`"compilerOptions": {`
`4`		`- "tsPlusConfig": "../../tsplus.config.json"`
	`4`	`+ "tsPlusConfig": "../../tsplus.config.json",`
	`5`	`+ "tsBuildInfoFile": "build/tsbuildinfo/tsconfig.tsbuildinfo",`
`5`	`6`	`},`
`6`	`7`	`"references": [`
`7`	`8`	`{`