@nfdi4plants/arctrl 1.0.7 → 1.2.0

package/ISA/ISA.Json/Data.js

@@ -1,59 +1,62 @@
+import { ErrorReason$1, Json } from "../../fable_modules/Thoth.Json.Core.0.2.1/Types.fs.js";
+import { list as list_2, string } from "../../fable_modules/Thoth.Json.Core.0.2.1/Decode.fs.js";
+import { FSharpResult$2 } from "../../fable_modules/fable-library-js.4.13.0/Result.js";
 import { DataFile } from "../ISA/JsonTypes/DataFile.js";
-import { toString, object as object_10, nil } from "../../fable_modules/Thoth.Json.10.1.0/Encode.fs.js";
-import { list as list_1, object as object_11, string } from "../../fable_modules/Thoth.Json.10.1.0/Decode.fs.js";
-import { FSharpResult$2 } from "../../fable_modules/fable-library.4.5.0/Choice.js";
-import { ErrorReason } from "../../fable_modules/Thoth.Json.10.1.0/Types.fs.js";
+import { printf, toText, replace } from "../../fable_modules/fable-library-js.4.13.0/String.js";
 import { URIModule_toString } from "../ISA/JsonTypes/URI.js";
-import { ofArray, choose } from "../../fable_modules/fable-library.4.5.0/List.js";
-import { uncurry2, equals } from "../../fable_modules/fable-library.4.5.0/Util.js";
-import { empty, singleton, append, delay, toList } from "../../fable_modules/fable-library.4.5.0/Seq.js";
-import { ConverterOptions__set_IncludeType_Z1FBCCD16, ConverterOptions__set_SetID_Z1FBCCD16, ConverterOptions_$ctor, ConverterOptions__get_IncludeType, ConverterOptions__get_SetID } from "./ConverterOptions.js";
-import { tryInclude } from "./GEncode.js";
-import { decoder as decoder_3, encoder } from "./Comment.js";
-import { fromJsonString, uri, hasUnknownFields } from "./Decode.js";
+import { ofArray, choose } from "../../fable_modules/fable-library-js.4.13.0/List.js";
+import { equals } from "../../fable_modules/fable-library-js.4.13.0/Util.js";
+import { empty, singleton, append, delay, toList } from "../../fable_modules/fable-library-js.4.13.0/Seq.js";
+import { ConverterOptions__set_IncludeContext_Z1FBCCD16, ConverterOptions__set_IncludeType_Z1FBCCD16, ConverterOptions__set_SetID_Z1FBCCD16, ConverterOptions_$ctor, ConverterOptions__get_IncludeContext, ConverterOptions__get_IncludeType, ConverterOptions__get_SetID } from "./ConverterOptions.js";
+import { tryIncludeList, tryInclude } from "./GEncode.js";
+import { list as list_1 } from "../../fable_modules/Thoth.Json.Core.0.2.1/Encode.fs.js";
+import { decoder as decoder_1, encoder } from "./Comment.js";
+import { context_jsonvalue } from "./context/rocrate/isa_data_context.js";
+import { uri, object } from "./Decode.js";
 import { Data } from "../ISA/JsonTypes/Data.js";
-import { replace } from "../../fable_modules/fable-library.4.5.0/String.js";
+import { fromString } from "../../fable_modules/Thoth.Json.JavaScript.0.1.0/Decode.fs.js";
+import { toString } from "../../fable_modules/Thoth.Json.JavaScript.0.1.0/Encode.fs.js";
 import { MaterialAttributeValue_decoder, MaterialAttributeValue_encoder } from "./Material.js";
+import { context_jsonvalue as context_jsonvalue_1 } from "./context/rocrate/isa_source_context.js";
 import { Source } from "../ISA/JsonTypes/Source.js";
 import { FactorValue_decoder, FactorValue_encoder } from "./Factor.js";
