arctrl 3.0.0__py3-none-any.whl

arctrl/py/Json/assay.py

@@ -0,0 +1,600 @@
+from __future__ import annotations
+from collections.abc import Callable
+from typing import (Any, TypeVar)
+from ..fable_modules.fable_library.list import (choose, of_array, FSharpList, singleton, empty)
+from ..fable_modules.fable_library.option import (map, default_arg, value as value_9, bind)
+from ..fable_modules.fable_library.seq import (map as map_1, to_list, delay, append, empty as empty_1, singleton as singleton_1, try_pick, length)
+from ..fable_modules.fable_library.string_ import replace
+from ..fable_modules.fable_library.types import Array
+from ..fable_modules.fable_library.util import IEnumerable_1
+from ..fable_modules.thoth_json_core.decode import (object, IRequiredGetter, string, IOptionalGetter, resize_array, IGetters, list_1 as list_1_2, map as map_2)
+from ..fable_modules.thoth_json_core.encode import 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
+from ..Core.comment import Comment
+from ..Core.conversion import (ARCtrl_ArcTables__ArcTables_GetProcesses, ARCtrl_ArcTables__ArcTables_fromProcesses_Static_62A3309D, JsonTypes_composeTechnologyPlatform, JsonTypes_decomposeTechnologyPlatform)
+from ..Core.data import Data
+from ..Core.datamap import Datamap
+from ..Core.Helper.collections_ import (Option_fromValueWithDefault, ResizeArray_filter)
+from ..Core.Helper.identifier import (Assay_fileNameFromIdentifier, create_missing_identifier, Assay_tryIdentifierFromFileName)
+from ..Core.ontology_annotation import OntologyAnnotation
+from ..Core.person import Person
+from ..Core.Process.material_attribute import MaterialAttribute
+from ..Core.Process.process import Process
+from ..Core.Process.process_sequence import (get_data, get_units, get_characteristics)
+from ..Core.Table.arc_table import ArcTable
+from ..Core.Table.arc_tables import ArcTables
+from ..Core.Table.composite_cell import CompositeCell
+from .comment import (encoder as encoder_7, decoder as decoder_4, ROCrate_encoder as ROCrate_encoder_4, ROCrate_decoder as ROCrate_decoder_3, ISAJson_encoder as ISAJson_encoder_3, ISAJson_decoder as ISAJson_decoder_2)
+from .context.rocrate.isa_assay_context import context_jsonvalue
+from .data import (ROCrate_encoder as ROCrate_encoder_2, ISAJson_encoder as ISAJson_encoder_1)
+from .Datamap.datamap import (encoder as encoder_4, decoder as decoder_2, encoder_compressed as encoder_compressed_2, decoder_compressed as decoder_compressed_2)
+from .decode import Decode_objectNoAdditionalProperties
+from .encode import (try_include, try_include_seq, try_include_list)
+from .idtable import encode
+from .ontology_annotation import (OntologyAnnotation_encoder, OntologyAnnotation_decoder, OntologyAnnotation_ROCrate_encoderPropertyValue, OntologyAnnotation_ROCrate_encoderDefinedTerm, OntologyAnnotation_ROCrate_decoderPropertyValue, OntologyAnnotation_ROCrate_decoderDefinedTerm, OntologyAnnotation_ISAJson_encoder, OntologyAnnotation_ISAJson_decoder)
+from .person import (encoder as encoder_6, decoder as decoder_3, ROCrate_encoder as ROCrate_encoder_1, ROCrate_decoder as ROCrate_decoder_2)
+from .Process.assay_materials import encoder as encoder_9
+from .Process.material_attribute import encoder as encoder_8
+from .Process.process import (ROCrate_encoder as ROCrate_encoder_3, ROCrate_decoder as ROCrate_decoder_1, ISAJson_encoder as ISAJson_encoder_2, ISAJson_decoder as ISAJson_decoder_1)
+from .Table.arc_table import (encoder as encoder_5, decoder as decoder_1, encoder_compressed as encoder_compressed_1, decoder_compressed as decoder_compressed_1)
+
+__A_ = TypeVar("__A_")
+
+def encoder(assay: ArcAssay) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], assay: Any=assay) -> 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 _arrow3557(__unit: None=None, assay: Any=assay) -> IEncodable:
+        value: str = assay.Identifier
+        class ObjectExpr3556(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr3556()
+
+    def _arrow3559(value_1: str, assay: Any=assay) -> IEncodable:
+        class ObjectExpr3558(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_1.encode_string(value_1)
+
+        return ObjectExpr3558()
+
+    def _arrow3561(value_3: str, assay: Any=assay) -> IEncodable:
+        class ObjectExpr3560(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_3)
+
+        return ObjectExpr3560()
+
+    def _arrow3562(oa: OntologyAnnotation, assay: Any=assay) -> IEncodable:
+        return OntologyAnnotation_encoder(oa)
+
+    def _arrow3563(oa_1: OntologyAnnotation, assay: Any=assay) -> IEncodable:
+        return OntologyAnnotation_encoder(oa_1)
+
+    def _arrow3564(oa_2: OntologyAnnotation, assay: Any=assay) -> IEncodable:
+        return OntologyAnnotation_encoder(oa_2)
+
+    def _arrow3565(dm: Datamap, assay: Any=assay) -> IEncodable:
+        return encoder_4(dm)
+
+    def _arrow3566(table: ArcTable, assay: Any=assay) -> IEncodable:
+        return encoder_5(table)
+
+    def _arrow3567(person: Person, assay: Any=assay) -> IEncodable:
+        return encoder_6(person)
+
+    def _arrow3568(comment: Comment, assay: Any=assay) -> IEncodable:
+        return encoder_7(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("Identifier", _arrow3557()), try_include("Title", _arrow3559, assay.Title), try_include("Description", _arrow3561, assay.Description), try_include("MeasurementType", _arrow3562, assay.MeasurementType), try_include("TechnologyType", _arrow3563, assay.TechnologyType), try_include("TechnologyPlatform", _arrow3564, assay.TechnologyPlatform), try_include("Datamap", _arrow3565, assay.Datamap), try_include_seq("Tables", _arrow3566, assay.Tables), try_include_seq("Performers", _arrow3567, assay.Performers), try_include_seq("Comments", _arrow3568, assay.Comments)]))
+    class ObjectExpr3569(IEncodable):
+        def Encode(self, helpers_3: IEncoderHelpers_1[Any], assay: Any=assay) -> Any:
+            def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_3))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_3.encode_object(arg)
+
+    return ObjectExpr3569()
+
+
+def _arrow3580(get: IGetters) -> ArcAssay:
+    def _arrow3570(__unit: None=None) -> str:
+        object_arg: IRequiredGetter = get.Required
+        return object_arg.Field("Identifier", string)
+
+    def _arrow3571(__unit: None=None) -> str | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("Title", string)
+
+    def _arrow3572(__unit: None=None) -> str | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("Description", string)
+
+    def _arrow3573(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("MeasurementType", OntologyAnnotation_decoder)
+
+    def _arrow3574(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("TechnologyType", OntologyAnnotation_decoder)
+
+    def _arrow3575(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("TechnologyPlatform", OntologyAnnotation_decoder)
+
+    def _arrow3576(__unit: None=None) -> Array[ArcTable] | None:
+        arg_13: Decoder_1[Array[ArcTable]] = resize_array(decoder_1)
+        object_arg_6: IOptionalGetter = get.Optional
+        return object_arg_6.Field("Tables", arg_13)
+
+    def _arrow3577(__unit: None=None) -> Datamap | None:
+        object_arg_7: IOptionalGetter = get.Optional
+        return object_arg_7.Field("Datamap", decoder_2)
+
+    def _arrow3578(__unit: None=None) -> Array[Person] | None:
+        arg_17: Decoder_1[Array[Person]] = resize_array(decoder_3)
+        object_arg_8: IOptionalGetter = get.Optional
+        return object_arg_8.Field("Performers", arg_17)
+
+    def _arrow3579(__unit: None=None) -> Array[Comment] | None:
+        arg_19: Decoder_1[Array[Comment]] = resize_array(decoder_4)
+        object_arg_9: IOptionalGetter = get.Optional
+        return object_arg_9.Field("Comments", arg_19)
+
+    return ArcAssay.create(_arrow3570(), _arrow3571(), _arrow3572(), _arrow3573(), _arrow3574(), _arrow3575(), _arrow3576(), _arrow3577(), _arrow3578(), _arrow3579())
+
+
+decoder: Decoder_1[ArcAssay] = object(_arrow3580)
+
+def encoder_compressed(string_table: Any, oa_table: Any, cell_table: Any, assay: ArcAssay) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> 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 _arrow3584(__unit: None=None, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        value: str = assay.Identifier
+        class ObjectExpr3583(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr3583()
+
+    def _arrow3586(value_1: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        class ObjectExpr3585(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_1.encode_string(value_1)
+
+        return ObjectExpr3585()
+
+    def _arrow3588(value_3: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        class ObjectExpr3587(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_3)
+
+        return ObjectExpr3587()
+
+    def _arrow3589(oa: OntologyAnnotation, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        return OntologyAnnotation_encoder(oa)
+
+    def _arrow3590(oa_1: OntologyAnnotation, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        return OntologyAnnotation_encoder(oa_1)
+
+    def _arrow3591(oa_2: OntologyAnnotation, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        return OntologyAnnotation_encoder(oa_2)
+
+    def _arrow3592(table: ArcTable, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        return encoder_compressed_1(string_table, oa_table, cell_table, table)
+
+    def _arrow3593(dm: Datamap, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        return encoder_compressed_2(string_table, oa_table, cell_table, dm)
+
+    def _arrow3594(person: Person, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        return encoder_6(person)
+
+    def _arrow3595(comment: Comment, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> IEncodable:
+        return encoder_7(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("Identifier", _arrow3584()), try_include("Title", _arrow3586, assay.Title), try_include("Description", _arrow3588, assay.Description), try_include("MeasurementType", _arrow3589, assay.MeasurementType), try_include("TechnologyType", _arrow3590, assay.TechnologyType), try_include("TechnologyPlatform", _arrow3591, assay.TechnologyPlatform), try_include_seq("Tables", _arrow3592, assay.Tables), try_include("Datamap", _arrow3593, assay.Datamap), try_include_seq("Performers", _arrow3594, assay.Performers), try_include_seq("Comments", _arrow3595, assay.Comments)]))
+    class ObjectExpr3596(IEncodable):
+        def Encode(self, helpers_3: IEncoderHelpers_1[Any], string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, assay: Any=assay) -> Any:
+            def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_3))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_3.encode_object(arg)
+
+    return ObjectExpr3596()
+
+
+def decoder_compressed(string_table: Array[str], oa_table: Array[OntologyAnnotation], cell_table: Array[CompositeCell]) -> Decoder_1[ArcAssay]:
+    def _arrow3607(get: IGetters, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table) -> ArcAssay:
+        def _arrow3597(__unit: None=None) -> str:
+            object_arg: IRequiredGetter = get.Required
+            return object_arg.Field("Identifier", string)
+
+        def _arrow3598(__unit: None=None) -> str | None:
+            object_arg_1: IOptionalGetter = get.Optional
+            return object_arg_1.Field("Title", string)
+
+        def _arrow3599(__unit: None=None) -> str | None:
+            object_arg_2: IOptionalGetter = get.Optional
+            return object_arg_2.Field("Description", string)
+
+        def _arrow3600(__unit: None=None) -> OntologyAnnotation | None:
+            object_arg_3: IOptionalGetter = get.Optional
+            return object_arg_3.Field("MeasurementType", OntologyAnnotation_decoder)
+
+        def _arrow3601(__unit: None=None) -> OntologyAnnotation | None:
+            object_arg_4: IOptionalGetter = get.Optional
+            return object_arg_4.Field("TechnologyType", OntologyAnnotation_decoder)
+
+        def _arrow3602(__unit: None=None) -> OntologyAnnotation | None:
+            object_arg_5: IOptionalGetter = get.Optional
+            return object_arg_5.Field("TechnologyPlatform", OntologyAnnotation_decoder)
+
+        def _arrow3603(__unit: None=None) -> Array[ArcTable] | None:
+            arg_13: Decoder_1[Array[ArcTable]] = resize_array(decoder_compressed_1(string_table, oa_table, cell_table))
+            object_arg_6: IOptionalGetter = get.Optional
+            return object_arg_6.Field("Tables", arg_13)
+
+        def _arrow3604(__unit: None=None) -> Datamap | None:
+            arg_15: Decoder_1[Datamap] = decoder_compressed_2(string_table, oa_table, cell_table)
+            object_arg_7: IOptionalGetter = get.Optional
+            return object_arg_7.Field("Datamap", arg_15)
+
+        def _arrow3605(__unit: None=None) -> Array[Person] | None:
+            arg_17: Decoder_1[Array[Person]] = resize_array(decoder_3)
+            object_arg_8: IOptionalGetter = get.Optional
+            return object_arg_8.Field("Performers", arg_17)
+
+        def _arrow3606(__unit: None=None) -> Array[Comment] | None:
+            arg_19: Decoder_1[Array[Comment]] = resize_array(decoder_4)
+            object_arg_9: IOptionalGetter = get.Optional
+            return object_arg_9.Field("Comments", arg_19)
+
+        return ArcAssay.create(_arrow3597(), _arrow3598(), _arrow3599(), _arrow3600(), _arrow3601(), _arrow3602(), _arrow3603(), _arrow3604(), _arrow3605(), _arrow3606())
+
+    return object(_arrow3607)
+
+
+def ROCrate_genID(a: ArcAssay) -> str:
+    match_value: str = a.Identifier
+    if match_value == "":
+        return "#EmptyAssay"
+
+    else: 
+        return ("assays/" + replace(match_value, " ", "_")) + "/"
+
+
+
+def ROCrate_encoder(assay_name: str | None, a: ArcAssay) -> IEncodable:
+    file_name: str = Assay_fileNameFromIdentifier(a.Identifier)
+    processes: FSharpList[Process] = ARCtrl_ArcTables__ArcTables_GetProcesses(a)
+    data_files: FSharpList[Data] = get_data(processes)
+    def chooser(tupled_arg: tuple[str, IEncodable | None], assay_name: Any=assay_name, a: Any=a) -> 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 _arrow3611(__unit: None=None, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        value: str = ROCrate_genID(a)
+        class ObjectExpr3610(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr3610()
+
+    class ObjectExpr3612(IEncodable):
+        def Encode(self, helpers_1: IEncoderHelpers_1[Any], assay_name: Any=assay_name, a: Any=a) -> Any:
+            return helpers_1.encode_string("Assay")
+
+    class ObjectExpr3613(IEncodable):
+        def Encode(self, helpers_2: IEncoderHelpers_1[Any], assay_name: Any=assay_name, a: Any=a) -> Any:
+            return helpers_2.encode_string("Assay")
+
+    def _arrow3615(__unit: None=None, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        value_3: str = a.Identifier
+        class ObjectExpr3614(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_3)
+
+        return ObjectExpr3614()
+
+    class ObjectExpr3616(IEncodable):
+        def Encode(self, helpers_4: IEncoderHelpers_1[Any], assay_name: Any=assay_name, a: Any=a) -> Any:
+            return helpers_4.encode_string(file_name)
+
+    def _arrow3618(value_5: str, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        class ObjectExpr3617(IEncodable):
+            def Encode(self, helpers_5: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_5.encode_string(value_5)
+
+        return ObjectExpr3617()
+
+    def _arrow3620(value_7: str, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        class ObjectExpr3619(IEncodable):
+            def Encode(self, helpers_6: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_6.encode_string(value_7)
+
+        return ObjectExpr3619()
+
+    def _arrow3621(oa: OntologyAnnotation, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        return OntologyAnnotation_ROCrate_encoderPropertyValue(oa)
+
+    def _arrow3622(oa_1: OntologyAnnotation, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        return OntologyAnnotation_ROCrate_encoderDefinedTerm(oa_1)
+
+    def _arrow3623(oa_2: OntologyAnnotation, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        return OntologyAnnotation_ROCrate_encoderDefinedTerm(oa_2)
+
+    def _arrow3624(oa_3: Person, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        return ROCrate_encoder_1(oa_3)
+
+    def _arrow3625(oa_4: Data, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        return ROCrate_encoder_2(oa_4)
+
+    def _arrow3627(__unit: None=None, assay_name: Any=assay_name, a: Any=a) -> Callable[[Process], IEncodable]:
+        assay_name_1: str | None = a.Identifier
+        def _arrow3626(oa_5: Process) -> IEncodable:
+            return ROCrate_encoder_3(assay_name, assay_name_1, oa_5)
+
+        return _arrow3626
+
+    def _arrow3628(comment: Comment, assay_name: Any=assay_name, a: Any=a) -> IEncodable:
+        return ROCrate_encoder_4(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("@id", _arrow3611()), ("@type", list_1_1(singleton(ObjectExpr3612()))), ("additionalType", ObjectExpr3613()), ("identifier", _arrow3615()), ("filename", ObjectExpr3616()), try_include("title", _arrow3618, a.Title), try_include("description", _arrow3620, a.Description), try_include("measurementType", _arrow3621, a.MeasurementType), try_include("technologyType", _arrow3622, a.TechnologyType), try_include("technologyPlatform", _arrow3623, a.TechnologyPlatform), try_include_seq("performers", _arrow3624, a.Performers), try_include_list("dataFiles", _arrow3625, data_files), try_include_list("processSequence", _arrow3627(), processes), try_include_seq("comments", _arrow3628, a.Comments), ("@context", context_jsonvalue)]))
+    class ObjectExpr3629(IEncodable):
+        def Encode(self, helpers_7: IEncoderHelpers_1[Any], assay_name: Any=assay_name, a: Any=a) -> 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 ObjectExpr3629()
+
+
+def _arrow3639(get: IGetters) -> ArcAssay:
+    def _arrow3630(__unit: None=None) -> str | None:
+        object_arg: IOptionalGetter = get.Optional
+        return object_arg.Field("identifier", string)
+
+    identifier: str = default_arg(_arrow3630(), create_missing_identifier())
+    def mapping(arg_4: FSharpList[Process]) -> Array[ArcTable]:
+        a: ArcTables = ARCtrl_ArcTables__ArcTables_fromProcesses_Static_62A3309D(arg_4)
+        return a.Tables
+
+    def _arrow3631(__unit: None=None) -> FSharpList[Process] | None:
+        arg_3: Decoder_1[FSharpList[Process]] = list_1_2(ROCrate_decoder_1)
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("processSequence", arg_3)
+
+    tables: Array[ArcTable] | None = map(mapping, _arrow3631())
+    def _arrow3632(__unit: None=None) -> str | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("title", string)
+
+    def _arrow3633(__unit: None=None) -> str | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("description", string)
+
+    def _arrow3634(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("measurementType", OntologyAnnotation_ROCrate_decoderPropertyValue)
+
+    def _arrow3635(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("technologyType", OntologyAnnotation_ROCrate_decoderDefinedTerm)
+
+    def _arrow3636(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_6: IOptionalGetter = get.Optional
+        return object_arg_6.Field("technologyPlatform", OntologyAnnotation_ROCrate_decoderDefinedTerm)
+
+    def _arrow3637(__unit: None=None) -> Array[Person] | None:
+        arg_16: Decoder_1[Array[Person]] = resize_array(ROCrate_decoder_2)
+        object_arg_7: IOptionalGetter = get.Optional
+        return object_arg_7.Field("performers", arg_16)
+
+    def _arrow3638(__unit: None=None) -> Array[Comment] | None:
+        arg_18: Decoder_1[Array[Comment]] = resize_array(ROCrate_decoder_3)
+        object_arg_8: IOptionalGetter = get.Optional
+        return object_arg_8.Field("comments", arg_18)
+
+    return ArcAssay(identifier, _arrow3632(), _arrow3633(), _arrow3634(), _arrow3635(), _arrow3636(), tables, None, _arrow3637(), _arrow3638())
+
+
+ROCrate_decoder: Decoder_1[ArcAssay] = object(_arrow3639)
+
+def ISAJson_encoder(study_name: str | None, id_map: Any | None, a: ArcAssay) -> IEncodable:
+    def f(a_1: ArcAssay, study_name: Any=study_name, id_map: Any=id_map, a: Any=a) -> IEncodable:
+        file_name: str = Assay_fileNameFromIdentifier(a_1.Identifier)
+        processes: FSharpList[Process] = ARCtrl_ArcTables__ArcTables_GetProcesses(a_1)
+        def encoder_1(oa: OntologyAnnotation, a_1: Any=a_1) -> IEncodable:
+            return OntologyAnnotation_ISAJson_encoder(id_map, oa)
+
+        encoded_units: tuple[str, IEncodable | None] = try_include_list("unitCategories", encoder_1, get_units(processes))
+        def encoder_2(value_1: MaterialAttribute, a_1: Any=a_1) -> IEncodable:
+            return encoder_8(id_map, value_1)
+
+        encoded_characteristics: tuple[str, IEncodable | None] = try_include_list("characteristicCategories", encoder_2, get_characteristics(processes))
+        def _arrow3640(ps: FSharpList[Process], a_1: Any=a_1) -> IEncodable:
+            return encoder_9(id_map, ps)
+
+        encoded_materials: tuple[str, IEncodable | None] = try_include("materials", _arrow3640, Option_fromValueWithDefault(empty(), processes))
+        def encoder_3(oa_1: Data, a_1: Any=a_1) -> IEncodable:
+            return ISAJson_encoder_1(id_map, oa_1)
+
+        encoced_data_files: tuple[str, IEncodable | None] = try_include_list("dataFiles", encoder_3, get_data(processes))
+        units: FSharpList[OntologyAnnotation] = get_units(processes)
+        def _arrow3643(__unit: None=None, a_1: Any=a_1) -> IEnumerable_1[Comment]:
+            def _arrow3642(__unit: None=None) -> IEnumerable_1[Comment]:
+                def _arrow3641(__unit: None=None) -> IEnumerable_1[Comment]:
+                    return singleton_1(Comment.create("description", value_9(a_1.Description))) if (a_1.Description is not None) else empty_1()
+
+                return append(singleton_1(Comment.create("title", value_9(a_1.Title))) if (a_1.Title is not None) else empty_1(), delay(_arrow3641))
+
+            return append(a_1.Comments if (len(a_1.Comments) > 0) else empty_1(), delay(_arrow3642))
+
+        comments: FSharpList[Comment] = to_list(delay(_arrow3643))
+        def chooser(tupled_arg: tuple[str, IEncodable | None], a_1: Any=a_1) -> tuple[str, IEncodable] | None:
+            def mapping_1(v_1: IEncodable, tupled_arg: Any=tupled_arg) -> tuple[str, IEncodable]:
+                return (tupled_arg[0], v_1)
+
+            return map(mapping_1, tupled_arg[1])
+
+        class ObjectExpr3645(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any], a_1: Any=a_1) -> Any:
+                return helpers.encode_string(file_name)
+
+        def _arrow3647(value_5: str, a_1: Any=a_1) -> IEncodable:
+            class ObjectExpr3646(IEncodable):
+                def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers_1.encode_string(value_5)
+
+            return ObjectExpr3646()
+
+        def _arrow3648(oa_2: OntologyAnnotation, a_1: Any=a_1) -> IEncodable:
+            return OntologyAnnotation_ISAJson_encoder(id_map, oa_2)
+
+        def _arrow3649(oa_3: OntologyAnnotation, a_1: Any=a_1) -> IEncodable:
+            return OntologyAnnotation_ISAJson_encoder(id_map, oa_3)
+
+        def _arrow3651(value_7: str, a_1: Any=a_1) -> IEncodable:
+            class ObjectExpr3650(IEncodable):
+                def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers_2.encode_string(value_7)
+
+            return ObjectExpr3650()
+
+        def mapping(tp: OntologyAnnotation, a_1: Any=a_1) -> str:
+            return JsonTypes_composeTechnologyPlatform(tp)
+
+        def _arrow3653(__unit: None=None, a_1: Any=a_1) -> Callable[[Process], IEncodable]:
+            assay_name: str | None = a_1.Identifier
+            def _arrow3652(oa_4: Process) -> IEncodable:
+                return ISAJson_encoder_2(study_name, assay_name, id_map, oa_4)
+
+            return _arrow3652
+
+        def _arrow3654(comment: Comment, a_1: Any=a_1) -> IEncodable:
+            return ISAJson_encoder_3(id_map, comment)
+
+        values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("filename", ObjectExpr3645()), try_include("@id", _arrow3647, ROCrate_genID(a_1)), try_include("measurementType", _arrow3648, a_1.MeasurementType), try_include("technologyType", _arrow3649, a_1.TechnologyType), try_include("technologyPlatform", _arrow3651, map(mapping, a_1.TechnologyPlatform)), encoced_data_files, encoded_materials, encoded_characteristics, encoded_units, try_include_list("processSequence", _arrow3653(), processes), try_include_seq("comments", _arrow3654, comments)]))
+        class ObjectExpr3655(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any], a_1: Any=a_1) -> Any:
+                def mapping_2(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                    return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_3))
+
+                arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_2, values)
+                return helpers_3.encode_object(arg)
+
+        return ObjectExpr3655()
+
+    if id_map is not None:
+        def _arrow3656(a_2: ArcAssay, study_name: Any=study_name, id_map: Any=id_map, a: Any=a) -> str:
+            return ROCrate_genID(a_2)
+
+        return encode(_arrow3656, f, a, id_map)
+
+    else: 
+        return f(a)
+
+
+
+ISAJson_allowedFields: FSharpList[str] = of_array(["@id", "filename", "measurementType", "technologyType", "technologyPlatform", "dataFiles", "materials", "characteristicCategories", "unitCategories", "processSequence", "comments", "@type", "@context"])
+
+def _arrow3662(get: IGetters) -> ArcAssay:
+    def _arrow3657(__unit: None=None) -> str | None:
+        object_arg: IOptionalGetter = get.Optional
+        return object_arg.Field("filename", string)
+
+    identifier: str = default_arg(bind(Assay_tryIdentifierFromFileName, _arrow3657()), create_missing_identifier())
+    def mapping(arg_4: FSharpList[Process]) -> Array[ArcTable]:
+        a: ArcTables = ARCtrl_ArcTables__ArcTables_fromProcesses_Static_62A3309D(arg_4)
+        return a.Tables
+
+    def _arrow3658(__unit: None=None) -> FSharpList[Process] | None:
+        arg_3: Decoder_1[FSharpList[Process]] = list_1_2(ISAJson_decoder_1)
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("processSequence", arg_3)
+
+    tables: Array[ArcTable] | None = map(mapping, _arrow3658())
+    comments: Array[Comment] | None
+    arg_6: Decoder_1[Array[Comment]] = resize_array(ISAJson_decoder_2)
+    object_arg_2: IOptionalGetter = get.Optional
+    comments = object_arg_2.Field("comments", arg_6)
+    def binder(c: Array[Comment]) -> str | None:
+        def chooser(x: Comment, c: Any=c) -> str | None:
+            if (value_9(x.Name) == "title") if (x.Name is not None) else False:
+                return x.Value
+
+            else: 
+                return None
+
+
+        return try_pick(chooser, c)
+
+    title: str | None = bind(binder, comments)
+    def binder_1(c_1: Array[Comment]) -> str | None:
+        def chooser_1(x_1: Comment, c_1: Any=c_1) -> str | None:
+            if (value_9(x_1.Name) == "description") if (x_1.Name is not None) else False:
+                return x_1.Value
+
+            else: 
+                return None
+
+
+        return try_pick(chooser_1, c_1)
+
+    description: str | None = bind(binder_1, comments)
+    def binder_2(c_2: Array[Comment]) -> Array[Comment] | None:
+        def f(x_2: Comment, c_2: Any=c_2) -> bool:
+            if x_2.Name is None:
+                return True
+
+            elif value_9(x_2.Name) != "title":
+                return value_9(x_2.Name) != "description"
+
+            else: 
+                return False
+
+
+        match_value: Array[Comment] = ResizeArray_filter(f, c_2)
+        if length(match_value) == 0:
+            return None
+
+        else: 
+            return match_value
+
+
+    comments_1: Array[Comment] | None = bind(binder_2, comments)
+    def _arrow3659(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("measurementType", OntologyAnnotation_ISAJson_decoder)
+
+    def _arrow3660(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("technologyType", OntologyAnnotation_ISAJson_decoder)
+
+    def _arrow3661(__unit: None=None) -> OntologyAnnotation | None:
+        arg_12: Decoder_1[OntologyAnnotation] = map_2(JsonTypes_decomposeTechnologyPlatform, string)
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("technologyPlatform", arg_12)
+
+    return ArcAssay(identifier, title, description, _arrow3659(), _arrow3660(), _arrow3661(), tables, None, None, comments_1)
+
+
+ISAJson_decoder: Decoder_1[ArcAssay] = Decode_objectNoAdditionalProperties(ISAJson_allowedFields, _arrow3662)
+
+__all__ = ["encoder", "decoder", "encoder_compressed", "decoder_compressed", "ROCrate_genID", "ROCrate_encoder", "ROCrate_decoder", "ISAJson_encoder", "ISAJson_allowedFields", "ISAJson_decoder"]
+