@trayio/commons 5.35.0-unstable.fd7158a → 6.0.0

package/dist/dynamicschema/DynamicSchema.d.ts

@@ -1,12 +1,18 @@
-import { Either, Option, Schema } from 'effect';
+import * as E from 'fp-ts/Either';
+import * as O from 'fp-ts/Option';
+import * as t from 'io-ts';
 import { DynamicObject } from '../dynamictype/DynamicType';
-export declare const dynamicSchemaSchema: Schema.brand<Schema.filter<Schema.Schema<DynamicObject, DynamicObject, never>>, "DynamicSchema">;
-export type DynamicSchema = typeof dynamicSchemaSchema.Type;
+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 interface DynamicSchemaInterface {
-    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;
+    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;
     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,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"}
+{"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"}

package/dist/dynamicschema/DynamicSchema.js

@@ -1,12 +1,38 @@
 "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 = exports.dynamicSchemaSchema = void 0;
+exports.DynamicSchema = void 0;
 const ajv_draft_04_1 = __importDefault(require("ajv-draft-04"));
 const ajv_formats_1 = __importDefault(require("ajv-formats"));
-const effect_1 = require("effect");
+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 deep_copy_ts_1 = require("deep-copy-ts");
 const DynamicType_1 = require("../dynamictype/DynamicType");
 const TypeCodec_1 = require("../codec/TypeCodec");
@@ -34,14 +60,10 @@ const isDynamicSchema = (o) => {
         return false;
     }
 };
