arctrl 3.0.0__py3-none-any.whl

arctrl/py/Json/investigation.py

@@ -0,0 +1,695 @@
+from __future__ import annotations
+from collections.abc import Callable
+from typing import (Any, TypeVar)
+from ..fable_modules.fable_library.date import (today, to_string)
+from ..fable_modules.fable_library.list import (choose, of_array, FSharpList, unzip, empty)
+from ..fable_modules.fable_library.option import (map, default_arg)
+from ..fable_modules.fable_library.seq import (map as map_1, concat)
+from ..fable_modules.fable_library.seq2 import distinct_by
+from ..fable_modules.fable_library.types import Array
+from ..fable_modules.fable_library.util import (IEnumerable_1, string_hash)
+from ..fable_modules.thoth_json_core.decode import (object, IRequiredGetter, string, IOptionalGetter, resize_array, IGetters, list_1 as list_1_1)
+from ..fable_modules.thoth_json_core.types import (IEncodable, IEncoderHelpers_1, Decoder_1)
+from ..Core.arc_types import (ArcAssay, ArcStudy, ArcInvestigation)
+from ..Core.comment import Comment
+from ..Core.Helper.identifier import create_missing_identifier
+from ..Core.ontology_annotation import OntologyAnnotation
+from ..Core.ontology_source_reference import OntologySourceReference
+from ..Core.person import Person
+from ..Core.publication import Publication
+from ..Core.Table.composite_cell import CompositeCell
+from .assay import (encoder as encoder_4, decoder as decoder_6, encoder_compressed as encoder_compressed_1, decoder_compressed as decoder_compressed_1)
+from .comment import (encoder as encoder_6, decoder as decoder_8, ROCrate_encoder as ROCrate_encoder_5, ROCrate_decoder as ROCrate_decoder_5, ISAJson_encoder as ISAJson_encoder_5, ISAJson_decoder as ISAJson_decoder_5)
+from .context.rocrate.isa_investigation_context import context_jsonvalue
+from .context.rocrate.rocrate_context import (conforms_to_jsonvalue, context_jsonvalue as context_jsonvalue_1)
+from .decode import Decode_objectNoAdditionalProperties
+from .encode import (try_include, try_include_seq)
+from .ontology_source_reference import (encoder as encoder_1, decoder as decoder_3, ROCrate_encoder as ROCrate_encoder_1, ROCrate_decoder as ROCrate_decoder_2, ISAJson_encoder as ISAJson_encoder_1, ISAJson_decoder as ISAJson_decoder_2)
+from .person import (encoder as encoder_3, decoder as decoder_5, ROCrate_encoder as ROCrate_encoder_3, ROCrate_decoder as ROCrate_decoder_4, ISAJson_encoder as ISAJson_encoder_3, ISAJson_decoder as ISAJson_decoder_4)
+from .publication import (encoder as encoder_2, decoder as decoder_4, ROCrate_encoder as ROCrate_encoder_2, ROCrate_decoder as ROCrate_decoder_3, ISAJson_encoder as ISAJson_encoder_2, ISAJson_decoder as ISAJson_decoder_3)
+from .study import (encoder as encoder_5, decoder as decoder_7, encoder_compressed as encoder_compressed_2, decoder_compressed as decoder_compressed_2, ROCrate_encoder as ROCrate_encoder_4, ROCrate_decoder as ROCrate_decoder_1, ISAJson_encoder as ISAJson_encoder_4, ISAJson_decoder as ISAJson_decoder_1)
+
+__A_ = TypeVar("__A_")
+
+def encoder(inv: ArcInvestigation) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], inv: Any=inv) -> tuple[str, IEncodable] | None:
+        def mapping(v_1: IEncodable, tupled_arg: Any=tupled_arg) -> tuple[str, IEncodable]:
+            return (tupled_arg[0], v_1)
+
+        return map(mapping, tupled_arg[1])
+
+    def _arrow3973(__unit: None=None, inv: Any=inv) -> IEncodable:
+        value: str = inv.Identifier
+        class ObjectExpr3972(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr3972()
+
+    def _arrow3975(value_1: str, inv: Any=inv) -> IEncodable:
+        class ObjectExpr3974(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_1.encode_string(value_1)
+
+        return ObjectExpr3974()
+
+    def _arrow3977(value_3: str, inv: Any=inv) -> IEncodable:
+        class ObjectExpr3976(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_3)
+
+        return ObjectExpr3976()
+
+    def _arrow3979(value_5: str, inv: Any=inv) -> IEncodable:
+        class ObjectExpr3978(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_5)
+
+        return ObjectExpr3978()
+
+    def _arrow3981(value_7: str, inv: Any=inv) -> IEncodable:
+        class ObjectExpr3980(IEncodable):
+            def Encode(self, helpers_4: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_4.encode_string(value_7)
+
+        return ObjectExpr3980()
+
+    def _arrow3982(osr: OntologySourceReference, inv: Any=inv) -> IEncodable:
+        return encoder_1(osr)
+
+    def _arrow3983(oa: Publication, inv: Any=inv) -> IEncodable:
+        return encoder_2(oa)
+
+    def _arrow3984(person: Person, inv: Any=inv) -> IEncodable:
+        return encoder_3(person)
+
+    def _arrow3985(assay: ArcAssay, inv: Any=inv) -> IEncodable:
+        return encoder_4(assay)
+
+    def _arrow3986(study: ArcStudy, inv: Any=inv) -> IEncodable:
+        return encoder_5(study)
+
+    def _arrow3988(value_9: str, inv: Any=inv) -> IEncodable:
+        class ObjectExpr3987(IEncodable):
+            def Encode(self, helpers_5: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_5.encode_string(value_9)
+
+        return ObjectExpr3987()
+
+    def _arrow3989(comment: Comment, inv: Any=inv) -> IEncodable:
+        return encoder_6(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("Identifier", _arrow3973()), try_include("Title", _arrow3975, inv.Title), try_include("Description", _arrow3977, inv.Description), try_include("SubmissionDate", _arrow3979, inv.SubmissionDate), try_include("PublicReleaseDate", _arrow3981, inv.PublicReleaseDate), try_include_seq("OntologySourceReferences", _arrow3982, inv.OntologySourceReferences), try_include_seq("Publications", _arrow3983, inv.Publications), try_include_seq("Contacts", _arrow3984, inv.Contacts), try_include_seq("Assays", _arrow3985, inv.Assays), try_include_seq("Studies", _arrow3986, inv.Studies), try_include_seq("RegisteredStudyIdentifiers", _arrow3988, inv.RegisteredStudyIdentifiers), try_include_seq("Comments", _arrow3989, inv.Comments)]))
+    class ObjectExpr3990(IEncodable):
+        def Encode(self, helpers_6: IEncoderHelpers_1[Any], inv: Any=inv) -> Any:
+            def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_6))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_6.encode_object(arg)
+
+    return ObjectExpr3990()
+
+
+def _arrow4004(get: IGetters) -> ArcInvestigation:
+    def _arrow3991(__unit: None=None) -> str:
+        object_arg: IRequiredGetter = get.Required
+        return object_arg.Field("Identifier", string)
+
+    def _arrow3992(__unit: None=None) -> str | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("Title", string)
+
+    def _arrow3993(__unit: None=None) -> str | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("Description", string)
+
+    def _arrow3994(__unit: None=None) -> str | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("SubmissionDate", string)
+
+    def _arrow3995(__unit: None=None) -> str | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("PublicReleaseDate", string)
+
+    def _arrow3996(__unit: None=None) -> Array[OntologySourceReference] | None:
+        arg_11: Decoder_1[Array[OntologySourceReference]] = resize_array(decoder_3)
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("OntologySourceReferences", arg_11)
+
+    def _arrow3997(__unit: None=None) -> Array[Publication] | None:
+        arg_13: Decoder_1[Array[Publication]] = resize_array(decoder_4)
+        object_arg_6: IOptionalGetter = get.Optional
+        return object_arg_6.Field("Publications", arg_13)
+
+    def _arrow3998(__unit: None=None) -> Array[Person] | None:
+        arg_15: Decoder_1[Array[Person]] = resize_array(decoder_5)
+        object_arg_7: IOptionalGetter = get.Optional
+        return object_arg_7.Field("Contacts", arg_15)
+
+    def _arrow3999(__unit: None=None) -> Array[ArcAssay] | None:
+        arg_17: Decoder_1[Array[ArcAssay]] = resize_array(decoder_6)
+        object_arg_8: IOptionalGetter = get.Optional
+        return object_arg_8.Field("Assays", arg_17)
+
+    def _arrow4001(__unit: None=None) -> Array[ArcStudy] | None:
+        arg_19: Decoder_1[Array[ArcStudy]] = resize_array(decoder_7)
+        object_arg_9: IOptionalGetter = get.Optional
+        return object_arg_9.Field("Studies", arg_19)
+
+    def _arrow4002(__unit: None=None) -> Array[str] | None:
+        arg_21: Decoder_1[Array[str]] = resize_array(string)
+        object_arg_10: IOptionalGetter = get.Optional
+        return object_arg_10.Field("RegisteredStudyIdentifiers", arg_21)
+
+    def _arrow4003(__unit: None=None) -> Array[Comment] | None:
+        arg_23: Decoder_1[Array[Comment]] = resize_array(decoder_8)
+        object_arg_11: IOptionalGetter = get.Optional
+        return object_arg_11.Field("Comments", arg_23)
+
+    return ArcInvestigation(_arrow3991(), _arrow3992(), _arrow3993(), _arrow3994(), _arrow3995(), _arrow3996(), _arrow3997(), _arrow3998(), _arrow3999(), _arrow4001(), None, None, _arrow4002(), _arrow4003())
+
+
+decoder: Decoder_1[ArcInvestigation] = object(_arrow4004)
+
+def encoder_compressed(string_table: Any, oa_table: Any, cell_table: Any, inv: ArcInvestigation) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> tuple[str, IEncodable] | None:
+        def mapping(v_1: IEncodable, tupled_arg: Any=tupled_arg) -> tuple[str, IEncodable]:
+            return (tupled_arg[0], v_1)
+
+        return map(mapping, tupled_arg[1])
+
+    def _arrow4010(__unit: None=None, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        value: str = inv.Identifier
+        class ObjectExpr4009(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr4009()
+
+    def _arrow4012(value_1: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        class ObjectExpr4011(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_1.encode_string(value_1)
+
+        return ObjectExpr4011()
+
+    def _arrow4014(value_3: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        class ObjectExpr4013(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_3)
+
+        return ObjectExpr4013()
+
+    def _arrow4016(value_5: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        class ObjectExpr4015(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_5)
+
+        return ObjectExpr4015()
+
+    def _arrow4018(value_7: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        class ObjectExpr4017(IEncodable):
+            def Encode(self, helpers_4: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_4.encode_string(value_7)
+
+        return ObjectExpr4017()
+
+    def _arrow4019(osr: OntologySourceReference, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        return encoder_1(osr)
+
+    def _arrow4020(oa: Publication, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        return encoder_2(oa)
+
+    def _arrow4021(person: Person, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        return encoder_3(person)
+
+    def _arrow4022(assay: ArcAssay, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        return encoder_compressed_1(string_table, oa_table, cell_table, assay)
+
+    def _arrow4023(study: ArcStudy, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        return encoder_compressed_2(string_table, oa_table, cell_table, study)
+
+    def _arrow4025(value_9: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        class ObjectExpr4024(IEncodable):
+            def Encode(self, helpers_5: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_5.encode_string(value_9)
+
+        return ObjectExpr4024()
+
+    def _arrow4026(comment: Comment, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> IEncodable:
+        return encoder_6(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("Identifier", _arrow4010()), try_include("Title", _arrow4012, inv.Title), try_include("Description", _arrow4014, inv.Description), try_include("SubmissionDate", _arrow4016, inv.SubmissionDate), try_include("PublicReleaseDate", _arrow4018, inv.PublicReleaseDate), try_include_seq("OntologySourceReferences", _arrow4019, inv.OntologySourceReferences), try_include_seq("Publications", _arrow4020, inv.Publications), try_include_seq("Contacts", _arrow4021, inv.Contacts), try_include_seq("Assays", _arrow4022, inv.Assays), try_include_seq("Studies", _arrow4023, inv.Studies), try_include_seq("RegisteredStudyIdentifiers", _arrow4025, inv.RegisteredStudyIdentifiers), try_include_seq("Comments", _arrow4026, inv.Comments)]))
+    class ObjectExpr4028(IEncodable):
+        def Encode(self, helpers_6: IEncoderHelpers_1[Any], string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, inv: Any=inv) -> Any:
+            def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_6))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_6.encode_object(arg)
+
+    return ObjectExpr4028()
+
+
+def decoder_compressed(string_table: Array[str], oa_table: Array[OntologyAnnotation], cell_table: Array[CompositeCell]) -> Decoder_1[ArcInvestigation]:
+    def _arrow4041(get: IGetters, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table) -> ArcInvestigation:
+        def _arrow4029(__unit: None=None) -> str:
+            object_arg: IRequiredGetter = get.Required
+            return object_arg.Field("Identifier", string)
+
+        def _arrow4030(__unit: None=None) -> str | None:
+            object_arg_1: IOptionalGetter = get.Optional
+            return object_arg_1.Field("Title", string)
+
+        def _arrow4031(__unit: None=None) -> str | None:
+            object_arg_2: IOptionalGetter = get.Optional
+            return object_arg_2.Field("Description", string)
+
+        def _arrow4032(__unit: None=None) -> str | None:
+            object_arg_3: IOptionalGetter = get.Optional
+            return object_arg_3.Field("SubmissionDate", string)
+
+        def _arrow4033(__unit: None=None) -> str | None:
+            object_arg_4: IOptionalGetter = get.Optional
+            return object_arg_4.Field("PublicReleaseDate", string)
+
+        def _arrow4034(__unit: None=None) -> Array[OntologySourceReference] | None:
+            arg_11: Decoder_1[Array[OntologySourceReference]] = resize_array(decoder_3)
+            object_arg_5: IOptionalGetter = get.Optional
+            return object_arg_5.Field("OntologySourceReferences", arg_11)
+
+        def _arrow4035(__unit: None=None) -> Array[Publication] | None:
+            arg_13: Decoder_1[Array[Publication]] = resize_array(decoder_4)
+            object_arg_6: IOptionalGetter = get.Optional
+            return object_arg_6.Field("Publications", arg_13)
+
+        def _arrow4036(__unit: None=None) -> Array[Person] | None:
+            arg_15: Decoder_1[Array[Person]] = resize_array(decoder_5)
+            object_arg_7: IOptionalGetter = get.Optional
+            return object_arg_7.Field("Contacts", arg_15)
+
+        def _arrow4037(__unit: None=None) -> Array[ArcAssay] | None:
+            arg_17: Decoder_1[Array[ArcAssay]] = resize_array(decoder_compressed_1(string_table, oa_table, cell_table))
+            object_arg_8: IOptionalGetter = get.Optional
+            return object_arg_8.Field("Assays", arg_17)
+
+        def _arrow4038(__unit: None=None) -> Array[ArcStudy] | None:
+            arg_19: Decoder_1[Array[ArcStudy]] = resize_array(decoder_compressed_2(string_table, oa_table, cell_table))
+            object_arg_9: IOptionalGetter = get.Optional
+            return object_arg_9.Field("Studies", arg_19)
+
+        def _arrow4039(__unit: None=None) -> Array[str] | None:
+            arg_21: Decoder_1[Array[str]] = resize_array(string)
+            object_arg_10: IOptionalGetter = get.Optional
+            return object_arg_10.Field("RegisteredStudyIdentifiers", arg_21)
+
+        def _arrow4040(__unit: None=None) -> Array[Comment] | None:
+            arg_23: Decoder_1[Array[Comment]] = resize_array(decoder_8)
+            object_arg_11: IOptionalGetter = get.Optional
+            return object_arg_11.Field("Comments", arg_23)
+
+        return ArcInvestigation(_arrow4029(), _arrow4030(), _arrow4031(), _arrow4032(), _arrow4033(), _arrow4034(), _arrow4035(), _arrow4036(), _arrow4037(), _arrow4038(), None, None, _arrow4039(), _arrow4040())
+
+    return object(_arrow4041)
+
+
+def ROCrate_genID(i: ArcInvestigation) -> str:
+    return "./"
+
+
+def ROCrate_encoder(oa: ArcInvestigation) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], oa: Any=oa) -> tuple[str, IEncodable] | None:
+        def mapping(v_1: IEncodable, tupled_arg: Any=tupled_arg) -> tuple[str, IEncodable]:
+            return (tupled_arg[0], v_1)
+
+        return map(mapping, tupled_arg[1])
+
+    def _arrow4045(__unit: None=None, oa: Any=oa) -> IEncodable:
+        value: str = ROCrate_genID(oa)
+        class ObjectExpr4044(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr4044()
+
+    class ObjectExpr4046(IEncodable):
+        def Encode(self, helpers_1: IEncoderHelpers_1[Any], oa: Any=oa) -> Any:
+            return helpers_1.encode_string("Investigation")
+
+    class ObjectExpr4047(IEncodable):
+        def Encode(self, helpers_2: IEncoderHelpers_1[Any], oa: Any=oa) -> Any:
+            return helpers_2.encode_string("Investigation")
+
+    def _arrow4049(__unit: None=None, oa: Any=oa) -> IEncodable:
+        value_3: str = oa.Identifier
+        class ObjectExpr4048(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_3)
+
+        return ObjectExpr4048()
+
+    def _arrow4051(__unit: None=None, oa: Any=oa) -> IEncodable:
+        value_4: str = ArcInvestigation.FileName()
+        class ObjectExpr4050(IEncodable):
+            def Encode(self, helpers_4: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_4.encode_string(value_4)
+
+        return ObjectExpr4050()
+
+    def _arrow4053(value_5: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr4052(IEncodable):
+            def Encode(self, helpers_5: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_5.encode_string(value_5)
+
+        return ObjectExpr4052()
+
+    def _arrow4055(value_7: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr4054(IEncodable):
+            def Encode(self, helpers_6: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_6.encode_string(value_7)
+
+        return ObjectExpr4054()
+
+    def _arrow4057(value_9: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr4056(IEncodable):
+            def Encode(self, helpers_7: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_7.encode_string(value_9)
+
+        return ObjectExpr4056()
+
+    def _arrow4060(__unit: None=None, oa: Any=oa) -> IEncodable:
+        def _arrow4058(__unit: None=None) -> str:
+            copy_of_struct: Any = today()
+            return to_string(copy_of_struct, "yyyy-MM-dd")
+
+        value_12: str = default_arg(oa.PublicReleaseDate, _arrow4058())
+        class ObjectExpr4059(IEncodable):
+            def Encode(self, helpers_8: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_8.encode_string(value_12)
+
+        return ObjectExpr4059()
+
+    def _arrow4061(osr: OntologySourceReference, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_1(osr)
+
+    def _arrow4062(oa_1: Publication, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_2(oa_1)
+
+    def _arrow4063(oa_2: Person, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_3(oa_2)
+
+    def _arrow4064(s: ArcStudy, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_4(None, s)
+
+    def _arrow4065(comment: Comment, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_5(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("@id", _arrow4045()), ("@type", ObjectExpr4046()), ("additionalType", ObjectExpr4047()), ("identifier", _arrow4049()), ("filename", _arrow4051()), try_include("title", _arrow4053, oa.Title), try_include("description", _arrow4055, oa.Description), try_include("submissionDate", _arrow4057, oa.SubmissionDate), ("publicReleaseDate", _arrow4060()), try_include_seq("ontologySourceReferences", _arrow4061, oa.OntologySourceReferences), try_include_seq("publications", _arrow4062, oa.Publications), try_include_seq("people", _arrow4063, oa.Contacts), try_include_seq("studies", _arrow4064, oa.Studies), try_include_seq("comments", _arrow4065, oa.Comments), ("@context", context_jsonvalue)]))
+    class ObjectExpr4066(IEncodable):
+        def Encode(self, helpers_9: IEncoderHelpers_1[Any], oa: Any=oa) -> Any:
+            def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_9))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_9.encode_object(arg)
+
+    return ObjectExpr4066()
+
+
+def _arrow4078(get: IGetters) -> ArcInvestigation:
+    identifier: str
+    match_value: str | None
+    object_arg: IOptionalGetter = get.Optional
+    match_value = object_arg.Field("identifier", string)
+    identifier = create_missing_identifier() if (match_value is None) else match_value
+    def _arrow4067(__unit: None=None) -> FSharpList[tuple[ArcStudy, FSharpList[ArcAssay]]] | None:
+        arg_3: Decoder_1[FSharpList[tuple[ArcStudy, FSharpList[ArcAssay]]]] = list_1_1(ROCrate_decoder_1)
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("studies", arg_3)
+
+    pattern_input: tuple[FSharpList[ArcStudy], FSharpList[FSharpList[ArcAssay]]] = unzip(default_arg(_arrow4067(), empty()))
+    studies_raw: FSharpList[ArcStudy] = pattern_input[0]
+    def projection(a: ArcAssay) -> str:
+        return a.Identifier
+
+    class ObjectExpr4069:
+        @property
+        def Equals(self) -> Callable[[str, str], bool]:
+            def _arrow4068(x: str, y: str) -> bool:
+                return x == y
+
+            return _arrow4068
+
+        @property
+        def GetHashCode(self) -> Callable[[str], int]:
+            return string_hash
+
+    assays: Array[ArcAssay] = list(distinct_by(projection, concat(pattern_input[1]), ObjectExpr4069()))
+    studies: Array[ArcStudy] = list(studies_raw)
+    def mapping(a_1: ArcStudy) -> str:
+        return a_1.Identifier
+
+    study_identifiers: Array[str] = list(map_1(mapping, studies_raw))
+    def _arrow4070(__unit: None=None) -> str | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("title", string)
+
+    def _arrow4071(__unit: None=None) -> str | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("description", string)
+
+    def _arrow4072(__unit: None=None) -> str | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("submissionDate", string)
+
+    def _arrow4073(__unit: None=None) -> str | None:
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("publicReleaseDate", string)
+
+    def _arrow4074(__unit: None=None) -> Array[OntologySourceReference] | None:
+        arg_13: Decoder_1[Array[OntologySourceReference]] = resize_array(ROCrate_decoder_2)
+        object_arg_6: IOptionalGetter = get.Optional
+        return object_arg_6.Field("ontologySourceReferences", arg_13)
+
+    def _arrow4075(__unit: None=None) -> Array[Publication] | None:
+        arg_15: Decoder_1[Array[Publication]] = resize_array(ROCrate_decoder_3)
+        object_arg_7: IOptionalGetter = get.Optional
+        return object_arg_7.Field("publications", arg_15)
+
+    def _arrow4076(__unit: None=None) -> Array[Person] | None:
+        arg_17: Decoder_1[Array[Person]] = resize_array(ROCrate_decoder_4)
+        object_arg_8: IOptionalGetter = get.Optional
+        return object_arg_8.Field("people", arg_17)
+
+    def _arrow4077(__unit: None=None) -> Array[Comment] | None:
+        arg_19: Decoder_1[Array[Comment]] = resize_array(ROCrate_decoder_5)
+        object_arg_9: IOptionalGetter = get.Optional
+        return object_arg_9.Field("comments", arg_19)
+
+    return ArcInvestigation(identifier, _arrow4070(), _arrow4071(), _arrow4072(), _arrow4073(), _arrow4074(), _arrow4075(), _arrow4076(), assays, studies, None, None, study_identifiers, _arrow4077())
+
+
+ROCrate_decoder: Decoder_1[ArcInvestigation] = object(_arrow4078)
+
+def ROCrate_encodeRoCrate(oa: ArcInvestigation) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], oa: Any=oa) -> tuple[str, IEncodable] | None:
+        def mapping(v_1: IEncodable, tupled_arg: Any=tupled_arg) -> tuple[str, IEncodable]:
+            return (tupled_arg[0], v_1)
+
+        return map(mapping, tupled_arg[1])
+
+    def _arrow4082(value: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr4081(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr4081()
+
+    def _arrow4084(value_2: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr4083(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_1.encode_string(value_2)
+
+        return ObjectExpr4083()
+
+    def _arrow4085(oa_1: ArcInvestigation, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder(oa_1)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([try_include("@type", _arrow4082, "CreativeWork"), try_include("@id", _arrow4084, "ro-crate-metadata.json"), try_include("about", _arrow4085, oa), ("conformsTo", conforms_to_jsonvalue), ("@context", context_jsonvalue_1)]))
+    class ObjectExpr4086(IEncodable):
+        def Encode(self, helpers_2: IEncoderHelpers_1[Any], oa: Any=oa) -> Any:
+            def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_2))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_2.encode_object(arg)
+
+    return ObjectExpr4086()
+
+
+ISAJson_allowedFields: FSharpList[str] = of_array(["@id", "filename", "identifier", "title", "description", "submissionDate", "publicReleaseDate", "ontologySourceReferences", "publications", "people", "studies", "comments", "@type", "@context"])
+
+def ISAJson_encoder(id_map: Any | None, inv: ArcInvestigation) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], id_map: Any=id_map, inv: Any=inv) -> tuple[str, IEncodable] | None:
+        def mapping(v_1: IEncodable, tupled_arg: Any=tupled_arg) -> tuple[str, IEncodable]:
+            return (tupled_arg[0], v_1)
+
+        return map(mapping, tupled_arg[1])
+
+    def _arrow4090(__unit: None=None, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        value: str = ROCrate_genID(inv)
+        class ObjectExpr4089(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr4089()
+
+    def _arrow4092(__unit: None=None, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        value_1: str = ArcInvestigation.FileName()
+        class ObjectExpr4091(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_1.encode_string(value_1)
+
+        return ObjectExpr4091()
+
+    def _arrow4094(__unit: None=None, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        value_2: str = inv.Identifier
+        class ObjectExpr4093(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_2)
+
+        return ObjectExpr4093()
+
+    def _arrow4096(value_3: str, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        class ObjectExpr4095(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_3)
+
+        return ObjectExpr4095()
+
+    def _arrow4098(value_5: str, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        class ObjectExpr4097(IEncodable):
+            def Encode(self, helpers_4: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_4.encode_string(value_5)
+
+        return ObjectExpr4097()
+
+    def _arrow4100(value_7: str, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        class ObjectExpr4099(IEncodable):
+            def Encode(self, helpers_5: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_5.encode_string(value_7)
+
+        return ObjectExpr4099()
+
+    def _arrow4102(value_9: str, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        class ObjectExpr4101(IEncodable):
+            def Encode(self, helpers_6: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_6.encode_string(value_9)
+
+        return ObjectExpr4101()
+
+    def _arrow4103(osr: OntologySourceReference, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        return ISAJson_encoder_1(id_map, osr)
+
+    def _arrow4104(oa: Publication, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        return ISAJson_encoder_2(id_map, oa)
+
+    def _arrow4105(person: Person, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        return ISAJson_encoder_3(id_map, person)
+
+    def _arrow4106(s: ArcStudy, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        return ISAJson_encoder_4(id_map, None, s)
+
+    def _arrow4107(comment: Comment, id_map: Any=id_map, inv: Any=inv) -> IEncodable:
+        return ISAJson_encoder_5(id_map, comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("@id", _arrow4090()), ("filename", _arrow4092()), ("identifier", _arrow4094()), try_include("title", _arrow4096, inv.Title), try_include("description", _arrow4098, inv.Description), try_include("submissionDate", _arrow4100, inv.SubmissionDate), try_include("publicReleaseDate", _arrow4102, inv.PublicReleaseDate), try_include_seq("ontologySourceReferences", _arrow4103, inv.OntologySourceReferences), try_include_seq("publications", _arrow4104, inv.Publications), try_include_seq("people", _arrow4105, inv.Contacts), try_include_seq("studies", _arrow4106, inv.Studies), try_include_seq("comments", _arrow4107, inv.Comments)]))
+    class ObjectExpr4108(IEncodable):
+        def Encode(self, helpers_7: IEncoderHelpers_1[Any], id_map: Any=id_map, inv: Any=inv) -> Any:
+            def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_7))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_7.encode_object(arg)
+
+    return ObjectExpr4108()
+
+
+def _arrow4120(get: IGetters) -> ArcInvestigation:
+    identifer: str
+    match_value: str | None
+    object_arg: IOptionalGetter = get.Optional
+    match_value = object_arg.Field("identifier", string)
+    identifer = create_missing_identifier() if (match_value is None) else match_value
+    def _arrow4109(__unit: None=None) -> FSharpList[tuple[ArcStudy, FSharpList[ArcAssay]]] | None:
+        arg_3: Decoder_1[FSharpList[tuple[ArcStudy, FSharpList[ArcAssay]]]] = list_1_1(ISAJson_decoder_1)
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("studies", arg_3)
+
+    pattern_input: tuple[FSharpList[ArcStudy], FSharpList[FSharpList[ArcAssay]]] = unzip(default_arg(_arrow4109(), empty()))
+    studies_raw: FSharpList[ArcStudy] = pattern_input[0]
+    def projection(a: ArcAssay) -> str:
+        return a.Identifier
+
+    class ObjectExpr4111:
+        @property
+        def Equals(self) -> Callable[[str, str], bool]:
+            def _arrow4110(x: str, y: str) -> bool:
+                return x == y
+
+            return _arrow4110
+
+        @property
+        def GetHashCode(self) -> Callable[[str], int]:
+            return string_hash
+
+    assays: Array[ArcAssay] = list(distinct_by(projection, concat(pattern_input[1]), ObjectExpr4111()))
+    studies: Array[ArcStudy] = list(studies_raw)
+    def mapping(a_1: ArcStudy) -> str:
+        return a_1.Identifier
+
+    study_identifiers: Array[str] = list(map_1(mapping, studies_raw))
+    def _arrow4112(__unit: None=None) -> str | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("title", string)
+
+    def _arrow4113(__unit: None=None) -> str | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("description", string)
+
+    def _arrow4114(__unit: None=None) -> str | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("submissionDate", string)
+
+    def _arrow4115(__unit: None=None) -> str | None:
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("publicReleaseDate", string)
+
+    def _arrow4116(__unit: None=None) -> Array[OntologySourceReference] | None:
+        arg_13: Decoder_1[Array[OntologySourceReference]] = resize_array(ISAJson_decoder_2)
+        object_arg_6: IOptionalGetter = get.Optional
+        return object_arg_6.Field("ontologySourceReferences", arg_13)
+
+    def _arrow4117(__unit: None=None) -> Array[Publication] | None:
+        arg_15: Decoder_1[Array[Publication]] = resize_array(ISAJson_decoder_3)
+        object_arg_7: IOptionalGetter = get.Optional
+        return object_arg_7.Field("publications", arg_15)
+
+    def _arrow4118(__unit: None=None) -> Array[Person] | None:
+        arg_17: Decoder_1[Array[Person]] = resize_array(ISAJson_decoder_4)
+        object_arg_8: IOptionalGetter = get.Optional
+        return object_arg_8.Field("people", arg_17)
+
+    def _arrow4119(__unit: None=None) -> Array[Comment] | None:
+        arg_19: Decoder_1[Array[Comment]] = resize_array(ISAJson_decoder_5)
+        object_arg_9: IOptionalGetter = get.Optional
+        return object_arg_9.Field("comments", arg_19)
+
+    return ArcInvestigation(identifer, _arrow4112(), _arrow4113(), _arrow4114(), _arrow4115(), _arrow4116(), _arrow4117(), _arrow4118(), assays, studies, None, None, study_identifiers, _arrow4119())
+
+
+ISAJson_decoder: Decoder_1[ArcInvestigation] = Decode_objectNoAdditionalProperties(ISAJson_allowedFields, _arrow4120)
+
+__all__ = ["encoder", "decoder", "encoder_compressed", "decoder_compressed", "ROCrate_genID", "ROCrate_encoder", "ROCrate_decoder", "ROCrate_encodeRoCrate", "ISAJson_allowedFields", "ISAJson_encoder", "ISAJson_decoder"]
+