@trayio/commons 5.34.0 → 5.35.0-unstable.fd7158a

package/dist/dynamicschema/DynamicSchema.d.ts

@@ -1,18 +1,12 @@
-import * as E from 'fp-ts/Either';
-import * as O from 'fp-ts/Option';
-import * as t from 'io-ts';
+import { Either, Option, Schema } from 'effect';
 import { DynamicObject } from '../dynamictype/DynamicType';
-declare const dynamicSchemaTypeDescriptor: t.BrandC<t.Type<DynamicObject, DynamicObject, unknown>, DynamicSchemaBrand>;
-export type DynamicSchema = t.TypeOf<typeof dynamicSchemaTypeDescriptor>;
-export interface DynamicSchemaBrand {
-    readonly DynamicSchema: unique symbol;
-}
+export declare const dynamicSchemaSchema: Schema.brand<Schema.filter<Schema.Schema<DynamicObject, DynamicObject, never>>, "DynamicSchema">;
+export type DynamicSchema = typeof dynamicSchemaSchema.Type;
 export interface DynamicSchemaInterface {
-    fromDynamicObject: (schema: DynamicObject, strict?: O.Option<boolean>) => E.Either<Error, DynamicSchema>;
-    validate: (schema: DynamicSchema | DynamicObject, value: DynamicObject, strict?: O.Option<boolean>, coerce?: boolean) => E.Either<Error, DynamicObject>;
-    fromValue: (value: DynamicObject, schemaUrl: O.Option<string>) => DynamicObject;
+    fromDynamicObject: (schema: DynamicObject, strict?: Option.Option<boolean>) => Either.Either<DynamicSchema, Error>;
+    validate: (schema: DynamicSchema | DynamicObject, value: DynamicObject, strict?: Option.Option<boolean>, coerce?: boolean) => Either.Either<DynamicObject, Error>;
+    fromValue: (value: DynamicObject, schemaUrl: Option.Option<string>) => DynamicObject;
     isValidJsonSchema: (schema: DynamicObject) => boolean;
 }
 export declare const DynamicSchema: DynamicSchemaInterface;
-export {};
 //# sourceMappingURL=DynamicSchema.d.ts.map

package/dist/dynamicschema/DynamicSchema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DynamicSchema.d.ts","sourceRoot":"","sources":["../../src/dynamicschema/DynamicSchema.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,KAAK,CAAC,MAAM,OAAO,CAAC;AAG3B,OAAO,EACN,aAAa,EAEb,MAAM,4BAA4B,CAAC;AA+BpC,QAAA,MAAM,2BAA2B,6EAKhC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AA0FzE,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,aAAa,EAAE,OAAO,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,sBAAsB;IACtC,iBAAiB,EAAE,CAClB,MAAM,EAAE,aAAa,EACrB,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KACtB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACpC,QAAQ,EAAE,CACT,MAAM,EAAE,aAAa,GAAG,aAAa,EACrC,KAAK,EAAE,aAAa,EACpB,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAC1B,MAAM,CAAC,EAAE,OAAO,KACZ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACpC,SAAS,EAAE,CACV,KAAK,EAAE,aAAa,EACpB,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KACvB,aAAa,CAAC;IACnB,iBAAiB,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC;CACtD;AAED,eAAO,MAAM,aAAa,EAAE,sBAgD3B,CAAC"}
+{"version":3,"file":"DynamicSchema.d.ts","sourceRoot":"","sources":["../../src/dynamicschema/DynamicSchema.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAQ,MAAM,QAAQ,CAAC;AAEtD,OAAO,EAAE,aAAa,EAAuB,MAAM,4BAA4B,CAAC;AA+BhF,eAAO,MAAM,mBAAmB,kGAOc,CAAC;AAE/C,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAC;AA8F5D,MAAM,WAAW,sBAAsB;IACtC,iBAAiB,EAAE,CAClB,MAAM,EAAE,aAAa,EACrB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IACzC,QAAQ,EAAE,CACT,MAAM,EAAE,aAAa,GAAG,aAAa,EACrC,KAAK,EAAE,aAAa,EACpB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAC/B,MAAM,CAAC,EAAE,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IACzC,SAAS,EAAE,CACV,KAAK,EAAE,aAAa,EACpB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAC5B,aAAa,CAAC;IACnB,iBAAiB,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC;CACtD;AAED,eAAO,MAAM,aAAa,EAAE,sBA6C3B,CAAC"}

package/dist/dynamicschema/DynamicSchema.js

@@ -1,38 +1,12 @@
 "use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
 var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.DynamicSchema = void 0;
+exports.DynamicSchema = exports.dynamicSchemaSchema = void 0;
 const ajv_draft_04_1 = __importDefault(require("ajv-draft-04"));
 const ajv_formats_1 = __importDefault(require("ajv-formats"));
-const E = __importStar(require("fp-ts/Either"));
-const O = __importStar(require("fp-ts/Option"));
-const t = __importStar(require("io-ts"));
-const function_1 = require("fp-ts/lib/function");
+const effect_1 = require("effect");
 const deep_copy_ts_1 = require("deep-copy-ts");
 const DynamicType_1 = require("../dynamictype/DynamicType");
 const TypeCodec_1 = require("../codec/TypeCodec");
@@ -60,10 +34,14 @@ const isDynamicSchema = (o) => {
         return false;
     }
 };