-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 dynamicSchemaTypeDescriptor = t.brand(DynamicType_1.dynamicObjectTypeDescriptor, (input) => isDynamicSchema(input), 'DynamicSchema');
+const dynamicSchemaTypeCodec = TypeCodec_1.TypeCodec.fromDescriptor(dynamicSchemaTypeDescriptor);
 const preprocessSchema = (schema, strict) => {
-    const hasStrict = effect_1.Option.isSome(strict);
+    const hasStrict = O.isSome(strict);
     delete schema.$schema;
     if (schema.oneOf || schema.anyOf || schema.allOf) {
         const schemas = (schema.oneOf ||
@@ -105,17 +127,18 @@ const createSchema = (value) => {
     return {};
 };
 const createSchemaWithSchemaUrl = (schema, schemaUrl) => {
+    const hasSchemaUrl = O.isSome(schemaUrl);
     const schemaObj = createSchema(schema);
-    schemaObj[schemaProperty] = effect_1.Option.getOrElse(schemaUrl, () => draft04SchemaUrl);
+    schemaObj[schemaProperty] = hasSchemaUrl ? schemaUrl.value : draft04SchemaUrl;
     return schemaObj;
 };
 exports.DynamicSchema = {
-    fromDynamicObject: (schema, strict = effect_1.Option.none()) => {
+    fromDynamicObject: (schema, strict = O.none) => {
         const copiedSchema = (0, deep_copy_ts_1.deepCopy)(schema);
         preprocessSchema(copiedSchema, strict);
-        return effect_1.Either.mapLeft(dynamicSchemaTypeCodec.decode(copiedSchema), (e) => new Error(`Failed to create DynamicSchema: ${e}`));
+        return (0, function_1.pipe)(dynamicSchemaTypeCodec.decode(copiedSchema), E.mapLeft((e) => new Error(`Failed to create DynamicSchema: ${e}`)));
     },
-    validate: (schema, value, strict = effect_1.Option.none(), coerce = false) => {
+    validate: (schema, value, strict = O.none, coerce = false) => {
         const copiedSchema = (0, deep_copy_ts_1.deepCopy)(schema);
         preprocessSchema(copiedSchema, strict);
         const copiedValue = (0, deep_copy_ts_1.deepCopy)(value);
@@ -125,16 +148,16 @@ exports.DynamicSchema = {
             }
             return ajv.compile(copiedSchema);
         });
-        return effect_1.Either.flatMap(validateE, (validate) => {
+        return (0, function_1.pipe)(validateE, E.chain((validate) => {
             if (validate(copiedValue)) {
-                return effect_1.Either.right(copiedValue);
+                return E.right(copiedValue);
             }
             const errorText = ajv
                 .errorsText(validate.errors)
                 .replace(/data\//g, '');
-            return effect_1.Either.left(new Error(errorText));
-        });
+            return E.left(new Error(errorText));
+        }));
     },
-    fromValue: (value, schemaUrl = effect_1.Option.none()) => createSchemaWithSchemaUrl(value, schemaUrl),
+    fromValue: (value, schemaUrl = O.none) => createSchemaWithSchemaUrl(value, schemaUrl),
     isValidJsonSchema: (schema) => isDynamicSchema(schema),
 };

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

@@ -1,6 +1,30 @@
 "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 effect_1 = require("effect");
+const E = __importStar(require("fp-ts/Either"));
+const O = __importStar(require("fp-ts/Option"));
 const DynamicSchema_1 = require("./DynamicSchema");
 describe('DynamicSchema', () => {
     let validSchema;
@@ -142,15 +166,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(effect_1.Either.isRight(result)).toBe(true);
-            if (effect_1.Either.isRight(result)) {
+            expect(E.isRight(result)).toBe(true);
+            if (E.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(effect_1.Either.isLeft(result)).toBe(true);
-            if (effect_1.Either.isLeft(result)) {
+            expect(E.isLeft(result)).toBe(true);
+            if (E.isLeft(result)) {
                 expect(result.left).toBeInstanceOf(Error);
                 expect(result.left.message).toContain('Failed to create DynamicSchema:');
             }
@@ -181,8 +205,8 @@ describe('DynamicSchema', () => {
                 },
                 advanced: [],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.none());
-            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.none);
+            expect(actualSchemaE).toEqual(E.right(expectedSchema));
         });
         it('should correctly remove empty required arrays and not add additionalProperties when strict is not set', () => {
             const schema = {
@@ -210,8 +234,8 @@ describe('DynamicSchema', () => {
                 },
                 advanced: [],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.none());
-            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.none);
+            expect(actualSchemaE).toEqual(E.right(expectedSchema));
         });
         it('should correctly keep populated required arrays and not add additionalProperties when strict is not set', () => {
             const schema = {
@@ -240,8 +264,8 @@ describe('DynamicSchema', () => {
                 required: ['age', 'name'],
                 advanced: [],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.none());
-            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.none);
+            expect(actualSchemaE).toEqual(E.right(expectedSchema));
         });
         it('should correctly remove empty required and add additionalProperties=true to object schema when strict is set', () => {
             const schema = {
@@ -270,8 +294,8 @@ describe('DynamicSchema', () => {
                 advanced: [],
                 additionalProperties: true,
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
-            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
+            expect(actualSchemaE).toEqual(E.right(expectedSchema));
         });
         it('should correctly add additionalProperties=false to object schema', () => {
             const schema = validSchema;
@@ -311,8 +335,8 @@ describe('DynamicSchema', () => {
                 advanced: [],
                 additionalProperties: false,
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(true));
-            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(true));
+            expect(actualSchemaE).toEqual(E.right(expectedSchema));
         });
         it('should correctly add additionalProperties=true to complex object schema', () => {
             const schema = {
@@ -378,15 +402,15 @@ describe('DynamicSchema', () => {
                 },
                 additionalProperties: true,
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
-            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
+            expect(actualSchemaE).toEqual(E.right(expectedSchema));
         });
         it('should skip mutation if there is no object type schema', () => {
             const schema = {
                 type: 'string',
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(true));
-            expect(actualSchemaE).toEqual(effect_1.Either.right(schema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(true));
+            expect(actualSchemaE).toEqual(E.right(schema));
         });
         it('should correctly add additionalProperties=true to oneOf schemas', () => {
             const schema = {
@@ -433,8 +457,8 @@ describe('DynamicSchema', () => {
                     },
                 ],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
-            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
+            expect(actualSchemaE).toEqual(E.right(expectedSchema));
         });
         it('should correctly add additionalProperties=true to anyOf schemas', () => {
             const schema = {
@@ -481,8 +505,8 @@ describe('DynamicSchema', () => {
                     },
                 ],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
-            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
+            expect(actualSchemaE).toEqual(E.right(expectedSchema));
         });
         it('should correctly add additionalProperties=true to allOf schemas', () => {
             const schema = {
@@ -529,67 +553,67 @@ describe('DynamicSchema', () => {
                     },
                 ],
             };
-            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, effect_1.Option.some(false));
-            expect(actualSchemaE).toEqual(effect_1.Either.right(expectedSchema));
+            const actualSchemaE = DynamicSchema_1.DynamicSchema.fromDynamicObject(schema, O.some(false));
+            expect(actualSchemaE).toEqual(E.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 (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)) {
+            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)) {
                     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 (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)) {
+            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)) {
                     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 (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)) {
+            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)) {
                     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 (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)) {
+            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)) {
                     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 (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)) {
+            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)) {
                     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 (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)) {
+            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)) {
                     expect(result.left).toBeInstanceOf(Error);
                 }
             }
@@ -597,12 +621,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, effect_1.Option.none());
+            const result = DynamicSchema_1.DynamicSchema.fromValue(value, O.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, effect_1.Option.some(schemaUrl));
+            const result = DynamicSchema_1.DynamicSchema.fromValue(value, O.some(schemaUrl));
             expect(result.$schema).toEqual(schemaUrl);
         });
     });

package/dist/dynamictype/DynamicType.d.ts

@@ -1,33 +1,36 @@
-import { Effect, Either, Option, Schema } from 'effect';
+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 { 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) => Either.Either<DynamicObject, Error>;
+    fromBase64String: (base64Str: string) => E.Either<Error, DynamicObject>;
     removeNullValues: (value: DynamicObject) => DynamicObject;
     isDynamicObject: (value: unknown) => value is DynamicObject;
-    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>;
+    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>;
 }
 export declare const DynamicObject: DynamicObjectInterface;
 export interface DynamicTypeInterface {
-    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>;
+    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>;
 }
 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":"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"}
+{"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"}

package/dist/dynamictype/DynamicType.js

@@ -15,71 +15,58 @@ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (
 }) : function(o, v) {
     o["default"] = v;
 });
-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;
-    };
-})();
+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 });
-exports.castUndefinedPropertyToNull = exports.DynamicType = exports.DynamicObject = exports.dynamicArraySchema = exports.dynamicObjectSchema = exports.dynamicTypeSchema = void 0;
+exports.castUndefinedPropertyToNull = exports.dynamicArrayTypeDescriptor = exports.dynamicObjectTypeDescriptor = exports.dynamicTypeDescriptor = exports.DynamicType = exports.DynamicObject = void 0;
+const TE = __importStar(require("fp-ts/TaskEither"));
 const fs = __importStar(require("fs"));
 const fse = __importStar(require("fs-extra"));
