@fncts/base 0.0.17 → 0.0.18

package/collection/compat/Array/definition.d.ts

@@ -15,6 +15,6 @@ declare global {
     export interface ArrayConstructor {
     }
 }
-export declare type ESArray<A> = globalThis.Array<A>;
-export declare type ESReadonlyArray<A> = globalThis.ReadonlyArray<A>;
+export type ESArray<A> = globalThis.Array<A>;
+export type ESReadonlyArray<A> = globalThis.ReadonlyArray<A>;
 export declare const ESArray: ArrayConstructor;

package/collection/immutable/Conc/definition.d.ts

@@ -7,7 +7,7 @@ import { unsafeCoerce } from "@fncts/base/data/function/api";
 export declare const BUFFER_SIZE = 64;
 export declare const UPDATE_BUFFER_SIZE = 256;
 export declare const ConcTypeId: unique symbol;
-export declare type ConcTypeId = typeof ConcTypeId;
+export type ConcTypeId = typeof ConcTypeId;
 export declare const enum ConcTag {
     Empty = "Empty",
     Concat = "Concat",

package/collection/immutable/HashMap/definition.d.ts

@@ -37,7 +37,7 @@ export declare class HashMapIterator<K, V, T> implements IterableIterator<T> {
     next(): IteratorResult<T>;
     [Symbol.iterator](): IterableIterator<T>;
 }
-declare type Cont<K, V, A> = [len: number, children: Node<K, V>[], i: number, f: (node: readonly [K, V]) => A, cont: Cont<K, V, A>] | undefined;
+type Cont<K, V, A> = [len: number, children: Node<K, V>[], i: number, f: (node: readonly [K, V]) => A, cont: Cont<K, V, A>] | undefined;
 interface VisitResult<K, V, A> {
     value: A;
     cont: Cont<K, V, A>;

package/collection/immutable/HashMap/internal.d.ts

@@ -17,7 +17,7 @@ export declare function popcount(x: number): number;
 export declare function hashFragment(shift: number, h: number): number;
 export declare function toBitmap(x: number): number;
 export declare function fromBitmap(bitmap: number, bit: number): number;
-export declare type Node<K, V> = LeafNode<K, V> | CollisionNode<K, V> | IndexedNode<K, V> | ArrayNode<K, V> | EmptyNode<K, V>;
+export type Node<K, V> = LeafNode<K, V> | CollisionNode<K, V> | IndexedNode<K, V> | ArrayNode<K, V> | EmptyNode<K, V>;
 export interface SizeRef {
     value: number;
 }
@@ -29,8 +29,8 @@ export declare const _EmptyNode: EmptyNode<never, never>;
 export declare function isEmptyNode(a: unknown): a is EmptyNode<unknown, unknown>;
 export declare function isLeaf<K, V>(node: Node<K, V>): node is EmptyNode<K, V> | LeafNode<K, V> | CollisionNode<K, V>;
 export declare function canEditNode<K, V>(edit: number, node: Node<K, V>): boolean;
-export declare type KeyEq<K> = Eq<K>["equals"];
-export declare type UpdateFn<V> = (v: Maybe<V>) => Maybe<V>;
+export type KeyEq<K> = Eq<K>["equals"];
+export type UpdateFn<V> = (v: Maybe<V>) => Maybe<V>;
 export declare class LeafNode<K, V> {
     readonly edit: number;
     readonly hash: number;

package/collection/immutable/HashSet/definition.d.ts

@@ -55,7 +55,7 @@ interface SizeRef {
     value: number;
 }
 export declare function canEditNode<A>(edit: number, node: Node<A>): boolean;
-export declare type Node<A> = EmptyNode<A> | LeafNode<A> | CollisionNode<A> | IndexedNode<A> | ArrayNode<A>;
+export type Node<A> = EmptyNode<A> | LeafNode<A> | CollisionNode<A> | IndexedNode<A> | ArrayNode<A>;
 export declare class EmptyNode<A> {
     readonly _tag = "EmptyNode";
     modify(remove: boolean, edit: number, eq: (x: A, y: A) => boolean, shift: number, hash: number, value: A, size: SizeRef): this | LeafNode<A>;

package/collection/immutable/ImmutableArray/definition.d.ts

@@ -2,7 +2,7 @@ import { HKT } from "@fncts/typelevel/HKT";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 export declare const ImmutableArrayTypeId: unique symbol;
-export declare type ImmutableArrayTypeId = typeof ImmutableArrayTypeId;
+export type ImmutableArrayTypeId = typeof ImmutableArrayTypeId;
 export interface ImmutableArrayF extends HKT {
     type: ImmutableArray<this["A"]>;
     variance: {

package/collection/immutable/List/definition.d.ts

@@ -21,7 +21,7 @@ export declare const _Nil: Nil<never>;
 /**
  * @tsplus type fncts.List
  */
-export declare type List<A> = Cons<A> | Nil<A>;
+export type List<A> = Cons<A> | Nil<A>;
 /**
  * @tsplus type fncts.ListOps
  */

package/collection/immutable/RoseTree/definition.d.ts

@@ -3,7 +3,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { Vector } from "@fncts/base/collection/immutable/Vector";
 export declare const RoseTreeTypeId: unique symbol;
-export declare type RoseTreeTypeId = typeof RoseTreeTypeId;
+export type RoseTreeTypeId = typeof RoseTreeTypeId;
 export interface RoseTreeF extends HKT {
     type: RoseTree<this["A"]>;
     variance: {

package/collection/immutable/SortedMap/node.d.ts

@@ -2,7 +2,7 @@ export declare const enum Color {
     R = 0,
     B = 1
 }
-export declare type Leaf = null;
+export type Leaf = null;
 export declare class Node<K, V> {
     color: Color;
     left: RBNode<K, V>;
@@ -13,4 +13,4 @@ export declare class Node<K, V> {
     constructor(color: Color, left: RBNode<K, V>, key: K, value: V, right: RBNode<K, V>, count: number);
 }
 export declare const Leaf: null;
-export declare type RBNode<K, V> = Node<K, V> | Leaf;
+export type RBNode<K, V> = Node<K, V> | Leaf;

package/collection/immutable/Vector/definition.d.ts

@@ -3,7 +3,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import type { Node } from "@fncts/base/collection/immutable/Vector/internal";
 export declare const VectorTypeId: unique symbol;
-export declare type VectorTypeId = typeof VectorTypeId;
+export type VectorTypeId = typeof VectorTypeId;
 export interface VectorF extends HKT {
     type: Vector<this["A"]>;
     variance: {

package/collection/immutable/Vector/internal.d.ts

@@ -40,7 +40,7 @@ export declare const mask = 31;
 /**
  * @internal
  */
-declare type Sizes = number[] | undefined;
+type Sizes = number[] | undefined;
 /** @internal */
 export declare class Node {
     sizes: Sizes;
@@ -176,7 +176,7 @@ export declare function sliceTreeVector<A>(from: number, to: number, tree: Node,
  * @internal
  */
 export declare function zeroOffset(): void;
-declare type FoldCb<Input, State> = (input: Input, state: State, index: number) => boolean;
+type FoldCb<Input, State> = (input: Input, state: State, index: number) => boolean;
 /**
  * This function is a lot like a fold. But the reducer function is
  * supposed to mutate its state instead of returning it. Instead of

package/control/Eval/definition.d.ts

@@ -1,6 +1,6 @@
 import { HKT } from "@fncts/typelevel/HKT";
 export declare const EvalTypeId: unique symbol;
-export declare type EvalTypeId = typeof EvalTypeId;
+export type EvalTypeId = typeof EvalTypeId;
 export interface EvalF extends HKT {
     type: Eval<this["A"]>;
     variance: {
@@ -47,7 +47,7 @@ export declare class Chain<A, B> implements Eval<B> {
     readonly _A: () => B;
     constructor(self: Eval<A>, f: (a: A) => Eval<B>);
 }
-declare type Concrete = Value<any> | Defer<any> | Chain<any, any>;
+type Concrete = Value<any> | Defer<any> | Chain<any, any>;
 /**
  * @tsplus smart:remove
  */

package/control/Z/definition.d.ts

@@ -13,7 +13,7 @@ export interface ZF extends HKT {
     };
 }
 export declare const ZTypeId: unique symbol;
-export declare type ZTypeId = typeof ZTypeId;
+export type ZTypeId = typeof ZTypeId;
 /**
  * `Z<W, S1, S2, R, E, A>` is a purely functional description of a synchronous computation
  * that requires an environment `R` and an initial state `S1` and may either
@@ -131,14 +131,14 @@ export declare class MapLog<W, S1, S2, R, E, A, W1> extends Z<W1, S1, S2, R, E,
     readonly _tag = ZTag.MapLog;
     constructor(ma: Z<W, S1, S2, R, E, A>, modifyLog: (ws: Conc<W>) => Conc<W1>);
 }
-export declare type Concrete = SucceedNow<any> | Fail<any> | Modify<any, any, any> | Chain<any, any, any, any, any, any, any, any, any, any, any> | Match<any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any> | Access<any, any, any, any, any, any, any> | Provide<any, any, any, any, any, any> | Defer<any, any, any, any, any, any> | Succeed<any> | Tell<any> | MapLog<any, any, any, any, any, any, any>;
+export type Concrete = SucceedNow<any> | Fail<any> | Modify<any, any, any> | Chain<any, any, any, any, any, any, any, any, any, any, any> | Match<any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any> | Access<any, any, any, any, any, any, any> | Provide<any, any, any, any, any, any> | Defer<any, any, any, any, any, any> | Succeed<any> | Tell<any> | MapLog<any, any, any, any, any, any, any>;
 /**
  * @tsplus static fncts.control.ZOps concrete
  * @tsplus location "@fncts/base/control/Z/definition"
  */
 export declare function concrete(_: Z<any, any, any, any, any, any>): asserts _ is Concrete;
 export declare const ZErrorTypeId: unique symbol;
-export declare type ZErrorTypeId = typeof ZErrorTypeId;
+export type ZErrorTypeId = typeof ZErrorTypeId;
 export declare class ZError<E> {
     readonly cause: Cause<E>;
     readonly _typeId: ZErrorTypeId;

package/data/Branded/definition.d.ts

@@ -1,7 +1,7 @@
 import { Refinement } from "@fncts/base/data/Refinement/definition";
 import { Predicate } from "@fncts/base/data/Predicate/definition";
 import type { Union } from "@fncts/typelevel";
-declare type Brand_<A, K extends string> = Brand<A, K>;
+type Brand_<A, K extends string> = Brand<A, K>;
 export declare namespace Branded {
     const Symbol: unique symbol;
     type Symbol = typeof Symbol;

package/data/Byte.d.ts

@@ -1 +1 @@
-export declare type Byte = number;
+export type Byte = number;

package/data/CaseClass.d.ts

@@ -4,7 +4,7 @@ import { Equatable } from "@fncts/base/typeclass/Equatable";
 import type { Equals } from "@fncts/typelevel/Any";
 import type { True } from "@fncts/typelevel/Boolean";
 export declare const CaseClassTypeId: unique symbol;
-export declare type CaseClassTypeId = typeof CaseClassTypeId;
+export type CaseClassTypeId = typeof CaseClassTypeId;
 export interface CaseArgs {
     readonly [CaseClassTypeId]: ImmutableArray<string>;
 }

package/data/Cause/definition.d.ts

@@ -5,11 +5,11 @@ import { Conc } from "@fncts/base/collection/immutable/Conc";
 import { List } from "@fncts/base/collection/immutable/List/definition";
 import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
 export declare const CauseTypeId: unique symbol;
-export declare type CauseTypeId = typeof CauseTypeId;
+export type CauseTypeId = typeof CauseTypeId;
 /**
  * @tsplus type fncts.Cause
  */
-export declare type Cause<E> = Empty | Halt | Interrupt | Fail<E> | Then<E> | Both<E> | Stackless<E>;
+export type Cause<E> = Empty | Halt | Interrupt | Fail<E> | Then<E> | Both<E> | Stackless<E>;
 /**
  * @tsplus type fncts.CauseOps
  */

package/data/Datum/definition.d.ts

@@ -8,7 +8,7 @@ export declare const enum DatumTag {
     Replete = "Replete"
 }
 export declare const DatumTypeId: unique symbol;
-export declare type DatumTypeId = typeof DatumTypeId;
+export type DatumTypeId = typeof DatumTypeId;
 export interface DatumF extends HKT {
     type: Datum<this["A"]>;
     variance: {
@@ -18,7 +18,7 @@ export interface DatumF extends HKT {
 /**
  * @tsplus type fncts.Datum
  */
-export declare type Datum<A> = Initial | Pending | Refresh<A> | Replete<A>;
+export type Datum<A> = Initial | Pending | Refresh<A> | Replete<A>;
 /**
  * @tsplus type fncts.DatumOps
  */

package/data/DatumEither/definition.d.ts

@@ -12,7 +12,7 @@ export interface DatumEitherF extends HKT {
  * @tsplus type fncts.DatumEither
  * @tsplus no-inherit fncts.Datum
  */
-export declare type DatumEither<E, A> = Datum<Either<E, A>>;
+export type DatumEither<E, A> = Datum<Either<E, A>>;
 /**
  * @tsplus type fncts.DatumEitherOps
  */

package/data/DecodeError/definition.d.ts

@@ -2,7 +2,7 @@ import { Eval } from "@fncts/base/control/Eval/definition";
 import { RoseTree } from "@fncts/base/collection/immutable/RoseTree";
 import { Vector } from "@fncts/base/collection/immutable/Vector";
 export declare const DecodeErrorTypeId: unique symbol;
-export declare type DecodeErrorTypeId = typeof DecodeErrorTypeId;
+export type DecodeErrorTypeId = typeof DecodeErrorTypeId;
 export declare abstract class DecodeError {
     readonly _typeId: DecodeErrorTypeId;
     abstract render: Eval<RoseTree<string>>;

package/data/Decoder/definition.d.ts

@@ -2,7 +2,7 @@ import { HKT } from "@fncts/typelevel/HKT";
 import { These } from "@fncts/base/data/These";
 import type { DecodeError } from "@fncts/base/data/DecodeError";
 export declare const DecoderTypeId: unique symbol;
-export declare type DecoderTypeId = typeof DecoderTypeId;
+export type DecoderTypeId = typeof DecoderTypeId;
 export interface DecoderF extends HKT {
     type: Decoder<this["A"]>;
     variance: {

package/data/Duration/definition.d.ts

@@ -1,7 +1,7 @@
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 export declare const DurationTypeId: unique symbol;
-export declare type DurationTypeId = typeof DurationTypeId;
+export type DurationTypeId = typeof DurationTypeId;
 /**
  * @tsplus type fncts.Duration
  * @tsplus companion fncts.DurationOps

package/data/Either/definition.d.ts

@@ -4,7 +4,7 @@ export declare const enum EitherTag {
     Right = "Right"
 }
 export declare const EitherTypeId: unique symbol;
-export declare type EitherTypeId = typeof EitherTypeId;
+export type EitherTypeId = typeof EitherTypeId;
 export interface EitherF extends HKT {
     type: Either<this["E"], this["A"]>;
     variance: {

package/data/EitherT/definition.d.ts

@@ -3,7 +3,7 @@ import { Either } from "@fncts/base/data/Either/definition";
 /**
  * @tsplus type fncts.EitherT
  */
-export declare type EitherT<F extends HKT, FC, K, Q, W, X, I, S, R, EF, E, A> = HKT.Kind<F, FC, K, Q, W, X, I, S, R, EF, Either<E, A>>;
+export type EitherT<F extends HKT, FC, K, Q, W, X, I, S, R, EF, E, A> = HKT.Kind<F, FC, K, Q, W, X, I, S, R, EF, Either<E, A>>;
 /**
  * @tsplus type fncts.EitherTOps
  */

package/data/Environment/api.d.ts

@@ -12,7 +12,7 @@ export declare function add<R, H extends S, S = H>(self: Environment<R>, service
  * @tsplus location "@fncts/base/data/Environment/api"
  */
 export declare const empty: import("./definition").Environment<never>;
-declare type Tags<R> = R extends infer S ? Tag<S> : never;
+type Tags<R> = R extends infer S ? Tag<S> : never;
 /**
  * @tsplus fluent fncts.Environment get
  * @tsplus location "@fncts/base/data/Environment/api"

package/data/Environment/definition.d.ts

@@ -7,7 +7,7 @@ import { Tag } from "@fncts/base/data/Tag/definition";
  * @tsplus location "@fncts/base/data/Environment/definition"
  */
 export declare const EnvSymbol: unique symbol;
-export declare type EnvSymbol = typeof EnvSymbol;
+export type EnvSymbol = typeof EnvSymbol;
 /**
  * @tsplus type fncts.Environment
  * @tsplus companion fncts.EnvironmentOps

package/data/ExecutionStrategy.d.ts

@@ -26,7 +26,7 @@ export declare function concurrentBounded(fiberBound: number): ConcurrentBounded
 /**
  * @tsplus type fncts.ExecutionStrategy
  */
-export declare type ExecutionStrategy = Sequential | Concurrent | ConcurrentBounded;
+export type ExecutionStrategy = Sequential | Concurrent | ConcurrentBounded;
 /**
  * @tsplus type fncts.ExecutionStrategyOps
  */

package/data/Exit/definition.d.ts

@@ -2,11 +2,11 @@ import { Cause } from "@fncts/base/data/Cause/definition";
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 import * as P from "../../typeclass.js";
 export declare const ExitTypeId: unique symbol;
-export declare type ExitTypeId = typeof ExitTypeId;
+export type ExitTypeId = typeof ExitTypeId;
 /**
  * @tsplus type fncts.Exit
  */
-export declare type Exit<E, A> = Success<A> | Failure<E>;
+export type Exit<E, A> = Success<A> | Failure<E>;
 /**
  * @tsplus type fncts.ExitOps
  */

package/data/FiberId/definition.d.ts

@@ -3,7 +3,7 @@ import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { TraceElement } from "@fncts/base/data/TraceElement/definition";
 import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
 export declare const FiberIdTypeId: unique symbol;
-export declare type FiberIdTypeId = typeof FiberIdTypeId;
+export type FiberIdTypeId = typeof FiberIdTypeId;
 export declare class None implements Hashable, Equatable {
     readonly _typeId: FiberIdTypeId;
     readonly _tag = "None";
@@ -31,14 +31,14 @@ export declare class Composite implements Hashable, Equatable {
 /**
  * @tsplus type fncts.FiberId
  */
-export declare type FiberId = None | Runtime | Composite;
+export type FiberId = None | Runtime | Composite;
 /**
  * @tsplus type fncts.FiberIdOps
  */
 export interface FiberIdOps {
 }
 export declare const FiberId: FiberIdOps;
-declare type RuntimeFiberId = Runtime;
+type RuntimeFiberId = Runtime;
 export declare namespace FiberId {
     type Runtime = RuntimeFiberId;
 }

package/data/Maybe/definition.d.ts

@@ -6,7 +6,7 @@ export declare const enum MaybeTag {
     Nothing = "Nothing"
 }
 export declare const MaybeTypeId: unique symbol;
-export declare type MaybeTypdId = typeof MaybeTypeId;
+export type MaybeTypdId = typeof MaybeTypeId;
 export interface MaybeF extends HKT {
     type: Maybe<this["A"]>;
     variance: {

package/data/Patch/definition.d.ts

@@ -1,7 +1,7 @@
 import { Has } from "@fncts/base/typeclass/Has";
 import { Tag } from "@fncts/base/data/Tag/definition";
 export declare const PatchTypeId: unique symbol;
-export declare type PatchTypeId = typeof PatchTypeId;
+export type PatchTypeId = typeof PatchTypeId;
 /**
  * @tsplus type fncts.Environment.Patch
  * @tsplus companion fncts.Environment.PatchOps
@@ -37,7 +37,7 @@ export declare class UpdateService<Env, Service> extends Patch<Env & Has<Service
     readonly _tag = "UpdateService";
     constructor(update: (_: Service) => Service, tag: Tag<Service>);
 }
-export declare type Concrete = AddService<any, any> | Compose<any, any, any> | Empty<any> | RemoveService<any, any> | UpdateService<any, any>;
+export type Concrete = AddService<any, any> | Compose<any, any, any> | Empty<any> | RemoveService<any, any> | UpdateService<any, any>;
 /**
  * @tsplus macro remove
  */

package/data/Struct/api.d.ts

@@ -1,10 +1,10 @@
 import type { Union } from "@fncts/typelevel";
 import { Struct } from "./definition.js";
-export declare type EnsureLiteral<N> = string extends N ? never : [N] extends [Union.IntersectionOf<N>] ? N : never;
-export declare type TestLiteral<N> = string extends N ? unknown : [N] extends [Union.IntersectionOf<N>] ? N : unknown;
-export declare type EnsureNonexistentProperty<T, N extends string> = Extract<keyof T, N> extends never ? T : never;
-export declare type EnsureLiteralKeys<O> = string extends keyof O ? never : O;
-export declare type EnsureLiteralTuple<A extends ReadonlyArray<unknown>> = unknown extends {
+export type EnsureLiteral<N> = string extends N ? never : [N] extends [Union.IntersectionOf<N>] ? N : never;
+export type TestLiteral<N> = string extends N ? unknown : [N] extends [Union.IntersectionOf<N>] ? N : unknown;
+export type EnsureNonexistentProperty<T, N extends string> = Extract<keyof T, N> extends never ? T : never;
+export type EnsureLiteralKeys<O> = string extends keyof O ? never : O;
+export type EnsureLiteralTuple<A extends ReadonlyArray<unknown>> = unknown extends {
     [K in keyof A]: A[K] extends string ? TestLiteral<A[K]> : unknown;
 }[number] ? never : A;
 /**

package/data/Tag/definition.d.ts

@@ -1,7 +1,7 @@
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 export declare const TagTypeId: unique symbol;
-export declare type TagTypeId = typeof TagTypeId;
+export type TagTypeId = typeof TagTypeId;
 /**
  * Tag Encodes capabilities of reading and writing a service T into a generic environment
  *

package/data/These/definition.d.ts

@@ -4,7 +4,7 @@ export declare const enum TheseTag {
     Both = "Both"
 }
 export declare const TheseTypeId: unique symbol;
-export declare type TheseTypeId = typeof TheseTypeId;
+export type TheseTypeId = typeof TheseTypeId;
 /**
  * @tsplus type fncts.These.Left
  */
@@ -36,7 +36,7 @@ export declare class Both<E, A> {
 /**
  * @tsplus type fncts.These
  */
-export declare type These<E, A> = Left<E> | Right<A> | Both<E, A>;
+export type These<E, A> = Left<E> | Right<A> | Both<E, A>;
 /**
  * @tsplus type fncts.TheseOps
  */

package/data/TraceElement/definition.d.ts

@@ -10,7 +10,7 @@ export interface SourceLocation {
 /**
  * @tsplus type fncts.TraceElement
  */
-export declare type TraceElement = NoLocation | SourceLocation;
+export type TraceElement = NoLocation | SourceLocation;
 /**
  * @tsplus type fncts.TraceElementOps
  */

package/data/Zipped.d.ts

@@ -1,6 +1,6 @@
 export declare const ZippedTypeId: unique symbol;
-export declare type ZippedTypeId = typeof ZippedTypeId;
-export declare type Zipped<A extends Array<any>> = Readonly<A> & {
+export type ZippedTypeId = typeof ZippedTypeId;
+export type Zipped<A extends Array<any>> = Readonly<A> & {
     readonly [ZippedTypeId]: ZippedTypeId;
 };
 export declare namespace Zipped {

package/data/exceptions/InterruptedException.d.ts

@@ -1,5 +1,5 @@
 export declare const InterruptedExceptionTypeId: unique symbol;
-export declare type InterruptedExceptionTypeId = typeof InterruptedExceptionTypeId;
+export type InterruptedExceptionTypeId = typeof InterruptedExceptionTypeId;
 export declare class InterruptedException {
     readonly message?: string | undefined;
     readonly _typeId: InterruptedExceptionTypeId;

package/json/EitherJson.d.ts

@@ -10,7 +10,7 @@ export interface LeftJson<E> {
 /**
  * @tsplus type fncts.EitherJson
  */
-export declare type EitherJson<E, A> = LeftJson<E> | RightJson<A>;
+export type EitherJson<E, A> = LeftJson<E> | RightJson<A>;
 /**
  * @tsplus type fncts.EitherJsonOps
  */

package/json/MaybeJson.d.ts

@@ -9,7 +9,7 @@ export interface JustJson<A> {
 /**
  * @tsplus type fncts.MaybeJson
  */
-export declare type MaybeJson<A> = NothingJson | JustJson<A>;
+export type MaybeJson<A> = NothingJson | JustJson<A>;
 /**
  * @tsplus type fncts.MaybeJsonOps
  */

package/json/TheseJson.d.ts

@@ -12,7 +12,7 @@ export interface BothJson<E, A> {
     readonly left: E;
     readonly right: A;
 }
-export declare type TheseJson<E, A> = LeftJson<E> | RightJson<A> | BothJson<E, A>;
+export type TheseJson<E, A> = LeftJson<E> | RightJson<A> | BothJson<E, A>;
 /**
  * @tsplus type fncts.TheseJsonOps
  */

package/optics/At/definition.d.ts

@@ -5,7 +5,7 @@ import { Lens } from "@fncts/base/optics/Lens";
 export interface At<S, I, A> {
     readonly at: (i: I) => Lens<S, A>;
 }
-export declare type AtMin<S, I, A> = {
+export type AtMin<S, I, A> = {
     readonly get: (i: I) => (s: S) => A;
     readonly set: (i: I) => (s: S, a: A) => S;
 } | At<S, I, A>;

package/optics/Index/definition.d.ts

@@ -5,7 +5,7 @@ import type { Optional } from "@fncts/base/optics/Optional";
 export interface Index<S, I, A> {
     readonly index: (i: I) => Optional<S, A>;
 }
-export declare type IndexMin<S, I, A> = Index<S, I, A>;
+export type IndexMin<S, I, A> = Index<S, I, A>;
 /**
  * @tsplus type fncts.optics.IndexOps
  */

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "@fncts/base",
-  "version": "0.0.17",
+  "version": "0.0.18",
   "dependencies": {
-    "@fncts/typelevel": "0.0.13",
+    "@fncts/typelevel": "0.0.14",
     "uuid": "^8.3.2"
   },
   "exports": {

package/typeclass/Applicative.d.ts

@@ -9,4 +9,4 @@ export interface Applicative<F extends HKT, FC = HKT.None> extends Apply<F, FC>,
 export interface ApplicativeOps {
 }
 export declare const Applicative: ApplicativeOps;
-export declare type CompatibleApplicative<F extends HKT, FC, A> = Applicative<F, FC> & ([A] extends [HKT.Kind<F, any, any, any, any, any, any, any, any, any, any>] ? unknown : ["invalid Applicative instance for", A]);
+export type CompatibleApplicative<F extends HKT, FC, A> = Applicative<F, FC> & ([A] extends [HKT.Kind<F, any, any, any, any, any, any, any, any, any, any>] ? unknown : ["invalid Applicative instance for", A]);

package/typeclass/Apply.d.ts

@@ -48,13 +48,13 @@ export declare function sequenceT<F extends HKT, FC = HKT.None>(F: Apply<F, FC>)
 /**
  * @internal
  */
-declare type InferMixStruct<F extends HKT, FC, P extends HKT.ParamName, T, KS> = HKT.MixStruct<F, P, T, {
+type InferMixStruct<F extends HKT, FC, P extends HKT.ParamName, T, KS> = HKT.MixStruct<F, P, T, {
     [K in keyof KS]: HKT.Infer<F, FC, P, KS[K]>;
 }>;
 /**
  * @internal
  */
-declare type InferMixTuple<F extends HKT, FC, P extends HKT.ParamName, T, KT> = HKT.MixStruct<F, P, T, {
+type InferMixTuple<F extends HKT, FC, P extends HKT.ParamName, T, KT> = HKT.MixStruct<F, P, T, {
     [K in keyof KT & number]: HKT.Infer<F, FC, P, KT[K]>;
 }>;
 export {};

package/typeclass/Equatable/fast-equals.d.ts

@@ -1,4 +1,4 @@
-declare type Cache = {
+type Cache = {
     add: (value: any) => void;
     has: (value: any) => boolean;
 };
@@ -11,7 +11,7 @@ declare type Cache = {
  * @param cache the cache to add to
  */
 export declare function addToCache(value: any, cache: Cache): void;
-export declare type EqualityComparator = (a: any, b: any, meta?: any) => boolean;
+export type EqualityComparator = (a: any, b: any, meta?: any) => boolean;
 /**
  * @function hasPair
  *
@@ -156,7 +156,7 @@ export declare function areArraysEqual(a: any[], b: any[], isEqual: EqualityComp
  * @returns are the maps equal
  */
 export declare function areMapsEqual(a: Map<any, any>, b: Map<any, any>, isEqual: EqualityComparator, meta: any): boolean;
-declare type Dictionary<Type> = {
+type Dictionary<Type> = {
     [key: string]: Type;
     [index: number]: Type;
 };
@@ -197,6 +197,6 @@ export declare function areRegExpsEqual(a: RegExp, b: RegExp): boolean;
  * @returns are the sets equal
  */
 export declare function areSetsEqual(a: Set<any>, b: Set<any>, isEqual: EqualityComparator, meta: any): boolean;
-declare type EqualityComparatorCreator = (fn: EqualityComparator) => EqualityComparator;
+type EqualityComparatorCreator = (fn: EqualityComparator) => EqualityComparator;
 export declare function createComparator(createIsEqual?: EqualityComparatorCreator): (a: any, b: any, meta?: any) => boolean;
 export {};

package/typeclass/Guard/definition.d.ts

@@ -2,7 +2,7 @@ import { Refinement } from "@fncts/base/data/Refinement/definition";
 export interface GuardF extends Guard<any> {
 }
 export declare const GuardTypeId: unique symbol;
-export declare type GuardTypeId = typeof GuardTypeId;
+export type GuardTypeId = typeof GuardTypeId;
 /**
  * @tsplus type fncts.Guard
  * @tsplus companion fncts.GuardOps

package/typeclass/Has.d.ts

@@ -1,5 +1,5 @@
 export declare const HasTypeId: unique symbol;
-export declare type HasTypeId = typeof HasTypeId;
+export type HasTypeId = typeof HasTypeId;
 /**
  * @tsplus type fncts.Has
  */

package/typeclass/HashEq.d.ts

@@ -11,7 +11,7 @@ export interface HashEq<A> extends Hash<A>, Eq<A> {
 export interface HashEqOps {
 }
 export declare const HashEq: HashEqOps;
-export declare type HashEqMin<A> = Hash<A> & Eq<A>;
+export type HashEqMin<A> = Hash<A> & Eq<A>;
 /**
  * @tsplus static fncts.HashEqOps __call
  * @tsplus location "@fncts/base/typeclass/HashEq"

package/typeclass/Monoid.d.ts

@@ -13,7 +13,7 @@ export interface Monoid<A> extends Semigroup<A> {
 export interface MonoidOps {
 }
 export declare const Monoid: MonoidOps;
-export declare type MonoidMin<A> = Semigroup<A> & {
+export type MonoidMin<A> = Semigroup<A> & {
     readonly nat: A;
 };
 /**

package/typeclass/Ordering.d.ts

@@ -1,4 +1,4 @@
-export declare type Ordering = -1 | 0 | 1;
+export type Ordering = -1 | 0 | 1;
 /**
  * @tsplus static fncts.Ordering LT
  * @tsplus location "@fncts/base/typeclass/Ordering"

package/typeclass/Showable/show.d.ts

@@ -31,9 +31,9 @@ export interface ShowOptions {
 }
 export declare class ShowContext extends CaseClass<ShowContextArgs> {
 }
-export declare type ShowComputationZ<A> = Z<never, ShowContext, ShowContext, never, never, A>;
-export declare type ShowComputation = ShowComputationZ<string>;
-export declare type ShowComputationChunk = ShowComputationZ<Conc<string>>;
+export type ShowComputationZ<A> = Z<never, ShowContext, ShowContext, never, never, A>;
+export type ShowComputation = ShowComputationZ<string>;
+export type ShowComputationChunk = ShowComputationZ<Conc<string>>;
 export interface ShowComputationPrimitive {
     readonly _tag: "Primitive";
     readonly computation: ShowComputation;
@@ -48,7 +48,7 @@ export interface ShowComputationComplex {
     braces?: [string, string];
 }
 export declare function showComputationComplex(args: Omit<ShowComputationComplex, "_tag">): ShowComputationComplex;
-export declare type ShowComputationExternal = ShowComputationPrimitive | ShowComputationComplex;
+export type ShowComputationExternal = ShowComputationPrimitive | ShowComputationComplex;
 export declare function show(value: unknown): string;
 export declare function showWithOptions(value: unknown, options: Partial<ShowOptions>): string;
 export declare function _show(value: unknown): ShowComputation;

package/typeclass/Showable/styles.d.ts

@@ -1,8 +1,8 @@
-export declare type Style = "red" | "green" | "yellow" | "blue" | "magenta" | "cyan" | "white" | "gray" | "bold" | "italic" | "underline";
-export declare type ShowGroup = "string" | "number" | "boolean" | "bigint" | "special" | "undefined" | "null" | "symbol" | "date" | "regexp" | "module" | "dim";
-export declare type ShowStyle = Record<ShowGroup, (s: string) => string>;
+export type Style = "red" | "green" | "yellow" | "blue" | "magenta" | "cyan" | "white" | "gray" | "bold" | "italic" | "underline";
+export type ShowGroup = "string" | "number" | "boolean" | "bigint" | "special" | "undefined" | "null" | "symbol" | "date" | "regexp" | "module" | "dim";
+export type ShowStyle = Record<ShowGroup, (s: string) => string>;
 export declare const defaultShowStyle: ShowStyle;
-export declare type StyleFunction = (str: string, group: ShowGroup) => string;
-export declare type GetStyle = (group: ShowGroup) => string;
+export type StyleFunction = (str: string, group: ShowGroup) => string;
+export type GetStyle = (group: ShowGroup) => string;
 export declare function stylizeWithColor(str: string, group: ShowGroup): string;
 export declare function stylizeNoColor(str: string, _: ShowGroup): string;

package/types/extractions.d.ts

@@ -1,12 +1,12 @@
-export declare type ExtractContravariantPhantom<A, P extends PropertyKey> = [A] extends [{
+export type ExtractContravariantPhantom<A, P extends PropertyKey> = [A] extends [{
     [K in P]: (_: infer T) => void;
 }] ? T : never;
-export declare type ExtractCovariantPhantom<A, P extends PropertyKey> = [A] extends [{
+export type ExtractCovariantPhantom<A, P extends PropertyKey> = [A] extends [{
     [K in P]: () => infer T;
 }] ? T : never;
-export declare type _W<A> = ExtractCovariantPhantom<A, "_W">;
-export declare type _S1<A> = ExtractContravariantPhantom<A, "_S1">;
-export declare type _S2<A> = ExtractCovariantPhantom<A, "_S2">;
-export declare type _R<A> = ExtractCovariantPhantom<A, "_R">;
-export declare type _E<A> = ExtractCovariantPhantom<A, "_E">;
-export declare type _A<A> = ExtractCovariantPhantom<A, "_A">;
+export type _W<A> = ExtractCovariantPhantom<A, "_W">;
+export type _S1<A> = ExtractContravariantPhantom<A, "_S1">;
+export type _S2<A> = ExtractCovariantPhantom<A, "_S2">;
+export type _R<A> = ExtractCovariantPhantom<A, "_R">;
+export type _E<A> = ExtractCovariantPhantom<A, "_E">;
+export type _A<A> = ExtractCovariantPhantom<A, "_A">;

package/types/utility.d.ts

@@ -1,8 +1,8 @@
-export declare type Primitive = string | number | boolean | null | symbol;
-export declare type Constructor<A> = {
+export type Primitive = string | number | boolean | null | symbol;
+export type Constructor<A> = {
     new (...args: any[]): A;
 };
-export declare type Nullable<A> = A | null | undefined;
-export declare type IsInt<N extends number> = N & (`${N}` extends `${bigint}` ? N : never);
+export type Nullable<A> = A | null | undefined;
+export type IsInt<N extends number> = N & (`${N}` extends `${bigint}` ? N : never);
 export interface Spreadable extends Record<PropertyKey, any> {
 }

package/util/PCGRandom.d.ts

@@ -1,6 +1,6 @@
 export declare function isNothing<T>(value: T | null | undefined): boolean;
-export declare type PCGRandomState = [number, number, number, number];
-export declare type OptionalNumber = number | null | undefined;
+export type PCGRandomState = [number, number, number, number];
+export type OptionalNumber = number | null | undefined;
 /**
  * PCG is a family of simple fast space-efficient statistically good algorithms for random number generation. Unlike
  * many general-purpose RNGs, they are also hard to predict.

package/util/predicates.d.ts

@@ -29,7 +29,7 @@ export declare function isPromise(u: unknown): u is Promise<unknown>;
 export declare function isSet(u: unknown): u is Set<unknown>;
 export declare function isWeakSet(u: unknown): u is WeakSet<object>;
 export declare function isDate(u: unknown): u is Date;
-export declare type TypedArray = BigInt64Array | BigUint64Array | Float64Array | Float32Array | Int32Array | Int16Array | Int8Array | Uint32Array | Uint16Array | Uint8Array | Uint8ClampedArray;
+export type TypedArray = BigInt64Array | BigUint64Array | Float64Array | Float32Array | Int32Array | Int16Array | Int8Array | Uint32Array | Uint16Array | Uint8Array | Uint8ClampedArray;
 export declare function isTypedArray(u: unknown): u is TypedArray;
 export declare function isRegExp(u: unknown): u is RegExp;
 export declare function isAnyArrayBuffer(u: unknown): u is ArrayBuffer | SharedArrayBuffer;

package/util/rand/distribution/Distribution.d.ts

@@ -4,6 +4,6 @@ import type { RandomGenerator } from "@fncts/base/util/rand/generator/RandomGene
  * Return the generated value and an offsetted version of the RandomGenerator.
  * @public
  */
-declare type Distribution<T> = (rng: RandomGenerator) => T;
+type Distribution<T> = (rng: RandomGenerator) => T;
 export default Distribution;
 export { Distribution };

package/util/rand/distribution/internals/ArrayInt.d.ts

@@ -10,7 +10,7 @@
  * { sign: -1, data: [ 1, 5, 42 ] } // = -1 * (1 * 2**64 + 5 * 2**32 + 42)
  * ```
  */
-export declare type ArrayInt = {
+export type ArrayInt = {
     /**
      * Sign of the represented number
      */
@@ -41,7 +41,7 @@ export declare function substractArrayIntToNew(arrayIntA: ArrayInt, arrayIntB: A
  */
 export declare function trimArrayIntInplace(arrayInt: ArrayInt): ArrayInt;
 /** @internal */
-export declare type ArrayInt64 = Required<ArrayInt> & {
+export type ArrayInt64 = Required<ArrayInt> & {
     data: [number, number];
 };
 /**