+import { context_jsonvalue as context_jsonvalue_2 } from "./context/rocrate/isa_sample_context.js";
 import { Sample } from "../ISA/JsonTypes/Sample.js";
 
 export function DataFile_encoder(options, value) {
-    if (value instanceof DataFile) {
-        if (value.tag === 1) {
-            return "Derived Data File";
-        }
-        else if (value.tag === 2) {
-            return "Image File";
-        }
-        else {
-            return "Raw Data File";
-        }
-    }
-    else {
-        return nil;
-    }
-}
-
-export function DataFile_decoder(options, s, json) {
-    const matchValue = string(s, json);
-    if (matchValue.tag === 1) {
-        return new FSharpResult$2(1, [matchValue.fields[0]]);
-    }
-    else {
-        switch (matchValue.fields[0]) {
-            case "Raw Data File":
-                return new FSharpResult$2(0, [new DataFile(0, [])]);
-            case "Derived Data File":
-                return new FSharpResult$2(0, [new DataFile(1, [])]);
-            case "Image File":
-                return new FSharpResult$2(0, [new DataFile(2, [])]);
-            default: {
-                const s_1 = matchValue.fields[0];
-                return new FSharpResult$2(1, [[`Could not parse ${s_1}.`, new ErrorReason(0, [s_1, nil])]]);
+    switch (value.tag) {
+        case 1:
+            return new Json(0, ["Derived Data File"]);
+        case 2:
+            return new Json(0, ["Image File"]);
+        default:
+            return new Json(0, ["Raw Data File"]);
+    }
+}
+
+export function DataFile_decoder(options) {
+    return {
+        Decode(s, json) {
+            const matchValue = string.Decode(s, json);
+            if (matchValue.tag === 1) {
+                return new FSharpResult$2(1, [matchValue.fields[0]]);
             }
-        }
-    }
+            else {
+                switch (matchValue.fields[0]) {
+                    case "Raw Data File":
+                        return new FSharpResult$2(0, [new DataFile(0, [])]);
+                    case "Derived Data File":
+                        return new FSharpResult$2(0, [new DataFile(1, [])]);
+                    case "Image File":
+                        return new FSharpResult$2(0, [new DataFile(2, [])]);
+                    default: {
+                        const s_1 = matchValue.fields[0];
+                        return new FSharpResult$2(1, [[`Could not parse ${s_1}.`, new ErrorReason$1(0, [s_1, json])]]);
+                    }
+                }
+            }
+        },
+    };
 }
 
 export function Data_genID(d) {
@@ -64,7 +67,7 @@ export function Data_genID(d) {
             return "#EmptyData";
         }
         else {
-            return matchValue_1;
+            return replace(matchValue_1, " ", "_");
         }
     }
     else {
@@ -73,46 +76,34 @@ export function Data_genID(d) {
 }
 
 export function Data_encoder(options, oa) {
-    return object_10(choose((tupledArg) => {
+    return new Json(5, [choose((tupledArg) => {
         const v = tupledArg[1];
-        if (equals(v, nil)) {
+        if (equals(v, new Json(3, []))) {
             return void 0;
         }
         else {
             return [tupledArg[0], v];
         }
-    }, toList(delay(() => {
-        let value, s;
-        return append(ConverterOptions__get_SetID(options) ? singleton(["@id", (value = Data_genID(oa), (typeof value === "string") ? ((s = value, s)) : nil)]) : singleton(tryInclude("@id", (value_2) => {
-            let s_1;
-            const value_3 = value_2;
-            return (typeof value_3 === "string") ? ((s_1 = value_3, s_1)) : nil;
-        }, oa["ID"])), delay(() => {
-            let value_5, s_2;
-            return append(ConverterOptions__get_IncludeType(options) ? singleton(["@type", (value_5 = "Data", (typeof value_5 === "string") ? ((s_2 = value_5, s_2)) : nil)]) : empty(), delay(() => append(singleton(tryInclude("name", (value_7) => {
-                let s_3;
-                const value_8 = value_7;
-                return (typeof value_8 === "string") ? ((s_3 = value_8, s_3)) : nil;
-            }, oa["Name"])), delay(() => append(singleton(tryInclude("type", (value_10) => DataFile_encoder(options, value_10), oa["DataType"])), delay(() => singleton(tryInclude("comments", (comment) => encoder(options, comment), oa["Comments"]))))))));
-        }));
-    }))));
+    }, toList(delay(() => append(ConverterOptions__get_SetID(options) ? singleton(["@id", new Json(0, [Data_genID(oa)])]) : singleton(tryInclude("@id", (value_1) => (new Json(0, [value_1])), oa.ID)), delay(() => append(ConverterOptions__get_IncludeType(options) ? singleton(["@type", list_1(ofArray([new Json(0, ["Data"]), new Json(0, ["ArcData"])]))]) : empty(), delay(() => append(singleton(tryInclude("name", (value_5) => (new Json(0, [value_5])), oa.Name)), delay(() => append(singleton(tryInclude("type", (value_7) => DataFile_encoder(options, value_7), oa.DataType)), delay(() => append(singleton(tryIncludeList("comments", (comment) => encoder(options, comment), oa.Comments)), delay(() => (ConverterOptions__get_IncludeContext(options) ? singleton(["@context", context_jsonvalue]) : empty()))))))))))))))]);
 }
 
-export function Data_decoder(options, s, json) {
-    if (hasUnknownFields(ofArray(["@id", "name", "type", "comments", "@type"]), json)) {
-        return new FSharpResult$2(1, [["Unknown fields in Data", new ErrorReason(0, [s, nil])]]);
-    }
-    else {
-        return object_11((get$) => {
-            let objectArg, objectArg_1, objectArg_2, arg_7, decoder, objectArg_3;
-            return new Data((objectArg = get$.Optional, objectArg.Field("@id", uri)), (objectArg_1 = get$.Optional, objectArg_1.Field("name", string)), (objectArg_2 = get$.Optional, objectArg_2.Field("type", (s_2, json_2) => DataFile_decoder(options, s_2, json_2))), (arg_7 = ((decoder = decoder_3(options), (path_1) => ((value_1) => list_1(uncurry2(decoder), path_1, value_1)))), (objectArg_3 = get$.Optional, objectArg_3.Field("comments", uncurry2(arg_7)))));
-        }, s, json);
-    }
+export const Data_allowedFields = ofArray(["@id", "name", "type", "comments", "@type", "@context"]);
+
+export function Data_decoder(options) {
+    return object(Data_allowedFields, (get$) => {
+        let objectArg, objectArg_1, arg_5, objectArg_2, arg_7, objectArg_3;
+        return new Data((objectArg = get$.Optional, objectArg.Field("@id", uri)), (objectArg_1 = get$.Optional, objectArg_1.Field("name", string)), (arg_5 = DataFile_decoder(options), (objectArg_2 = get$.Optional, objectArg_2.Field("type", arg_5))), (arg_7 = list_2(decoder_1(options)), (objectArg_3 = get$.Optional, objectArg_3.Field("comments", arg_7))));
+    });
 }
 
 export function Data_fromJsonString(s) {
-    let options;
-    return fromJsonString(uncurry2((options = ConverterOptions_$ctor(), (s_1) => ((json) => Data_decoder(options, s_1, json)))), s);
+    const matchValue = fromString(Data_decoder(ConverterOptions_$ctor()), s);
+    if (matchValue.tag === 1) {
+        throw new Error(toText(printf("Error decoding string: %O"))(matchValue.fields[0]));
+    }
+    else {
+        return matchValue.fields[0];
+    }
 }
 
 export function Data_toJsonString(m) {
@@ -122,11 +113,16 @@ export function Data_toJsonString(m) {
 /**
  * exports in json-ld format
  */
-export function Data_toStringLD(d) {
+export function Data_toJsonldString(d) {
     let returnVal;
     return toString(2, Data_encoder((returnVal = ConverterOptions_$ctor(), ((ConverterOptions__set_SetID_Z1FBCCD16(returnVal, true), ConverterOptions__set_IncludeType_Z1FBCCD16(returnVal, true)), returnVal)), d));
 }
 
+export function Data_toJsonldStringWithContext(a) {
+    let returnVal;
+    return toString(2, Data_encoder((returnVal = ConverterOptions_$ctor(), (((ConverterOptions__set_SetID_Z1FBCCD16(returnVal, true), ConverterOptions__set_IncludeType_Z1FBCCD16(returnVal, true)), ConverterOptions__set_IncludeContext_Z1FBCCD16(returnVal, true)), returnVal)), a));
+}
+
 export function Source_genID(s) {
     const matchValue = s.ID;
     if (matchValue == null) {
@@ -144,46 +140,34 @@ export function Source_genID(s) {
 }
 
 export function Source_encoder(options, oa) {
-    return object_10(choose((tupledArg) => {
+    return new Json(5, [choose((tupledArg) => {
         const v = tupledArg[1];
-        if (equals(v, nil)) {
+        if (equals(v, new Json(3, []))) {
             return void 0;
         }
         else {
             return [tupledArg[0], v];
         }
-    }, toList(delay(() => {
-        let value, s_1;
-        return append(ConverterOptions__get_SetID(options) ? singleton(["@id", (value = Source_genID(oa), (typeof value === "string") ? ((s_1 = value, s_1)) : nil)]) : singleton(tryInclude("@id", (value_2) => {
-            let s_2;
-            const value_3 = value_2;
-            return (typeof value_3 === "string") ? ((s_2 = value_3, s_2)) : nil;
-        }, oa["ID"])), delay(() => {
-            let value_5, s_3;
-            return append(ConverterOptions__get_IncludeType(options) ? singleton(["@type", (value_5 = "Source", (typeof value_5 === "string") ? ((s_3 = value_5, s_3)) : nil)]) : empty(), delay(() => append(singleton(tryInclude("name", (value_7) => {
-                let s_4;
-                const value_8 = value_7;
-                return (typeof value_8 === "string") ? ((s_4 = value_8, s_4)) : nil;
-            }, oa["Name"])), delay(() => singleton(tryInclude("characteristics", (oa_1) => MaterialAttributeValue_encoder(options, oa_1), oa["Characteristics"]))))));
-        }));
-    }))));
+    }, toList(delay(() => append(ConverterOptions__get_SetID(options) ? singleton(["@id", new Json(0, [Source_genID(oa)])]) : singleton(tryInclude("@id", (value_1) => (new Json(0, [value_1])), oa.ID)), delay(() => append(ConverterOptions__get_IncludeType(options) ? singleton(["@type", list_1(ofArray([new Json(0, ["Source"]), new Json(0, ["ArcSource"])]))]) : empty(), delay(() => append(singleton(tryInclude("name", (value_5) => (new Json(0, [value_5])), oa.Name)), delay(() => append(singleton(tryIncludeList("characteristics", (oa_1) => MaterialAttributeValue_encoder(options, oa_1), oa.Characteristics)), delay(() => (ConverterOptions__get_IncludeContext(options) ? singleton(["@context", context_jsonvalue_1]) : empty()))))))))))))]);
 }
 
-export function Source_decoder(options, s, json) {
-    if (hasUnknownFields(ofArray(["@id", "name", "characteristics", "@type"]), json)) {
-        return new FSharpResult$2(1, [["Unknown fields in Source", new ErrorReason(0, [s, nil])]]);
-    }
-    else {
-        return object_11((get$) => {
-            let objectArg, objectArg_1, arg_5, decoder, objectArg_2;
-            return new Source((objectArg = get$.Optional, objectArg.Field("@id", uri)), (objectArg_1 = get$.Optional, objectArg_1.Field("name", string)), (arg_5 = ((decoder = MaterialAttributeValue_decoder(options), (path_1) => ((value_1) => list_1(uncurry2(decoder), path_1, value_1)))), (objectArg_2 = get$.Optional, objectArg_2.Field("characteristics", uncurry2(arg_5)))));
-        }, s, json);
-    }
+export const Source_allowedFields = ofArray(["@id", "name", "characteristics", "@type", "@context"]);
+
+export function Source_decoder(options) {
+    return object(Source_allowedFields, (get$) => {
+        let objectArg, objectArg_1, arg_5, objectArg_2;
+        return new Source((objectArg = get$.Optional, objectArg.Field("@id", uri)), (objectArg_1 = get$.Optional, objectArg_1.Field("name", string)), (arg_5 = list_2(MaterialAttributeValue_decoder(options)), (objectArg_2 = get$.Optional, objectArg_2.Field("characteristics", arg_5))));
+    });
 }
 
 export function Source_fromJsonString(s) {
-    let options;
-    return fromJsonString(uncurry2((options = ConverterOptions_$ctor(), (s_1) => ((json) => Source_decoder(options, s_1, json)))), s);
+    const matchValue = fromString(Source_decoder(ConverterOptions_$ctor()), s);
+    if (matchValue.tag === 1) {
+        throw new Error(toText(printf("Error decoding string: %O"))(matchValue.fields[0]));
+    }
+    else {
+        return matchValue.fields[0];
+    }
 }
 
 export function Source_toJsonString(m) {
@@ -193,11 +177,16 @@ export function Source_toJsonString(m) {
 /**
  * exports in json-ld format
  */
-export function Source_toStringLD(s) {
+export function Source_toJsonldString(s) {
     let returnVal;
     return toString(2, Source_encoder((returnVal = ConverterOptions_$ctor(), ((ConverterOptions__set_SetID_Z1FBCCD16(returnVal, true), ConverterOptions__set_IncludeType_Z1FBCCD16(returnVal, true)), returnVal)), s));
 }
 
+export function Source_toJsonldStringWithContext(a) {
+    let returnVal;
+    return toString(2, Source_encoder((returnVal = ConverterOptions_$ctor(), (((ConverterOptions__set_SetID_Z1FBCCD16(returnVal, true), ConverterOptions__set_IncludeType_Z1FBCCD16(returnVal, true)), ConverterOptions__set_IncludeContext_Z1FBCCD16(returnVal, true)), returnVal)), a));
+}
+
 export function Sample_genID(s) {
     const matchValue = s.ID;
     if (matchValue == null) {
@@ -215,46 +204,34 @@ export function Sample_genID(s) {
 }
 
 export function Sample_encoder(options, oa) {
-    return object_10(choose((tupledArg) => {
+    return new Json(5, [choose((tupledArg) => {
         const v = tupledArg[1];
-        if (equals(v, nil)) {
+        if (equals(v, new Json(3, []))) {
             return void 0;
         }
         else {
             return [tupledArg[0], v];
         }
-    }, toList(delay(() => {
-        let value, s_1;
-        return append(ConverterOptions__get_SetID(options) ? singleton(["@id", (value = Sample_genID(oa), (typeof value === "string") ? ((s_1 = value, s_1)) : nil)]) : singleton(tryInclude("@id", (value_2) => {
-            let s_2;
-            const value_3 = value_2;
-            return (typeof value_3 === "string") ? ((s_2 = value_3, s_2)) : nil;
-        }, oa["ID"])), delay(() => {
-            let value_5, s_3;
-            return append(ConverterOptions__get_IncludeType(options) ? singleton(["@type", (value_5 = "Sample", (typeof value_5 === "string") ? ((s_3 = value_5, s_3)) : nil)]) : empty(), delay(() => append(singleton(tryInclude("name", (value_7) => {
-                let s_4;
-                const value_8 = value_7;
-                return (typeof value_8 === "string") ? ((s_4 = value_8, s_4)) : nil;
-            }, oa["Name"])), delay(() => append(singleton(tryInclude("characteristics", (oa_1) => MaterialAttributeValue_encoder(options, oa_1), oa["Characteristics"])), delay(() => append(singleton(tryInclude("factorValues", (oa_2) => FactorValue_encoder(options, oa_2), oa["FactorValues"])), delay(() => singleton(tryInclude("derivesFrom", (oa_3) => Source_encoder(options, oa_3), oa["DerivesFrom"]))))))))));
-        }));
-    }))));
+    }, toList(delay(() => append(ConverterOptions__get_SetID(options) ? singleton(["@id", new Json(0, [Sample_genID(oa)])]) : singleton(tryInclude("@id", (value_1) => (new Json(0, [value_1])), oa.ID)), delay(() => append(ConverterOptions__get_IncludeType(options) ? singleton(["@type", list_1(ofArray([new Json(0, ["Sample"]), new Json(0, ["ArcSample"])]))]) : empty(), delay(() => append(singleton(tryInclude("name", (value_5) => (new Json(0, [value_5])), oa.Name)), delay(() => append(singleton(tryIncludeList("characteristics", (oa_1) => MaterialAttributeValue_encoder(options, oa_1), oa.Characteristics)), delay(() => append(singleton(tryIncludeList("factorValues", (oa_2) => FactorValue_encoder(options, oa_2), oa.FactorValues)), delay(() => append(singleton(tryIncludeList("derivesFrom", (oa_3) => Source_encoder(options, oa_3), oa.DerivesFrom)), delay(() => (ConverterOptions__get_IncludeContext(options) ? singleton(["@context", context_jsonvalue_2]) : empty()))))))))))))))))]);
 }
 
-export function Sample_decoder(options, s, json) {
-    if (hasUnknownFields(ofArray(["@id", "name", "characteristics", "factorValues", "derivesFrom", "@type"]), json)) {
-        return new FSharpResult$2(1, [["Unknown fields in Sample", new ErrorReason(0, [s, nil])]]);
-    }
-    else {
-        return object_11((get$) => {
-            let objectArg, objectArg_1, arg_5, decoder, objectArg_2, arg_7, decoder_1, objectArg_3, objectArg_4;
-            return new Sample((objectArg = get$.Optional, objectArg.Field("@id", uri)), (objectArg_1 = get$.Optional, objectArg_1.Field("name", string)), (arg_5 = ((decoder = MaterialAttributeValue_decoder(options), (path_1) => ((value_1) => list_1(uncurry2(decoder), path_1, value_1)))), (objectArg_2 = get$.Optional, objectArg_2.Field("characteristics", uncurry2(arg_5)))), (arg_7 = ((decoder_1 = FactorValue_decoder(options), (path_2) => ((value_2) => list_1(uncurry2(decoder_1), path_2, value_2)))), (objectArg_3 = get$.Optional, objectArg_3.Field("factorValues", uncurry2(arg_7)))), (objectArg_4 = get$.Optional, objectArg_4.Field("derivesFrom", (path_3, value_3) => list_1((s_2, json_2) => Source_decoder(options, s_2, json_2), path_3, value_3))));
-        }, s, json);
-    }
+export const Sample_allowedFields = ofArray(["@id", "name", "characteristics", "factorValues", "derivesFrom", "@type", "@context"]);
+
+export function Sample_decoder(options) {
+    return object(Sample_allowedFields, (get$) => {
+        let objectArg, objectArg_1, arg_5, objectArg_2, arg_7, objectArg_3, arg_9, objectArg_4;
+        return new Sample((objectArg = get$.Optional, objectArg.Field("@id", uri)), (objectArg_1 = get$.Optional, objectArg_1.Field("name", string)), (arg_5 = list_2(MaterialAttributeValue_decoder(options)), (objectArg_2 = get$.Optional, objectArg_2.Field("characteristics", arg_5))), (arg_7 = list_2(FactorValue_decoder(options)), (objectArg_3 = get$.Optional, objectArg_3.Field("factorValues", arg_7))), (arg_9 = list_2(Source_decoder(options)), (objectArg_4 = get$.Optional, objectArg_4.Field("derivesFrom", arg_9))));
+    });
 }
 
 export function Sample_fromJsonString(s) {
-    let options;
-    return fromJsonString(uncurry2((options = ConverterOptions_$ctor(), (s_1) => ((json) => Sample_decoder(options, s_1, json)))), s);
+    const matchValue = fromString(Sample_decoder(ConverterOptions_$ctor()), s);
+    if (matchValue.tag === 1) {
+        throw new Error(toText(printf("Error decoding string: %O"))(matchValue.fields[0]));
+    }
+    else {
+        return matchValue.fields[0];
+    }
 }
 
 export function Sample_toJsonString(m) {
@@ -264,8 +241,13 @@ export function Sample_toJsonString(m) {
 /**
  * exports in json-ld format
  */
-export function Sample_toStringLD(s) {
+export function Sample_toJsonldString(s) {
     let returnVal;
     return toString(2, Sample_encoder((returnVal = ConverterOptions_$ctor(), ((ConverterOptions__set_SetID_Z1FBCCD16(returnVal, true), ConverterOptions__set_IncludeType_Z1FBCCD16(returnVal, true)), returnVal)), s));
 }
 
+export function Sample_toJsonldStringWithContext(a) {
+    let returnVal;
+    return toString(2, Sample_encoder((returnVal = ConverterOptions_$ctor(), (((ConverterOptions__set_SetID_Z1FBCCD16(returnVal, true), ConverterOptions__set_IncludeType_Z1FBCCD16(returnVal, true)), ConverterOptions__set_IncludeContext_Z1FBCCD16(returnVal, true)), returnVal)), a));
+}
+

package/ISA/ISA.Json/Decode.js

@@ -1,46 +1,61 @@
-import { fromString, string } from "../../fable_modules/Thoth.Json.10.1.0/Decode.fs.js";
-import { FSharpResult$2 } from "../../fable_modules/fable-library.4.5.0/Choice.js";
-import { printf, toText } from "../../fable_modules/fable-library.4.5.0/String.js";
-import { ErrorReason } from "../../fable_modules/Thoth.Json.10.1.0/Types.fs.js";
-import { contains, exists } from "../../fable_modules/fable-library.4.5.0/Seq.js";
-import { stringHash } from "../../fable_modules/fable-library.4.5.0/Util.js";
+import { helpers as helpers_2 } from "../../fable_modules/Thoth.Json.JavaScript.0.1.0/Decode.fs.js";
+import { Getters$2__get_Errors, Getters$2_$ctor_Z4BE6C149, string } from "../../fable_modules/Thoth.Json.Core.0.2.1/Decode.fs.js";
+import { FSharpResult$2 } from "../../fable_modules/fable-library-js.4.13.0/Result.js";
+import { printf, toText } from "../../fable_modules/fable-library-js.4.13.0/String.js";
+import { ErrorReason$1 } from "../../fable_modules/Thoth.Json.Core.0.2.1/Types.fs.js";
+import { exists } from "../../fable_modules/fable-library-js.4.13.0/Seq.js";
+import { ofSeq, contains } from "../../fable_modules/fable-library-js.4.13.0/Set.js";
+import { comparePrimitives } from "../../fable_modules/fable-library-js.4.13.0/Util.js";
+import { head, length, isEmpty } from "../../fable_modules/fable-library-js.4.13.0/List.js";
+
+export const helpers = helpers_2;
 
 export function isURI(s) {
     return true;
 }
 
-export function uri(s, json) {
-    const matchValue = string(s, json);
-    if (matchValue.tag === 1) {
-        return new FSharpResult$2(1, [matchValue.fields[0]]);
-    }
-    else if (isURI(matchValue.fields[0])) {
-        return new FSharpResult$2(0, [matchValue.fields[0]]);
-    }
-    else {
-        const s_3 = matchValue.fields[0];
-        return new FSharpResult$2(1, [[s_3, new ErrorReason(6, [toText(printf("Expected URI, got %s"))(s_3)])]]);
-    }
-}
-
-export function fromJsonString(decoder, s) {
-    const matchValue = fromString(decoder, s);
-    if (matchValue.tag === 1) {
-        throw new Error(toText(printf("Error decoding string: %s"))(matchValue.fields[0]));
-    }
-    else {
-        return matchValue.fields[0];
-    }
-}
+export const uri = {
+    Decode(s, json) {
+        const matchValue = string.Decode(s, json);
+        if (matchValue.tag === 1) {
+            return new FSharpResult$2(1, [matchValue.fields[0]]);
+        }
+        else if (isURI(matchValue.fields[0])) {
+            return new FSharpResult$2(0, [matchValue.fields[0]]);
+        }
+        else {
+            const s_3 = matchValue.fields[0];
+            return new FSharpResult$2(1, [[s_3, new ErrorReason$1(6, [toText(printf("Expected URI, got %s"))(s_3)])]]);
+        }
+    },
+};
 
-export function getFieldNames(json) {
-    return Object.getOwnPropertyNames(json);
+export function hasUnknownFields(helpers_1, knownFields, json) {
+    return exists((x) => !contains(x, knownFields), helpers_1.getProperties(json));
 }
 
-export function hasUnknownFields(knownFields, json) {
-    return exists((x) => !contains(x, knownFields, {
-        Equals: (x_1, y) => (x_1 === y),
-        GetHashCode: stringHash,
-    }), getFieldNames(json));
+export function object(allowedFields, builder) {
+    const allowedFields_1 = ofSeq(allowedFields, {
+        Compare: comparePrimitives,
+    });
+    return {
+        Decode(helpers_1, value) {
+            const getters = Getters$2_$ctor_Z4BE6C149(helpers_1, value);
+            if (hasUnknownFields(helpers_1, allowedFields_1, value)) {
+                return new FSharpResult$2(1, [["Unknown fields in object", new ErrorReason$1(0, ["", value])]]);
+            }
+            else {
+                const result = builder(getters);
+                const matchValue = Getters$2__get_Errors(getters);
+                if (!isEmpty(matchValue)) {
+                    const errors = matchValue;
+                    return (length(errors) > 1) ? (new FSharpResult$2(1, [["", new ErrorReason$1(7, [errors])]])) : (new FSharpResult$2(1, [head(matchValue)]));
+                }
+                else {
+                    return new FSharpResult$2(0, [result]);
+                }
+            }
+        },
+    };
 }