-const effect_1 = require("effect");
+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 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) => 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),
+    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)),
     removeNullValues: (value) => testRemoveNullValuesCodec.encode(value),
-    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'),
+    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)),
 };
 exports.DynamicType = {
     readFromFile: (path) => (0, Try_1.tryToEither)(() => JSON.parse(fs.readFileSync(path, 'utf8'))),
-    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),
+    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)),
     safeCast: (dynamicType, codec) => codec.decode(dynamicType),
-    getStringProperty: propertyOfType('string'),
-    getNumberProperty: propertyOfType('number'),
-    getBooleanProperty: propertyOfType('boolean'),
+    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)),
 };
+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/file/FakeFileStorage.d.ts

@@ -1,14 +1,14 @@
-import { Effect } from 'effect';
+import * as TE from 'fp-ts/TaskEither';
 import { File, FileStorage, SharedUrl } from './File';
 export declare class FakeFileStorage implements FileStorage {
     files: Map<string, File>;
     constructor();
-    write(file: File): Effect.Effect<File, Error>;
-    read(fileName: string): Effect.Effect<File, Error>;
-    delete(fileName: string): Effect.Effect<undefined, Error>;
-    getSharedUrl(key: string): Effect.Effect<SharedUrl, Error>;
-    getSize(key: string): Effect.Effect<number, Error>;
-    createDirectory(key: string): Effect.Effect<undefined, Error>;
-    deleteDirectory(key: string): Effect.Effect<undefined, Error>;
+    write(file: File): TE.TaskEither<Error, File>;
+    read(fileName: string): TE.TaskEither<Error, File>;
+    delete(fileName: string): TE.TaskEither<Error, undefined>;
+    getSharedUrl(key: string): TE.TaskEither<Error, SharedUrl>;
+    getSize(key: string): TE.TaskEither<Error, number>;
+    createDirectory(key: string): TE.TaskEither<Error, undefined>;
+    deleteDirectory(key: string): TE.TaskEither<Error, undefined>;
 }
 //# sourceMappingURL=FakeFileStorage.d.ts.map

package/dist/file/FakeFileStorage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FakeFileStorage.d.ts","sourceRoot":"","sources":["../../src/file/FakeFileStorage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAQtD,qBAAa,eAAgB,YAAW,WAAW;IAClD,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;;IAMzB,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;IAO7C,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;IAUlD,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC;IAOzD,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC;IAI1D,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;IAOlD,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC;IAgB7D,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC;CAM7D"}
+{"version":3,"file":"FakeFileStorage.d.ts","sourceRoot":"","sources":["../../src/file/FakeFileStorage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAIvC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAEtD,qBAAa,eAAgB,YAAW,WAAW;IAClD,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;;IAMzB,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC;IAY7C,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC;IAkBlD,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC;IAYzD,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC;IAI1D,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC;IAUlD,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC;IAoB7D,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC;CAW7D"}