@fncts/test 0.0.17 → 0.0.18

package/control/Annotations/definition.d.ts

@@ -3,7 +3,7 @@ import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
 import { Fiber } from "@fncts/io/Fiber/definition";
 import type { TestAnnotation } from "../../data/TestAnnotation.js";
 import type { TestAnnotationMap } from "../../data/TestAnnotationMap.js";
-export declare type Annotated<A> = readonly [A, TestAnnotationMap];
+export type Annotated<A> = readonly [A, TestAnnotationMap];
 /**
  * @tsplus type fncts.test.Annotations
  * @tsplus companion fncts.test.AnnotationsOps

package/control/Assertion/definition.d.ts

@@ -6,7 +6,7 @@ import { AssertionIO } from "../AssertionIO.js";
 /**
  * @tsplus type fncts.test.FreeBooleanAlgebra
  */
-export declare type AssertResult<A> = FreeBooleanAlgebra<AssertionValue<A>>;
+export type AssertResult<A> = FreeBooleanAlgebra<AssertionValue<A>>;
 /**
  * @tsplus type fncts.test.Assertion
  * @tsplus companion fncts.test.AssertionOps

package/control/AssertionIO/definition.d.ts

@@ -1,9 +1,9 @@
 import type { AssertionValue } from "../../data/AssertionValue.js";
 import type { Render } from "../../data/Render.js";
 import type { FreeBooleanAlgebraIO } from "../FreeBooleanAlgebraIO.js";
-export declare type AssertResultIO<A> = FreeBooleanAlgebraIO<never, never, AssertionValue<A>>;
+export type AssertResultIO<A> = FreeBooleanAlgebraIO<never, never, AssertionValue<A>>;
 export declare const AssertionIOTypeId: unique symbol;
-export declare type AssertionIOTypeId = typeof AssertionIOTypeId;
+export type AssertionIOTypeId = typeof AssertionIOTypeId;
 /**
  * @tsplus type fncts.test.AssertionIO
  * @tsplus companion fncts.test.AssertionIOOps

package/control/DefaultTestReporter/render.d.ts

@@ -8,7 +8,7 @@ import type { ExecutionResult } from "../../data/ExecutionResult.js";
 import type { TestAnnotationRenderer } from "../TestAnnotationRenderer.js";
 import type { TestRenderer } from "../TestRenderer/definition.js";
 import { TestLogger } from "../TestLogger.js";
-export declare type TestReporter<E> = (duration: number, spec: ExecutedSpec<E>) => URIO<TestLogger, void>;
+export type TestReporter<E> = (duration: number, spec: ExecutedSpec<E>) => URIO<TestLogger, void>;
 /**
  * @tsplus static fncts.test.DefaultTestReporter report
  * @tsplus location "@fncts/test/control/DefaultTestReporter/render"

package/control/FreeBooleanAlgebraIO/definition.d.ts

@@ -3,7 +3,7 @@ import type { FreeBooleanAlgebra } from "../../data/FreeBooleanAlgebra.js";
 /**
  * @tsplus type fncts.test.FreeBooleanAlgebraIO
  */
-export declare type FreeBooleanAlgebraIO<R, E, A> = IO<R, E, FreeBooleanAlgebra<A>>;
+export type FreeBooleanAlgebraIO<R, E, A> = IO<R, E, FreeBooleanAlgebra<A>>;
 /**
  * @tsplus type fncts.test.FreeBooleanAlgebraIOOps
  */

package/control/Spec/definition.d.ts

@@ -26,7 +26,7 @@ export declare const Spec: SpecOps;
 /**
  * @tsplus type fncts.test.PSpec
  */