-const dynamicSchemaTypeDescriptor = t.brand(DynamicType_1.dynamicObjectTypeDescriptor, (input) => isDynamicSchema(input), 'DynamicSchema');
-const dynamicSchemaTypeCodec = TypeCodec_1.TypeCodec.fromDescriptor(dynamicSchemaTypeDescriptor);
+exports.dynamicSchemaSchema = DynamicType_1.dynamicObjectSchema
+    .pipe(effect_1.Schema.filter(isDynamicSchema, {
+    message: () => 'Not a valid JSON schema',
+}), effect_1.Schema.brand('DynamicSchema'))
+    .annotations({ identifier: 'DynamicSchema' });
+const dynamicSchemaTypeCodec = TypeCodec_1.TypeCodec.fromSchema(exports.dynamicSchemaSchema);
 const preprocessSchema = (schema, strict) => {
-    const hasStrict = O.isSome(strict);
+    const hasStrict = effect_1.Option.isSome(strict);
     delete schema.$schema;
     if (schema.oneOf || schema.anyOf || schema.allOf) {
         const schemas = (schema.oneOf ||
@@ -127,18 +105,17 @@ const createSchema = (value) => {
     return {};
 };
 const createSchemaWithSchemaUrl = (schema, schemaUrl) => {
-    const hasSchemaUrl = O.isSome(schemaUrl);
     const schemaObj = createSchema(schema);
-    schemaObj[schemaProperty] = hasSchemaUrl ? schemaUrl.value : draft04SchemaUrl;
+    schemaObj[schemaProperty] = effect_1.Option.getOrElse(schemaUrl, () => draft04SchemaUrl);
     return schemaObj;
 };
 exports.DynamicSchema = {
-    fromDynamicObject: (schema, strict = O.none) => {
+    fromDynamicObject: (schema, strict = effect_1.Option.none()) => {
         const copiedSchema = (0, deep_copy_ts_1.deepCopy)(schema);
         preprocessSchema(copiedSchema, strict);
-        return (0, function_1.pipe)(dynamicSchemaTypeCodec.decode(copiedSchema), E.mapLeft((e) => new Error(`Failed to create DynamicSchema: ${e}`)));
+        return effect_1.Either.mapLeft(dynamicSchemaTypeCodec.decode(copiedSchema), (e) => new Error(`Failed to create DynamicSchema: ${e}`));
     },
-    validate: (schema, value, strict = O.none, coerce = false) => {
+    validate: (schema, value, strict = effect_1.Option.none(), coerce = false) => {
         const copiedSchema = (0, deep_copy_ts_1.deepCopy)(schema);
         preprocessSchema(copiedSchema, strict);
         const copiedValue = (0, deep_copy_ts_1.deepCopy)(value);
@@ -148,16 +125,16 @@ exports.DynamicSchema = {
             }
             return ajv.compile(copiedSchema);
         });
-        return (0, function_1.pipe)(validateE, E.chain((validate) => {
+        return effect_1.Either.flatMap(validateE, (validate) => {
             if (validate(copiedValue)) {
-                return E.right(copiedValue);
+                return effect_1.Either.right(copiedValue);
             }
             const errorText = ajv
                 .errorsText(validate.errors)
                 .replace(/data\//g, '');
-            return E.left(new Error(errorText));
-        }));
+            return effect_1.Either.left(new Error(errorText));
+        });
     },
-    fromValue: (value, schemaUrl = O.none) => createSchemaWithSchemaUrl(value, schemaUrl),
+    fromValue: (value, schemaUrl = effect_1.Option.none()) => createSchemaWithSchemaUrl(value, schemaUrl),
     isValidJsonSchema: (schema) => isDynamicSchema(schema),
 };

package/dist/dynamicschema/DynamicSchema.unit.test.js

@@ -1,30 +1,6 @@
 "use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-const E = __importStar(require("fp-ts/Either"));
-const O = __importStar(require("fp-ts/Option"));
+const effect_1 = require("effect");
 const DynamicSchema_1 = require("./DynamicSchema");
 describe('DynamicSchema', () => {
     let validSchema;
@@ -166,15 +142,15 @@ describe('DynamicSchema', () => {
     describe('fromDynamicObject', () => {
         it('should return a Right DynamicSchema when given a valid schema object', () => {
             const result = DynamicSchema_1.DynamicSchema.fromDynamicObject(validSchema);
-            expect(E.isRight(result)).toBe(true);
-            if (E.isRight(result)) {
+            expect(effect_1.Either.isRight(result)).toBe(true);
+            if (effect_1.Either.isRight(result)) {
                 expect(result.right).toEqual(validSchema);
             }
         });
         it('should return a Left Error when given an invalid schema object', () => {
             const result = DynamicSchema_1.DynamicSchema.fromDynamicObject(invalidSchema);
-            expect(E.isLeft(result)).toBe(true);
-            if (E.isLeft(result)) {
+            expect(effect_1.Either.isLeft(result)).toBe(true);
+            if (effect_1.Either.isLeft(result)) {
                 expect(result.left).toBeInstanceOf(Error);
                 expect(result.left.message).toContain('Failed to create DynamicSchema:');
             }
@@ -205,8 +181,8 @@ describe('DynamicSchema', () => {
                 },
                 advanced: [],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.none);
-            expect(actualSchemaE).toEqual(E.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.none());
+            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
         });
         it('should correctly remove empty required arrays and not add additionalProperties when strict is not set', () => {
             const schema = {
@@ -234,8 +210,8 @@ describe('DynamicSchema', () => {
                 },
                 advanced: [],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.none);
-            expect(actualSchemaE).toEqual(E.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.none());
+            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
         });
         it('should correctly keep populated required arrays and not add additionalProperties when strict is not set', () => {
             const schema = {
@@ -264,8 +240,8 @@ describe('DynamicSchema', () => {
                 required: ['age', 'name'],
                 advanced: [],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.none);
-            expect(actualSchemaE).toEqual(E.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.none());
+            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
         });
         it('should correctly remove empty required and add additionalProperties=true to object schema when strict is set', () => {
             const schema = {
@@ -294,8 +270,8 @@ describe('DynamicSchema', () => {
                 advanced: [],
                 additionalProperties: true,
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
-            expect(actualSchemaE).toEqual(E.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
+            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
         });
         it('should correctly add additionalProperties=false to object schema', () => {
             const schema = validSchema;
@@ -335,8 +311,8 @@ describe('DynamicSchema', () => {
                 advanced: [],
                 additionalProperties: false,
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(true));
-            expect(actualSchemaE).toEqual(E.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(true));
+            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
         });
         it('should correctly add additionalProperties=true to complex object schema', () => {
             const schema = {
@@ -402,15 +378,15 @@ describe('DynamicSchema', () => {
                 },
                 additionalProperties: true,
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
-            expect(actualSchemaE).toEqual(E.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
+            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
         });
         it('should skip mutation if there is no object type schema', () => {
             const schema = {
                 type: 'string',
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(true));
-            expect(actualSchemaE).toEqual(E.right(schema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(true));
+            expect(actualSchemaE).toEqual(effect_1.Either.right(schema));
         });
         it('should correctly add additionalProperties=true to oneOf schemas', () => {
             const schema = {
@@ -457,8 +433,8 @@ describe('DynamicSchema', () => {
                     },
                 ],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
-            expect(actualSchemaE).toEqual(E.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
+            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
         });
         it('should correctly add additionalProperties=true to anyOf schemas', () => {
             const schema = {
@@ -505,8 +481,8 @@ describe('DynamicSchema', () => {
                     },
                 ],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
-            expect(actualSchemaE).toEqual(E.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
+            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
         });
         it('should correctly add additionalProperties=true to allOf schemas', () => {
             const schema = {
@@ -553,67 +529,67 @@ describe('DynamicSchema', () => {
                     },
                 ],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
-            expect(actualSchemaE).toEqual(E.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
+            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
         });
     });
     describe('validate', () => {
         it('should return a Right with the value when the value matches the schema', () => {
             const schema = DynamicSchema_1.DynamicSchema.fromDynamicObject(validSchema);
-            if (E.isRight(schema)) {
-                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, value, O.none);
-                expect(E.isRight(result)).toBe(true);
-                if (E.isRight(result)) {
+            if (effect_1.Either.isRight(schema)) {
+                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, value, effect_1.Option.none());
+                expect(effect_1.Either.isRight(result)).toBe(true);
+                if (effect_1.Either.isRight(result)) {
                     expect(result.right).toEqual(value);
                 }
             }
         });
         it('should return a Right with the value when strict is false and value matches the schema', () => {
             const schema = DynamicSchema_1.DynamicSchema.fromDynamicObject(validSchema);
-            if (E.isRight(schema)) {
-                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, value, O.some(true));
-                expect(E.isRight(result)).toBe(true);
-                if (E.isRight(result)) {
+            if (effect_1.Either.isRight(schema)) {
+                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, value, effect_1.Option.some(true));
+                expect(effect_1.Either.isRight(result)).toBe(true);
+                if (effect_1.Either.isRight(result)) {
                     expect(result.right).toEqual(value);
                 }
             }
         });
         it('should return a Right with non extra values when value matches the schema but has extra fields', () => {
             const schema = DynamicSchema_1.DynamicSchema.fromDynamicObject(validSchema);
-            if (E.isRight(schema)) {
-                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, valueWithExtraFields, O.some(true));
-                expect(E.isRight(result)).toBe(true);
-                if (E.isRight(result)) {
+            if (effect_1.Either.isRight(schema)) {
+                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, valueWithExtraFields, effect_1.Option.some(true));
+                expect(effect_1.Either.isRight(result)).toBe(true);
+                if (effect_1.Either.isRight(result)) {
                     expect(result.right).toEqual(value);
                 }
             }
         });
         it('should return a Right with extra values when value matches the schema but has extra fields and strict is false', () => {
             const schema = DynamicSchema_1.DynamicSchema.fromDynamicObject(validSchema);
-            if (E.isRight(schema)) {
-                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, valueWithExtraFields, O.some(false));
-                expect(E.isRight(result)).toBe(true);
-                if (E.isRight(result)) {
+            if (effect_1.Either.isRight(schema)) {
+                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, valueWithExtraFields, effect_1.Option.some(false));
+                expect(effect_1.Either.isRight(result)).toBe(true);
+                if (effect_1.Either.isRight(result)) {
                     expect(result.right).toEqual(valueWithExtraFields);
                 }
             }
         });
         it('should return a Right with when value matches the schema but has coerceable types', () => {
             const schema = DynamicSchema_1.DynamicSchema.fromDynamicObject(validSchema);
-            if (E.isRight(schema)) {
-                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, valueWithCoerceableTypes, O.some(true), true);
-                expect(E.isRight(result)).toBe(true);
-                if (E.isRight(result)) {
+            if (effect_1.Either.isRight(schema)) {
+                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, valueWithCoerceableTypes, effect_1.Option.some(true), true);
+                expect(effect_1.Either.isRight(result)).toBe(true);
+                if (effect_1.Either.isRight(result)) {
                     expect(result.right).toEqual(value);
                 }
             }
         });
         it('should return a Left Error when the value does not match the schema', () => {
             const schema = DynamicSchema_1.DynamicSchema.fromDynamicObject(validSchema);
-            if (E.isRight(schema)) {
-                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, invalidValue, O.none);
-                expect(E.isLeft(result)).toBe(true);
-                if (E.isLeft(result)) {
+            if (effect_1.Either.isRight(schema)) {
+                const result = DynamicSchema_1.DynamicSchema.validate(schema.right, invalidValue, effect_1.Option.none());
+                expect(effect_1.Either.isLeft(result)).toBe(true);
+                if (effect_1.Either.isLeft(result)) {
                     expect(result.left).toBeInstanceOf(Error);
                 }
             }
@@ -621,12 +597,12 @@ describe('DynamicSchema', () => {
     });
     describe('fromValue', () => {
         it('should return a Right with the schema when given a valid value object', () => {
-            const result = DynamicSchema_1.DynamicSchema.fromValue(value, O.none);
+            const result = DynamicSchema_1.DynamicSchema.fromValue(value, effect_1.Option.none());
             expect(result).toEqual(validSchemaWithoutExtraFields);
         });
         it('should return a Right with the schema when given a valid value object and a schema url', () => {
             const schemaUrl = 'http://json-schema.org/draft-04/schema#';
-            const result = DynamicSchema_1.DynamicSchema.fromValue(value, O.some(schemaUrl));
+            const result = DynamicSchema_1.DynamicSchema.fromValue(value, effect_1.Option.some(schemaUrl));
             expect(result.$schema).toEqual(schemaUrl);
         });
     });

package/dist/dynamictype/DynamicType.d.ts

@@ -1,36 +1,33 @@
-import * as TE from 'fp-ts/TaskEither';
-import * as E from 'fp-ts/Either';
-import * as O from 'fp-ts/Option';
-import * as t from 'io-ts';
+import { Effect, Either, Option, Schema } from 'effect';
 import { Codec } from '../codec/Codec';
 export type DynamicType = string | number | boolean | null | DynamicObject | DynamicArray;
 export type DynamicObject = {
     [x: string]: DynamicType;
 };
 export type DynamicArray = Array<DynamicType>;
+export declare const dynamicTypeSchema: Schema.Schema<DynamicType>;
+export declare const dynamicObjectSchema: Schema.Schema<DynamicObject>;
+export declare const dynamicArraySchema: Schema.Schema<DynamicArray>;
 export interface DynamicObjectInterface {
-    fromBase64String: (base64Str: string) => E.Either<Error, DynamicObject>;
+    fromBase64String: (base64Str: string) => Either.Either<DynamicObject, Error>;
     removeNullValues: (value: DynamicObject) => DynamicObject;
     isDynamicObject: (value: unknown) => value is DynamicObject;
-    getTypedProperty: <T>(dynamicObject: DynamicObject, name: string, codec: Codec<T>) => O.Option<T>;
-    getObjectProperty: (dynamicObject: DynamicObject, name: string) => O.Option<DynamicObject>;
-    getStringProperty: (dynamicObject: DynamicObject, name: string) => O.Option<string>;
-    getNumberProperty: (dynamicObject: DynamicObject, name: string) => O.Option<number>;
-    getBooleanProperty: (dynamicObject: DynamicObject, name: string) => O.Option<boolean>;
+    getTypedProperty: <T>(dynamicObject: DynamicObject, name: string, codec: Codec<T>) => Option.Option<T>;
+    getObjectProperty: (dynamicObject: DynamicObject, name: string) => Option.Option<DynamicObject>;
+    getStringProperty: (dynamicObject: DynamicObject, name: string) => Option.Option<string>;
+    getNumberProperty: (dynamicObject: DynamicObject, name: string) => Option.Option<number>;
+    getBooleanProperty: (dynamicObject: DynamicObject, name: string) => Option.Option<boolean>;
 }
 export declare const DynamicObject: DynamicObjectInterface;
 export interface DynamicTypeInterface {
-    readFromFile: (path: string) => E.Either<Error, DynamicType>;
-    writeToFile: (path: string, value: DynamicType) => E.Either<Error, undefined>;
-    writeToFileAsync: (path: string, value: DynamicType) => TE.TaskEither<Error, undefined>;
-    safeCast: <T>(dynamicType: DynamicType, codec: Codec<T>) => E.Either<Error, T>;
-    getStringProperty: (dynamicObject: DynamicObject, name: string) => O.Option<string>;
-    getNumberProperty: (dynamicObject: DynamicObject, name: string) => O.Option<number>;
-    getBooleanProperty: (dynamicObject: DynamicObject, name: string) => O.Option<boolean>;
+    readFromFile: (path: string) => Either.Either<DynamicType, Error>;
+    writeToFile: (path: string, value: DynamicType) => Either.Either<undefined, Error>;
+    writeToFileAsync: (path: string, value: DynamicType) => Effect.Effect<undefined, Error>;
+    safeCast: <T>(dynamicType: DynamicType, codec: Codec<T>) => Either.Either<T, Error>;
+    getStringProperty: (dynamicObject: DynamicObject, name: string) => Option.Option<string>;
+    getNumberProperty: (dynamicObject: DynamicObject, name: string) => Option.Option<number>;
+    getBooleanProperty: (dynamicObject: DynamicObject, name: string) => Option.Option<boolean>;
 }
 export declare const DynamicType: DynamicTypeInterface;
-export declare const dynamicTypeDescriptor: t.Type<DynamicType>;
-export declare const dynamicObjectTypeDescriptor: t.Type<DynamicObject>;
-export declare const dynamicArrayTypeDescriptor: t.Type<DynamicArray>;
 export declare const castUndefinedPropertyToNull: (obj: Record<string, any>) => DynamicType;
 //# sourceMappingURL=DynamicType.d.ts.map

package/dist/dynamictype/DynamicType.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DynamicType.d.ts","sourceRoot":"","sources":["../../src/dynamictype/DynamicType.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAGvC,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAElC,OAAO,KAAK,CAAC,MAAM,OAAO,CAAC;AAK3B,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAIvC,MAAM,MAAM,WAAW,GACpB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,aAAa,GACb,YAAY,CAAC;AAEhB,MAAM,MAAM,aAAa,GAAG;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAEzD,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;AAM9C,MAAM,WAAW,sBAAsB;IACtC,gBAAgB,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACxE,gBAAgB,EAAE,CAAC,KAAK,EAAE,aAAa,KAAK,aAAa,CAAC;IAC1D,eAAe,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,aAAa,CAAC;IAC5D,gBAAgB,EAAE,CAAC,CAAC,EACnB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KACX,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACjB,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC7B,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtB,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtB,kBAAkB,EAAE,CACnB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;CACvB;AAED,eAAO,MAAM,aAAa,EAAE,sBAgE3B,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACpC,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC7D,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC9E,gBAAgB,EAAE,CACjB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,WAAW,KACd,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACrC,QAAQ,EAAE,CAAC,CAAC,EACX,WAAW,EAAE,WAAW,EACxB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KACX,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxB,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtB,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtB,kBAAkB,EAAE,CACnB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;CACvB;AAED,eAAO,MAAM,WAAW,EAAE,oBAqDzB,CAAC;AAEF,eAAO,MAAM,qBAAqB,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAWrD,CAAC;AAEF,eAAO,MAAM,2BAA2B,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa,CAG7D,CAAC;AAEF,eAAO,MAAM,0BAA0B,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAG3D,CAAC;AAEF,eAAO,MAAM,2BAA2B,QAClC,OAAO,MAAM,EAAE,GAAG,CAAC,KACtB,WAUF,CAAC"}
+{"version":3,"file":"DynamicType.d.ts","sourceRoot":"","sources":["../../src/dynamictype/DynamicType.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAIxD,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAKvC,MAAM,MAAM,WAAW,GACpB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,aAAa,GACb,YAAY,CAAC;AAEhB,MAAM,MAAM,aAAa,GAAG;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAEzD,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;AAE9C,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAOb,CAAC;AAE7C,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAKf,CAAC;AAE/C,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAId,CAAC;AAkB9C,MAAM,WAAW,sBAAsB;IACtC,gBAAgB,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IAC7E,gBAAgB,EAAE,CAAC,KAAK,EAAE,aAAa,KAAK,aAAa,CAAC;IAC1D,eAAe,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,aAAa,CAAC;IAC5D,gBAAgB,EAAE,CAAC,CAAC,EACnB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KACX,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtB,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAClC,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3B,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3B,kBAAkB,EAAE,CACnB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;CAC5B;AAED,eAAO,MAAM,aAAa,EAAE,sBAmC3B,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACpC,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAClE,WAAW,EAAE,CACZ,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,WAAW,KACd,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACrC,gBAAgB,EAAE,CACjB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,WAAW,KACd,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACrC,QAAQ,EAAE,CAAC,CAAC,EACX,WAAW,EAAE,WAAW,EACxB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KACX,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7B,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3B,iBAAiB,EAAE,CAClB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3B,kBAAkB,EAAE,CACnB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,MAAM,KACR,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;CAC5B;AAED,eAAO,MAAM,WAAW,EAAE,oBA6BzB,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACvC,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,KACtB,WAUF,CAAC"}

package/dist/dynamictype/DynamicType.js

@@ -15,58 +15,71 @@ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (
 }) : function(o, v) {
     o["default"] = v;
 });
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.castUndefinedPropertyToNull = exports.dynamicArrayTypeDescriptor = exports.dynamicObjectTypeDescriptor = exports.dynamicTypeDescriptor = exports.DynamicType = exports.DynamicObject = void 0;
-const TE = __importStar(require("fp-ts/TaskEither"));
+exports.castUndefinedPropertyToNull = exports.DynamicType = exports.DynamicObject = exports.dynamicArraySchema = exports.dynamicObjectSchema = exports.dynamicTypeSchema = void 0;
 const fs = __importStar(require("fs"));
 const fse = __importStar(require("fs-extra"));
-const E = __importStar(require("fp-ts/Either"));
-const O = __importStar(require("fp-ts/Option"));
-const function_1 = require("fp-ts/function");
-const t = __importStar(require("io-ts"));
+const effect_1 = require("effect");
 const Base64_1 = require("../base64/Base64");
 const JsonSerialization_1 = require("../serialization/JsonSerialization");
 const Try_1 = require("../try/Try");
 const RemoveNullValuesCodec_1 = require("../codec/RemoveNullValuesCodec");
 const TypeCodec_1 = require("../codec/TypeCodec");
+const Error_1 = require("../error/Error");
+exports.dynamicTypeSchema = effect_1.Schema.Union(effect_1.Schema.String, effect_1.Schema.Number, effect_1.Schema.Boolean, effect_1.Schema.Null, effect_1.Schema.suspend(() => exports.dynamicObjectSchema), effect_1.Schema.suspend(() => exports.dynamicArraySchema)).annotations({ identifier: 'DynamicType' });
+exports.dynamicObjectSchema = effect_1.Schema.mutable(effect_1.Schema.Record({
+    key: effect_1.Schema.String,
+    value: effect_1.Schema.suspend(() => exports.dynamicTypeSchema),
+})).annotations({ identifier: 'DynamicObject' });
+exports.dynamicArraySchema = effect_1.Schema.mutable(effect_1.Schema.Array(effect_1.Schema.suspend(() => exports.dynamicTypeSchema))).annotations({ identifier: 'DynamicArray' });
 const serializer = new JsonSerialization_1.JsonSerialization();
 const testRemoveNullValuesCodec = RemoveNullValuesCodec_1.RemoveNullValuesCodec.instance;
+const isDynamicObject = effect_1.Schema.is(exports.dynamicObjectSchema);
+const propertyOfType = (typeName) => (dynamicObject, name) => {
+    const property = dynamicObject[name];
+    return typeof property === typeName
+        ? effect_1.Option.some(property)
+        : effect_1.Option.none();
+};
 exports.DynamicObject = {
-    fromBase64String: (base64Str) => (0, function_1.pipe)(Base64_1.Base64.fromBase64String(base64Str), E.map((base64) => Base64_1.Base64.decodeBinary(base64)), E.chain((decoded) => serializer.deserialize(decoded)), E.map((decoded) => decoded)),
+    fromBase64String: (base64Str) => effect_1.Either.map(effect_1.Either.flatMap(effect_1.Either.map(Base64_1.Base64.fromBase64String(base64Str), (base64) => Base64_1.Base64.decodeBinary(base64)), (decoded) => serializer.deserialize(decoded)), (decoded) => decoded),
     removeNullValues: (value) => testRemoveNullValuesCodec.encode(value),
-    isDynamicObject: (value) => exports.dynamicObjectTypeDescriptor.is(value),
-    getTypedProperty: (dynamicObject, name, codec) => (0, function_1.pipe)((0, function_1.pipe)(O.fromNullable(dynamicObject[name]), O.chain((property) => O.fromEither(exports.DynamicType.safeCast(property, codec))))),
-    getObjectProperty: (dynamicObject, name) => exports.DynamicObject.getTypedProperty(dynamicObject, name, TypeCodec_1.TypeCodec.fromDescriptor(exports.dynamicObjectTypeDescriptor)),
-    getStringProperty: (dynamicObject, name) => (0, function_1.pipe)(O.fromNullable(dynamicObject[name]), O.chain((property) => typeof property === 'string' ? O.some(property) : O.none)),
-    getNumberProperty: (dynamicObject, name) => (0, function_1.pipe)(O.fromNullable(dynamicObject[name]), O.chain((property) => typeof property === 'number' ? O.some(property) : O.none)),
-    getBooleanProperty: (dynamicObject, name) => (0, function_1.pipe)(O.fromNullable(dynamicObject[name]), O.chain((property) => typeof property === 'boolean' ? O.some(property) : O.none)),
+    isDynamicObject: (value) => isDynamicObject(value),
+    getTypedProperty: (dynamicObject, name, codec) => effect_1.Option.flatMap(effect_1.Option.fromNullable(dynamicObject[name]), (property) => effect_1.Option.getRight(exports.DynamicType.safeCast(property, codec))),
+    getObjectProperty: (dynamicObject, name) => exports.DynamicObject.getTypedProperty(dynamicObject, name, TypeCodec_1.TypeCodec.fromSchema(exports.dynamicObjectSchema)),
+    getStringProperty: propertyOfType('string'),
+    getNumberProperty: propertyOfType('number'),
+    getBooleanProperty: propertyOfType('boolean'),
 };
 exports.DynamicType = {
     readFromFile: (path) => (0, Try_1.tryToEither)(() => JSON.parse(fs.readFileSync(path, 'utf8'))),
-    writeToFile: (path, value) => (0, function_1.pipe)((0, Try_1.tryToEither)(() => fs.writeFileSync(path, JSON.stringify(value))), E.map(() => undefined)),
-    writeToFileAsync: (path, value) => (0, function_1.pipe)(TE.tryCatch(() => fse.writeFile(path, JSON.stringify(value)), (err) => new Error(err.message)), TE.map(() => undefined)),
+    writeToFile: (path, value) => effect_1.Either.map((0, Try_1.tryToEither)(() => fs.writeFileSync(path, JSON.stringify(value))), () => undefined),
+    writeToFileAsync: (path, value) => effect_1.Effect.map(effect_1.Effect.tryPromise({
+        try: () => fse.writeFile(path, JSON.stringify(value)),
+        catch: Error_1.castError,
+    }), () => undefined),
     safeCast: (dynamicType, codec) => codec.decode(dynamicType),
-    getStringProperty: (dynamicObject, name) => (0, function_1.pipe)(O.fromNullable(dynamicObject[name]), O.chain((property) => typeof property === 'string' ? O.some(property) : O.none)),
-    getNumberProperty: (dynamicObject, name) => (0, function_1.pipe)(O.fromNullable(dynamicObject[name]), O.chain((property) => typeof property === 'number' ? O.some(property) : O.none)),
-    getBooleanProperty: (dynamicObject, name) => (0, function_1.pipe)(O.fromNullable(dynamicObject[name]), O.chain((property) => typeof property === 'boolean' ? O.some(property) : O.none)),
+    getStringProperty: propertyOfType('string'),
+    getNumberProperty: propertyOfType('number'),
+    getBooleanProperty: propertyOfType('boolean'),
 };
-exports.dynamicTypeDescriptor = t.recursion('DynamicType', () => t.union([
-    t.string,
-    t.number,
-    t.boolean,
-    t.null,
-    exports.dynamicObjectTypeDescriptor,
-    exports.dynamicArrayTypeDescriptor,
-]));
-exports.dynamicObjectTypeDescriptor = t.recursion('DynamicObject', () => t.record(t.string, exports.dynamicTypeDescriptor));
-exports.dynamicArrayTypeDescriptor = t.recursion('DynamicArray', () => t.array(exports.dynamicTypeDescriptor));
 const castUndefinedPropertyToNull = (obj) => {
     if (obj === undefined) {
         return null;

package/dist/effect/EffectExtensions.d.ts

@@ -0,0 +1,29 @@
+import { Effect, Either } from 'effect';
+/**
+ * Small helpers on top of Effect for the patterns the codebase used with fp-ts Task / TaskEither.
+ * Everything here is plain Effect; nothing requires a runtime layer.
+ */
+export interface EffectExtensionsInterface {
+    /** Wraps a promise-returning block; any rejection becomes an `Error` (strings and objects are coerced). */
+    tryPromiseWithSimpleError: <T>(block: () => Promise<T>) => Effect.Effect<T, Error>;
+    /** Wraps a synchronous block; anything thrown becomes an `Error`. */
+    tryWithSimpleError: <T>(block: () => T) => Effect.Effect<T, Error>;
+    /**
+     * Runs the effect. A typed failure rejects with the failure value itself and a defect rejects with the
+     * thrown value, so callers see the same errors they would have seen from the equivalent promise code.
+     */
+    runToPromise: <T, E>(effect: Effect.Effect<T, E>) => Promise<T>;
+    /** Recovers from both typed failures and defects with a plain value. */
+    recover: <T, E>(effect: Effect.Effect<T, E>, onError: (error: Error) => T) => Effect.Effect<T>;
+    /**
+     * Runs `first`, then feeds each result to `next`: a Right continues the loop with the returned effect,
+     * a Left ends it with the final result.
+     *
+     * Left means "stop", not "error": the loop reuses `Either` as a two-way control-flow signal, the same
+     * convention as `Effect.loop`/`Effect.iterate`'s predecessors in fp-ts (`chainRec`). Failures travel in the
+     * effect's error channel as usual.
+     */
+    loop: <Interstitial, Final, E>(first: Effect.Effect<Interstitial, E>, next: (result: Interstitial) => Either.Either<Effect.Effect<Interstitial, E>, Final>) => Effect.Effect<Final, E>;
+}
+export declare const EffectExtensions: EffectExtensionsInterface;
+//# sourceMappingURL=EffectExtensions.d.ts.map

package/dist/effect/EffectExtensions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EffectExtensions.d.ts","sourceRoot":"","sources":["../../src/effect/EffectExtensions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAE,MAAM,EAAQ,MAAM,QAAQ,CAAC;AAGrD;;;GAGG;AACH,MAAM,WAAW,yBAAyB;IACzC,2GAA2G;IAC3G,yBAAyB,EAAE,CAAC,CAAC,EAC5B,KAAK,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,KACnB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7B,qEAAqE;IACrE,kBAAkB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACnE;;;OAGG;IACH,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IAChE,wEAAwE;IACxE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EACb,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3B,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,CAAC,KACxB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtB;;;;;;;OAOG;IACH,IAAI,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,CAAC,EAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,EACrC,IAAI,EAAE,CACL,MAAM,EAAE,YAAY,KAChB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,KACrD,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC7B;AAED,eAAO,MAAM,gBAAgB,EAAE,yBA4C9B,CAAC"}