arctrl 3.0.0a3__py3-none-any.whl

arctrl/py/Json/Process/material_attribute_value.py

@@ -0,0 +1,101 @@
+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)
+from ...fable_modules.fable_library.option import map
+from ...fable_modules.fable_library.seq import map as map_1
+from ...fable_modules.fable_library.util import IEnumerable_1
+from ...fable_modules.thoth_json_core.decode import (object, IOptionalGetter, IGetters)
+from ...fable_modules.thoth_json_core.types import (IEncodable, Decoder_1, IEncoderHelpers_1)
+from ...Core.ontology_annotation import OntologyAnnotation
+from ...Core.Process.material_attribute import MaterialAttribute
+from ...Core.Process.material_attribute_value import (MaterialAttributeValue, MaterialAttributeValue_createAsPV)
+from ...Core.value import Value as Value_1
+from ..decode import Decode_uri
+from ..encode import try_include
+from ..idtable import encode
+from ..ontology_annotation import (OntologyAnnotation_ISAJson_encoder, OntologyAnnotation_ISAJson_decoder)
+from ..property_value import (encoder, decoder, gen_id)
+from .material_attribute import (encoder as encoder_1, decoder as decoder_1)
+from .value import (encoder as encoder_2, decoder as decoder_2)
+
+__A_ = TypeVar("__A_")
+
+ROCrate_encoder: Callable[[MaterialAttributeValue], IEncodable] = encoder
+
+ROCrate_decoder: Decoder_1[MaterialAttributeValue] = decoder(MaterialAttributeValue_createAsPV)
+
+def ISAJson_genID(oa: MaterialAttributeValue) -> str:
+    return gen_id(oa)
+
+
+def ISAJson_encoder(id_map: Any | None, oa: MaterialAttributeValue) -> IEncodable:
+    def f(oa_1: MaterialAttributeValue, id_map: Any=id_map, oa: Any=oa) -> IEncodable:
+        def chooser(tupled_arg: tuple[str, IEncodable | None], oa_1: Any=oa_1) -> 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 _arrow2477(value: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2476(IEncodable):
+                def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers.encode_string(value)
+
+            return ObjectExpr2476()
+
+        def _arrow2478(value_2: MaterialAttribute, oa_1: Any=oa_1) -> IEncodable:
+            return encoder_1(id_map, value_2)
+
+        def _arrow2479(value_3: Value_1, oa_1: Any=oa_1) -> IEncodable:
+            return encoder_2(id_map, value_3)
+
+        def _arrow2480(oa_3: OntologyAnnotation, oa_1: Any=oa_1) -> IEncodable:
+            return OntologyAnnotation_ISAJson_encoder(id_map, oa_3)
+
+        values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([try_include("@id", _arrow2477, ISAJson_genID(oa_1)), try_include("category", _arrow2478, oa_1.Category), try_include("value", _arrow2479, oa_1.Value), try_include("unit", _arrow2480, oa_1.Unit)]))
+        class ObjectExpr2481(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any], oa_1: Any=oa_1) -> Any:
+                def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                    return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_1))
+
+                arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+                return helpers_1.encode_object(arg)
+
+        return ObjectExpr2481()
+
+    if id_map is not None:
+        def _arrow2482(oa_4: MaterialAttributeValue, id_map: Any=id_map, oa: Any=oa) -> str:
+            return ISAJson_genID(oa_4)
+
+        return encode(_arrow2482, f, oa, id_map)
+
+    else: 
+        return f(oa)
+
+
+
+def _arrow2487(get: IGetters) -> MaterialAttributeValue:
+    def _arrow2483(__unit: None=None) -> str | None:
+        object_arg: IOptionalGetter = get.Optional
+        return object_arg.Field("@id", Decode_uri)
+
+    def _arrow2484(__unit: None=None) -> MaterialAttribute | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("category", decoder_1)
+
+    def _arrow2485(__unit: None=None) -> Value_1 | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("value", decoder_2)
+
+    def _arrow2486(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("unit", OntologyAnnotation_ISAJson_decoder)
+
+    return MaterialAttributeValue(_arrow2483(), _arrow2484(), _arrow2485(), _arrow2486())
+
+
+ISAJson_decoder: Decoder_1[MaterialAttributeValue] = object(_arrow2487)
+
+__all__ = ["ROCrate_encoder", "ROCrate_decoder", "ISAJson_genID", "ISAJson_encoder", "ISAJson_decoder"]
+

arctrl/py/Json/Process/material_type.py

@@ -0,0 +1,53 @@
+from __future__ import annotations
+from collections.abc import Callable
+from typing import (Any, TypeVar)
+from ...fable_modules.fable_library.result import FSharpResult_2
+from ...fable_modules.thoth_json_core.decode import string
+from ...fable_modules.thoth_json_core.types import (IEncodable, IEncoderHelpers_1, Decoder_1, ErrorReason_1, IDecoderHelpers_1)
+from ...Core.Process.material_type import MaterialType
+
+__A_ = TypeVar("__A_")
+
+def ROCrate_encoder(value: MaterialType) -> IEncodable:
+    if value.tag == 1:
+        class ObjectExpr2434(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+                return helpers_1.encode_string("Labeled Extract Name")
+
+        return ObjectExpr2434()
+
+    else: 
+        class ObjectExpr2438(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+                return helpers.encode_string("Extract Name")
+
+        return ObjectExpr2438()
+
+
+
+class ObjectExpr2443(Decoder_1[MaterialType]):
+    def Decode(self, s: IDecoderHelpers_1[Any], json: Any) -> FSharpResult_2[MaterialType, tuple[str, ErrorReason_1[__A_]]]:
+        match_value: FSharpResult_2[str, tuple[str, ErrorReason_1[__A_]]] = string.Decode(s, json)
+        if match_value.tag == 1:
+            return FSharpResult_2(1, match_value.fields[0])
+
+        elif match_value.fields[0] == "Extract Name":
+            return FSharpResult_2(0, MaterialType(0))
+
+        elif match_value.fields[0] == "Labeled Extract Name":
+            return FSharpResult_2(0, MaterialType(1))
+
+        else: 
+            s_1: str = match_value.fields[0]
+            return FSharpResult_2(1, (("Could not parse " + s_1) + "No other value than \"Extract Name\" or \"Labeled Extract Name\" allowed for materialtype", ErrorReason_1(0, s_1, json)))
+
+
+
+ROCrate_decoder: Decoder_1[MaterialType] = ObjectExpr2443()
+
+ISAJson_encoder: Callable[[MaterialType], IEncodable] = ROCrate_encoder
+
+ISAJson_decoder: Decoder_1[MaterialType] = ROCrate_decoder
+
+__all__ = ["ROCrate_encoder", "ROCrate_decoder", "ISAJson_encoder", "ISAJson_decoder"]
+

arctrl/py/Json/Process/process.py

@@ -0,0 +1,296 @@
+from __future__ import annotations
+from collections.abc import Callable
+from typing import (Any, TypeVar)
+from ...fable_modules.fable_library.list import (choose, singleton, of_array, FSharpList)
+from ...fable_modules.fable_library.option import map
+from ...fable_modules.fable_library.seq import map as map_1
+from ...fable_modules.fable_library.string_ import replace
+from ...fable_modules.fable_library.util import IEnumerable_1
+from ...fable_modules.thoth_json_core.decode import (object, IOptionalGetter, string, list_1 as list_1_2, IGetters)
+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.comment import Comment
+from ...Core.Process.process import Process
+from ...Core.Process.process_input import ProcessInput
+from ...Core.Process.process_output import ProcessOutput
+from ...Core.Process.process_parameter_value import ProcessParameterValue
+from ...Core.Process.protocol import Protocol
+from ...Core.uri import URIModule_toString
+from ..comment import (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_process_context import context_jsonvalue
+from ..decode import Decode_uri
+from ..encode import (try_include, try_include_list_opt)
+from ..idtable import encode
+from ..person import (ROCrate_encodeAuthorListString, ROCrate_decodeAuthorListString)
+from .process_input import (ROCrate_encoder as ROCrate_encoder_3, ROCrate_decoder as ROCrate_decoder_3, ISAJson_encoder as ISAJson_encoder_3, ISAJson_decoder as ISAJson_decoder_3)
+from .process_output import (ROCrate_encoder as ROCrate_encoder_4, ROCrate_decoder as ROCrate_decoder_4, ISAJson_encoder as ISAJson_encoder_4, ISAJson_decoder as ISAJson_decoder_4)
+from .process_parameter_value import (ROCrate_encoder as ROCrate_encoder_2, ROCrate_decoder as ROCrate_decoder_2, ISAJson_encoder as ISAJson_encoder_2, ISAJson_decoder as ISAJson_decoder_2)
+from .protocol import (ROCrate_encoder as ROCrate_encoder_1, ROCrate_decoder as ROCrate_decoder_1, ISAJson_encoder as ISAJson_encoder_1, ISAJson_decoder as ISAJson_decoder_1)
+
+__A_ = TypeVar("__A_")
+
+def ROCrate_genID(p: Process) -> str:
+    match_value: str | None = p.ID
+    if match_value is None:
+        match_value_1: str | None = p.Name
+        if match_value_1 is None:
+            return "#EmptyProcess"
+
+        else: 
+            return "#Process_" + replace(match_value_1, " ", "_")
+
+
+    else: 
+        return URIModule_toString(match_value)
+
+
+
+def ROCrate_encoder(study_name: str | None, assay_name: str | None, oa: Process) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], study_name: Any=study_name, assay_name: Any=assay_name, 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 _arrow2678(__unit: None=None, study_name: Any=study_name, assay_name: Any=assay_name, oa: Any=oa) -> IEncodable:
+        value: str = ROCrate_genID(oa)
+        class ObjectExpr2677(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr2677()
+
+    class ObjectExpr2679(IEncodable):
+        def Encode(self, helpers_1: IEncoderHelpers_1[Any], study_name: Any=study_name, assay_name: Any=assay_name, oa: Any=oa) -> Any:
+            return helpers_1.encode_string("Process")
+
+    def _arrow2681(value_2: str, study_name: Any=study_name, assay_name: Any=assay_name, oa: Any=oa) -> IEncodable:
+        class ObjectExpr2680(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_2)
+
+        return ObjectExpr2680()
+
+    def _arrow2682(oa_1: Protocol, study_name: Any=study_name, assay_name: Any=assay_name, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_1(study_name, assay_name, oa.Name, oa_1)
+
+    def _arrow2683(author_list: str, study_name: Any=study_name, assay_name: Any=assay_name, oa: Any=oa) -> IEncodable:
+        return ROCrate_encodeAuthorListString(author_list)
+
+    def _arrow2685(value_4: str, study_name: Any=study_name, assay_name: Any=assay_name, oa: Any=oa) -> IEncodable:
+        class ObjectExpr2684(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_4)
+
+        return ObjectExpr2684()
+
+    def _arrow2686(value_6: ProcessInput, study_name: Any=study_name, assay_name: Any=assay_name, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_3(value_6)
+
+    def _arrow2687(value_7: ProcessOutput, study_name: Any=study_name, assay_name: Any=assay_name, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_4(value_7)
+
+    def _arrow2688(comment: Comment, study_name: Any=study_name, assay_name: Any=assay_name, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_5(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("@id", _arrow2678()), ("@type", list_1_1(singleton(ObjectExpr2679()))), try_include("name", _arrow2681, oa.Name), try_include("executesProtocol", _arrow2682, oa.ExecutesProtocol), try_include_list_opt("parameterValues", ROCrate_encoder_2, oa.ParameterValues), try_include("performer", _arrow2683, oa.Performer), try_include("date", _arrow2685, oa.Date), try_include_list_opt("inputs", _arrow2686, oa.Inputs), try_include_list_opt("outputs", _arrow2687, oa.Outputs), try_include_list_opt("comments", _arrow2688, oa.Comments), ("@context", context_jsonvalue)]))
+    class ObjectExpr2689(IEncodable):
+        def Encode(self, helpers_4: IEncoderHelpers_1[Any], study_name: Any=study_name, assay_name: Any=assay_name, 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_4))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_4.encode_object(arg)
+
+    return ObjectExpr2689()
+
+
+def _arrow2699(get: IGetters) -> Process:
+    def _arrow2690(__unit: None=None) -> str | None:
+        object_arg: IOptionalGetter = get.Optional
+        return object_arg.Field("@id", Decode_uri)
+
+    def _arrow2691(__unit: None=None) -> str | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("name", string)
+
+    def _arrow2692(__unit: None=None) -> Protocol | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("executesProtocol", ROCrate_decoder_1)
+
+    def _arrow2693(__unit: None=None) -> FSharpList[ProcessParameterValue] | None:
+        arg_7: Decoder_1[FSharpList[ProcessParameterValue]] = list_1_2(ROCrate_decoder_2)
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("parameterValues", arg_7)
+
+    def _arrow2694(__unit: None=None) -> str | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("performer", ROCrate_decodeAuthorListString)
+
+    def _arrow2695(__unit: None=None) -> str | None:
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("date", string)
+
+    def _arrow2696(__unit: None=None) -> FSharpList[ProcessInput] | None:
+        arg_13: Decoder_1[FSharpList[ProcessInput]] = list_1_2(ROCrate_decoder_3)
+        object_arg_6: IOptionalGetter = get.Optional
+        return object_arg_6.Field("inputs", arg_13)
+
+    def _arrow2697(__unit: None=None) -> FSharpList[ProcessOutput] | None:
+        arg_15: Decoder_1[FSharpList[ProcessOutput]] = list_1_2(ROCrate_decoder_4)
+        object_arg_7: IOptionalGetter = get.Optional
+        return object_arg_7.Field("outputs", arg_15)
+
+    def _arrow2698(__unit: None=None) -> FSharpList[Comment] | None:
+        arg_17: Decoder_1[FSharpList[Comment]] = list_1_2(ROCrate_decoder_5)
+        object_arg_8: IOptionalGetter = get.Optional
+        return object_arg_8.Field("comments", arg_17)
+
+    return Process(_arrow2690(), _arrow2691(), _arrow2692(), _arrow2693(), _arrow2694(), _arrow2695(), None, None, _arrow2696(), _arrow2697(), _arrow2698())
+
+
+ROCrate_decoder: Decoder_1[Process] = object(_arrow2699)
+
+def ISAJson_encoder(study_name: str | None, assay_name: str | None, id_map: Any | None, oa: Process) -> IEncodable:
+    def f(oa_1: Process, study_name: Any=study_name, assay_name: Any=assay_name, id_map: Any=id_map, oa: Any=oa) -> IEncodable:
+        def chooser(tupled_arg: tuple[str, IEncodable | None], oa_1: Any=oa_1) -> 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 _arrow2703(value: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2702(IEncodable):
+                def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers.encode_string(value)
+
+            return ObjectExpr2702()
+
+        def _arrow2705(value_2: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2704(IEncodable):
+                def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers_1.encode_string(value_2)
+
+            return ObjectExpr2704()
+
+        def _arrow2706(oa_2: Protocol, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_1(study_name, assay_name, oa_1.Name, id_map, oa_2)
+
+        def _arrow2707(oa_3: ProcessParameterValue, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_2(id_map, oa_3)
+
+        def _arrow2709(value_4: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2708(IEncodable):
+                def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers_2.encode_string(value_4)
+
+            return ObjectExpr2708()
+
+        def _arrow2711(value_6: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2710(IEncodable):
+                def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers_3.encode_string(value_6)
+
+            return ObjectExpr2710()
+
+        def _arrow2712(oa_4: Process, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder(study_name, assay_name, id_map, oa_4)
+
+        def _arrow2713(oa_5: Process, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder(study_name, assay_name, id_map, oa_5)
+
+        def _arrow2714(value_8: ProcessInput, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_3(id_map, value_8)
+
+        def _arrow2715(value_9: ProcessOutput, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_4(id_map, value_9)
+
+        def _arrow2716(comment: Comment, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_5(id_map, comment)
+
+        values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([try_include("@id", _arrow2703, ROCrate_genID(oa_1)), try_include("name", _arrow2705, oa_1.Name), try_include("executesProtocol", _arrow2706, oa_1.ExecutesProtocol), try_include_list_opt("parameterValues", _arrow2707, oa_1.ParameterValues), try_include("performer", _arrow2709, oa_1.Performer), try_include("date", _arrow2711, oa_1.Date), try_include("previousProcess", _arrow2712, oa_1.PreviousProcess), try_include("nextProcess", _arrow2713, oa_1.NextProcess), try_include_list_opt("inputs", _arrow2714, oa_1.Inputs), try_include_list_opt("outputs", _arrow2715, oa_1.Outputs), try_include_list_opt("comments", _arrow2716, oa_1.Comments)]))
+        class ObjectExpr2717(IEncodable):
+            def Encode(self, helpers_4: IEncoderHelpers_1[Any], oa_1: Any=oa_1) -> Any:
+                def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                    return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers_4))
+
+                arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+                return helpers_4.encode_object(arg)
+
+        return ObjectExpr2717()
+
+    if id_map is not None:
+        def _arrow2718(p: Process, study_name: Any=study_name, assay_name: Any=assay_name, id_map: Any=id_map, oa: Any=oa) -> str:
+            return ROCrate_genID(p)
+
+        return encode(_arrow2718, f, oa, id_map)
+
+    else: 
+        return f(oa)
+
+
+
+def _arrow2731(__unit: None=None) -> Decoder_1[Process]:
+    def decode(__unit: None=None) -> Decoder_1[Process]:
+        def _arrow2730(get: IGetters) -> Process:
+            def _arrow2719(__unit: None=None) -> str | None:
+                object_arg: IOptionalGetter = get.Optional
+                return object_arg.Field("@id", Decode_uri)
+
+            def _arrow2720(__unit: None=None) -> str | None:
+                object_arg_1: IOptionalGetter = get.Optional
+                return object_arg_1.Field("name", string)
+
+            def _arrow2721(__unit: None=None) -> Protocol | None:
+                object_arg_2: IOptionalGetter = get.Optional
+                return object_arg_2.Field("executesProtocol", ISAJson_decoder_1)
+
+            def _arrow2722(__unit: None=None) -> FSharpList[ProcessParameterValue] | None:
+                arg_7: Decoder_1[FSharpList[ProcessParameterValue]] = list_1_2(ISAJson_decoder_2)
+                object_arg_3: IOptionalGetter = get.Optional
+                return object_arg_3.Field("parameterValues", arg_7)
+
+            def _arrow2723(__unit: None=None) -> str | None:
+                object_arg_4: IOptionalGetter = get.Optional
+                return object_arg_4.Field("performer", string)
+
+            def _arrow2724(__unit: None=None) -> str | None:
+                object_arg_5: IOptionalGetter = get.Optional
+                return object_arg_5.Field("date", string)
+
+            def _arrow2725(__unit: None=None) -> Process | None:
+                arg_13: Decoder_1[Process] = decode(None)
+                object_arg_6: IOptionalGetter = get.Optional
+                return object_arg_6.Field("previousProcess", arg_13)
+
+            def _arrow2726(__unit: None=None) -> Process | None:
+                arg_15: Decoder_1[Process] = decode(None)
+                object_arg_7: IOptionalGetter = get.Optional
+                return object_arg_7.Field("nextProcess", arg_15)
+
+            def _arrow2727(__unit: None=None) -> FSharpList[ProcessInput] | None:
+                arg_17: Decoder_1[FSharpList[ProcessInput]] = list_1_2(ISAJson_decoder_3)
+                object_arg_8: IOptionalGetter = get.Optional
+                return object_arg_8.Field("inputs", arg_17)
+
+            def _arrow2728(__unit: None=None) -> FSharpList[ProcessOutput] | None:
+                arg_19: Decoder_1[FSharpList[ProcessOutput]] = list_1_2(ISAJson_decoder_4)
+                object_arg_9: IOptionalGetter = get.Optional
+                return object_arg_9.Field("outputs", arg_19)
+
+            def _arrow2729(__unit: None=None) -> FSharpList[Comment] | None:
+                arg_21: Decoder_1[FSharpList[Comment]] = list_1_2(ISAJson_decoder_5)
+                object_arg_10: IOptionalGetter = get.Optional
+                return object_arg_10.Field("comments", arg_21)
+
+            return Process(_arrow2719(), _arrow2720(), _arrow2721(), _arrow2722(), _arrow2723(), _arrow2724(), _arrow2725(), _arrow2726(), _arrow2727(), _arrow2728(), _arrow2729())
+
+        return object(_arrow2730)
+
+    return decode(None)
+
+
+ISAJson_decoder: Decoder_1[Process] = _arrow2731()
+
+__all__ = ["ROCrate_genID", "ROCrate_encoder", "ROCrate_decoder", "ISAJson_encoder", "ISAJson_decoder"]
+

arctrl/py/Json/Process/process_input.py

@@ -0,0 +1,83 @@
+from __future__ import annotations
+from typing import Any
+from ...fable_modules.fable_library.list import of_array
+from ...fable_modules.thoth_json_core.decode import (one_of, map)
+from ...fable_modules.thoth_json_core.types import (IEncodable, Decoder_1)
+from ...Core.data import Data
+from ...Core.Process.material import Material
+from ...Core.Process.process_input import ProcessInput
+from ...Core.Process.sample import Sample
+from ...Core.Process.source import Source
+from ..data import (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 .material import (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 .sample import (ROCrate_encoder as ROCrate_encoder_1, ROCrate_decoder as ROCrate_decoder_1, ISAJson_encoder as ISAJson_encoder_1, ISAJson_decoder as ISAJson_decoder_2)
+from .source import (ROCrate_encoder as ROCrate_encoder_4, ROCrate_decoder as ROCrate_decoder_2, ISAJson_encoder as ISAJson_encoder_4, ISAJson_decoder as ISAJson_decoder_1)
+
+def ROCrate_encoder(value: ProcessInput) -> IEncodable:
+    if value.tag == 1:
+        return ROCrate_encoder_1(value.fields[0])
+
+    elif value.tag == 2:
+        return ROCrate_encoder_2(value.fields[0])
+
+    elif value.tag == 3:
+        return ROCrate_encoder_3(value.fields[0])
+
+    else: 
+        return ROCrate_encoder_4(value.fields[0])
+
+
+
+def _arrow2634(Item: Sample) -> ProcessInput:
+    return ProcessInput(1, Item)
+
+
+def _arrow2637(Item_1: Source) -> ProcessInput:
+    return ProcessInput(0, Item_1)
+
+
+def _arrow2638(Item_2: Data) -> ProcessInput:
+    return ProcessInput(2, Item_2)
+
+
+def _arrow2639(Item_3: Material) -> ProcessInput:
+    return ProcessInput(3, Item_3)
+
+
+ROCrate_decoder: Decoder_1[ProcessInput] = one_of(of_array([map(_arrow2634, ROCrate_decoder_1), map(_arrow2637, ROCrate_decoder_2), map(_arrow2638, ROCrate_decoder_3), map(_arrow2639, ROCrate_decoder_4)]))
+
+def ISAJson_encoder(id_map: Any | None, value: ProcessInput) -> IEncodable:
+    if value.tag == 1:
+        return ISAJson_encoder_1(id_map, value.fields[0])
+
+    elif value.tag == 2:
+        return ISAJson_encoder_2(id_map, value.fields[0])
+
+    elif value.tag == 3:
+        return ISAJson_encoder_3(id_map, value.fields[0])
+
+    else: 
+        return ISAJson_encoder_4(id_map, value.fields[0])
+
+
+
+def _arrow2646(Item: Source) -> ProcessInput:
+    return ProcessInput(0, Item)
+
+
+def _arrow2647(Item_1: Sample) -> ProcessInput:
+    return ProcessInput(1, Item_1)
+
+
+def _arrow2648(Item_2: Data) -> ProcessInput:
+    return ProcessInput(2, Item_2)
+
+
+def _arrow2650(Item_3: Material) -> ProcessInput:
+    return ProcessInput(3, Item_3)
+
+
+ISAJson_decoder: Decoder_1[ProcessInput] = one_of(of_array([map(_arrow2646, ISAJson_decoder_1), map(_arrow2647, ISAJson_decoder_2), map(_arrow2648, ISAJson_decoder_3), map(_arrow2650, ISAJson_decoder_4)]))
+
+__all__ = ["ROCrate_encoder", "ROCrate_decoder", "ISAJson_encoder", "ISAJson_decoder"]
+

arctrl/py/Json/Process/process_output.py

@@ -0,0 +1,67 @@
+from __future__ import annotations
+from typing import Any
+from ...fable_modules.fable_library.list import of_array
+from ...fable_modules.thoth_json_core.decode import (one_of, map)
+from ...fable_modules.thoth_json_core.types import (IEncodable, Decoder_1)
+from ...Core.data import Data
+from ...Core.Process.material import Material
+from ...Core.Process.process_output import ProcessOutput
+from ...Core.Process.sample import Sample
+from ..data import (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 .material import (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 .sample import (ROCrate_encoder as ROCrate_encoder_3, ROCrate_decoder as ROCrate_decoder_1, ISAJson_encoder as ISAJson_encoder_3, ISAJson_decoder as ISAJson_decoder_1)
+
+def ROCrate_encoder(value: ProcessOutput) -> IEncodable:
+    if value.tag == 1:
+        return ROCrate_encoder_1(value.fields[0])
+
+    elif value.tag == 2:
+        return ROCrate_encoder_2(value.fields[0])
+
+    else: 
+        return ROCrate_encoder_3(value.fields[0])
+
+
+
+def _arrow2659(Item: Sample) -> ProcessOutput:
+    return ProcessOutput(0, Item)
+
+
+def _arrow2660(Item_1: Data) -> ProcessOutput:
+    return ProcessOutput(1, Item_1)
+
+
+def _arrow2661(Item_2: Material) -> ProcessOutput:
+    return ProcessOutput(2, Item_2)
+
+
+ROCrate_decoder: Decoder_1[ProcessOutput] = one_of(of_array([map(_arrow2659, ROCrate_decoder_1), map(_arrow2660, ROCrate_decoder_2), map(_arrow2661, ROCrate_decoder_3)]))
+
+def ISAJson_encoder(id_map: Any | None, value: ProcessOutput) -> IEncodable:
+    if value.tag == 1:
+        return ISAJson_encoder_1(id_map, value.fields[0])
+
+    elif value.tag == 2:
+        return ISAJson_encoder_2(id_map, value.fields[0])
+
+    else: 
+        return ISAJson_encoder_3(id_map, value.fields[0])
+
+
+
+def _arrow2663(Item: Sample) -> ProcessOutput:
+    return ProcessOutput(0, Item)
+
+
+def _arrow2664(Item_1: Data) -> ProcessOutput:
+    return ProcessOutput(1, Item_1)
+
+
+def _arrow2665(Item_2: Material) -> ProcessOutput:
+    return ProcessOutput(2, Item_2)
+
+
+ISAJson_decoder: Decoder_1[ProcessOutput] = one_of(of_array([map(_arrow2663, ISAJson_decoder_1), map(_arrow2664, ISAJson_decoder_2), map(_arrow2665, ISAJson_decoder_3)]))
+
+__all__ = ["ROCrate_encoder", "ROCrate_decoder", "ISAJson_encoder", "ISAJson_decoder"]
+