-export declare type Spec<R, E> = PSpec<R, TestFailure<E>, TestSuccess>;
+export type Spec<R, E> = PSpec<R, TestFailure<E>, TestSuccess>;
 export declare const enum SpecCaseTag {
     Exec = "Exec",
     Labeled = "Labeled",
@@ -83,7 +83,7 @@ export declare class TestCase<R, E, T> {
 /**
  * @tsplus type fncts.test.SpecCase
  */
-export declare type SpecCase<R, E, T, A> = ExecCase<A> | LabeledCase<A> | ScopedCase<R, E, A> | MultipleCase<A> | TestCase<R, E, T>;
+export type SpecCase<R, E, T, A> = ExecCase<A> | LabeledCase<A> | ScopedCase<R, E, A> | MultipleCase<A> | TestCase<R, E, T>;
 /**
  * @tsplus fluent fncts.test.SpecCase isMultiple
  * @tsplus location "@fncts/test/control/Spec/definition"

package/control/Test.d.ts

@@ -6,7 +6,7 @@ import { TestSuccess } from "../data/TestSuccess.js";
 /**
  * @tsplus type fncts.control.IO
  */
-export declare type Test<R, E> = IO<R, TestFailure<E>, TestSuccess>;
+export type Test<R, E> = IO<R, TestFailure<E>, TestSuccess>;
 /**
  * @tsplus type fncts.test.TestOps
  */

package/control/TestAnnotationRenderer/definition.d.ts

@@ -22,7 +22,7 @@ export declare class CompositeRenderer {
 /**
  * @tsplus type fncts.test.TestAnnotationRenderer
  */
-export declare type TestAnnotationRenderer = LeafRenderer | CompositeRenderer;
+export type TestAnnotationRenderer = LeafRenderer | CompositeRenderer;
 /**
  * @tsplus type fncts.test.TestAnnotationRendererOps
  */

package/control/TestAspect/api.d.ts

@@ -8,8 +8,8 @@ import type { TestSuccess } from "@fncts/test/data/TestSuccess";
 import { Annotations } from "@fncts/test/control/Annotations";
 import { Live } from "@fncts/test/control/Live";
 import { TestFailure } from "@fncts/test/data/TestFailure";
-export declare type TestAspectAtLeastR<R> = TestAspect<R, never>;
-export declare type TestAspectPoly = TestAspect<unknown, never>;
+export type TestAspectAtLeastR<R> = TestAspect<R, never>;
+export type TestAspectPoly = TestAspect<unknown, never>;
 export declare const id: TestAspectPoly;
 export declare const ignore: TestAspectAtLeastR<Annotations>;
 export declare function perTest<R, E>(f: <R1, E1>(test: IO<R1, TestFailure<E1>, TestSuccess>) => IO<R | R1, TestFailure<E | E1>, TestSuccess>): TestAspect<R, E>;

package/control/TestAspect/definition.d.ts

@@ -1,2 +1,2 @@
 import type { Spec } from "@fncts/test/control/Spec";
-export declare type TestAspect<R, E> = <R1, E1>(spec: Spec<R1, E1>) => Spec<R | R1, E | E1>;
+export type TestAspect<R, E> = <R1, E1>(spec: Spec<R1, E1>) => Spec<R | R1, E | E1>;

package/control/TestClock/definition.d.ts

@@ -34,7 +34,7 @@ interface Pending {
 interface Done {
     readonly _tag: "Done";
 }
-declare type WarningData = Start | Pending | Done;
+type WarningData = Start | Pending | Done;
 export declare const Start: WarningData;
 export declare const Pending: (fiber: Fiber<never, void>) => WarningData;
 export declare const Done: WarningData;

package/control/TestEnvironment.d.ts

@@ -10,6 +10,6 @@ import { TestClock } from "@fncts/test/control/TestClock";
 import { TestConsole } from "@fncts/test/control/TestConsole";
 import { TestRandom } from "@fncts/test/control/TestRandom";
 import { TestConfig } from "@fncts/test/data/TestConfig";
-export declare type TestEnvironment = Annotations | Live | Sized | TestClock | TestConfig | TestRandom | Clock | Random | Console | TestConsole;
+export type TestEnvironment = Annotations | Live | Sized | TestClock | TestConfig | TestRandom | Clock | Random | Console | TestConsole;
 export declare const LiveTestEnvironment: Layer<IOEnv, never, TestEnvironment>;
 export declare const TestEnvironment: import("@fncts/io/Layer").Layer<never, never, TestEnvironment>;

package/control/TestRenderer/definition.d.ts

@@ -1,4 +1,4 @@
 import { Vector } from "@fncts/base/collection/immutable/Vector";
 import type { ExecutionResult } from "../../data/ExecutionResult.js";
 import type { TestAnnotationRenderer } from "../TestAnnotationRenderer.js";
-export declare type TestRenderer = (results: Vector<ExecutionResult>, testAnnotationRenderer: TestAnnotationRenderer) => Vector<string>;
+export type TestRenderer = (results: Vector<ExecutionResult>, testAnnotationRenderer: TestAnnotationRenderer) => Vector<string>;

package/data/AssertionData.d.ts

@@ -2,7 +2,7 @@ import type { Assertion } from "../control/Assertion/definition.js";
 import { AssertionValue } from "./AssertionValue.js";
 import { FreeBooleanAlgebra } from "./FreeBooleanAlgebra.js";
 export declare const AssertionDataTypeId: unique symbol;
-export declare type AssertionDataTypeId = typeof AssertionDataTypeId;
+export type AssertionDataTypeId = typeof AssertionDataTypeId;
 /**
  * @tsplus type fncts.test.data.AssertionData
  */

package/data/AssertionResult.d.ts

@@ -9,7 +9,7 @@ export declare class FailureDetailsResult {
 /**
  * @tsplus type fncts.test.data.AssertionResult
  */
-export declare type AssertionResult = FailureDetailsResult;
+export type AssertionResult = FailureDetailsResult;
 /**
  * @tsplus type fncts.test.data.AssertionResultOps
  */

package/data/AssertionValue/definition.d.ts

@@ -3,7 +3,7 @@ import { Maybe, Nothing } from "@fncts/base/data/Maybe/definition";
 import type { AssertionIO } from "../../control/AssertionIO/definition.js";
 import type { FreeBooleanAlgebra } from "../FreeBooleanAlgebra.js";
 export declare const AssertionValueTypeId: unique symbol;
-export declare type AssertionValueTypeId = typeof AssertionValueTypeId;
+export type AssertionValueTypeId = typeof AssertionValueTypeId;
 /**
  * @tsplus type fncts.test.data.AssertionValue
  * @tsplus companion fncts.test.data.AssertionValueOps

package/data/ExecutedSpec/definition.d.ts

@@ -36,4 +36,4 @@ export declare class MultipleCase<A> {
 /**
  * @tsplus type fncts.test.data.ExecutedSpecCase
  */
-export declare type SpecCase<E, A> = TestCase<E> | LabeledCase<A> | MultipleCase<A>;
+export type SpecCase<E, A> = TestCase<E> | LabeledCase<A> | MultipleCase<A>;

package/data/ExecutionResult.d.ts

@@ -13,7 +13,7 @@ export interface Ignored {
     readonly _tag: "Ignored";
 }
 export declare const Ignored: Ignored;
-export declare type Status = Failed | Passed | Ignored;
+export type Status = Failed | Passed | Ignored;
 interface Test {
     readonly _tag: "Test";
 }
@@ -26,7 +26,7 @@ export interface Other {
     readonly _tag: "Other";
 }
 export declare const Other: ResultType;
-export declare type ResultType = Test | Suite | Other;
+export type ResultType = Test | Suite | Other;
 /**
  * @tsplus type fncts.test.ExecutionResult
  */

package/data/FailureDetails.d.ts

@@ -7,7 +7,7 @@ import type { GenFailureDetails } from "./GenFailureDetails.js";
 /**
  * @tsplus type fncts.test.FreeBooleanAlgebra
  */
-export declare type TestResult = FreeBooleanAlgebra<FailureDetailsResult>;
+export type TestResult = FreeBooleanAlgebra<FailureDetailsResult>;
 export declare class FailureDetails {
     readonly assertion: Cons<AssertionValue<any>>;
     readonly gen: Maybe<GenFailureDetails<any>>;

package/data/FreeBooleanAlgebra/definition.d.ts

@@ -29,7 +29,7 @@ export declare class Not<A> {
 /**
  * @tsplus type fncts.test.FreeBooleanAlgebra
  */
-export declare type FreeBooleanAlgebra<A> = Value<A> | And<A> | Or<A> | Not<A>;
+export type FreeBooleanAlgebra<A> = Value<A> | And<A> | Or<A> | Not<A>;
 /**
  * @tsplus type fncts.test.FreeBooleanAlgebraOps
  */

package/data/LogLine/Style.d.ts

@@ -98,7 +98,7 @@ export declare function Ansi(fr: Fragment, ansiColor: string): Style;
 /**
  * @tsplus type fncts.test.data.StyleOps
  */
-export declare type Style = Primary | Default | Warning | Error | Info | Detail | Dimmed | Bold | Underlined | Ansi;
+export type Style = Primary | Default | Warning | Error | Info | Detail | Dimmed | Bold | Underlined | Ansi;
 /**
  * @tsplus type fncts.test.data.StyleOps
  */

package/data/Render/definition.d.ts

@@ -22,7 +22,7 @@ export declare class RenderInfix {
 /**
  * @tsplus type fncts.test.data.Render
  */
-export declare type Render = RenderFunction | RenderInfix;
+export type Render = RenderFunction | RenderInfix;
 /**
  * @tsplus type fncts.test.data.RenderOps
  */

package/data/RenderParam/definition.d.ts

@@ -16,7 +16,7 @@ export declare class RenderValue<A> {
 /**
  * @tsplus type fncts.test.data.RenderParam
  */
-export declare type RenderParam<A = any> = RenderAssertionIO<A> | RenderValue<A>;
+export type RenderParam<A = any> = RenderAssertionIO<A> | RenderValue<A>;
 /**
  * @tsplus type fncts.test.data.RenderParamOps
  */

package/data/TestAnnotation/definition.d.ts

@@ -2,7 +2,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { Tag } from "@fncts/base/data/Tag/definition";
 export declare const TestAnnotationTypeId: unique symbol;
-export declare type TestAnnotationTypeId = typeof TestAnnotationTypeId;
+export type TestAnnotationTypeId = typeof TestAnnotationTypeId;
 /**
  * @tsplus type fncts.test.TestAnnotation
  * @tsplus companion fncts.test.TestAnnotationOps

package/data/TestFailure.d.ts

@@ -17,7 +17,7 @@ export declare class RuntimeFailure<E> {
 /**
  * @tsplus type fncts.test.data.TestFailure
  */
-export declare type TestFailure<E> = AssertionFailure | RuntimeFailure<E>;
+export type TestFailure<E> = AssertionFailure | RuntimeFailure<E>;
 /**
  * @tsplus type fncts.test.data.TestFailureOps
  */

package/data/TestSuccess.d.ts

@@ -14,7 +14,7 @@ export declare class Ignored {
 /**
  * @tsplus type fncts.test.TestSuccess
  */
-export declare type TestSuccess = Succeeded | Ignored;
+export type TestSuccess = Succeeded | Ignored;
 /**
  * @tsplus type fncts.test.TestSuccessOps
  */

package/package.json

@@ -1,10 +1,10 @@
 {
   "name": "@fncts/test",
-  "version": "0.0.17",
+  "version": "0.0.18",
   "dependencies": {
-    "@fncts/base": "0.0.17",
-    "@fncts/io": "0.0.17",
-    "@fncts/typelevel": "0.0.13"
+    "@fncts/base": "0.0.18",
+    "@fncts/io": "0.0.18",
+    "@fncts/typelevel": "0.0.14"
   },
   "exports": {
     "./*": {

package/util/math.d.ts

@@ -22,7 +22,7 @@ export declare function indexInFloatFromDecomp(exponent: number, significand: nu
  */
 export declare function indexToFloat(index: number): number;
 /** @internal */
-export declare type ArrayInt64 = {
+export type ArrayInt64 = {
     sign: 1 | -1;
     data: [number, number];
 };