arctrl 3.0.0a3__py3-none-any.whl

arctrl/py/Json/Process/sample.py

@@ -0,0 +1,277 @@
+from __future__ import annotations
+from collections.abc import Callable
+from typing import (Any, TypeVar)
+from ...fable_modules.fable_library.list import (FSharpList, map, empty, append, choose, singleton, of_array, is_empty, head, tail)
+from ...fable_modules.fable_library.option import (default_arg, map as map_1)
+from ...fable_modules.fable_library.result import FSharpResult_2
+from ...fable_modules.fable_library.seq import map as map_2
+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 (string, object, IOptionalGetter, IRequiredGetter, unit, list_1 as list_1_3, IGetters)
+from ...fable_modules.thoth_json_core.encode import list_1 as list_1_2
+from ...fable_modules.thoth_json_core.types import (IEncodable, IEncoderHelpers_1, Decoder_1, ErrorReason_1, IDecoderHelpers_1)
+from ...Core.Helper.collections_ import Option_fromValueWithDefault
+from ...Core.Process.factor_value import FactorValue
+from ...Core.Process.material_attribute_value import MaterialAttributeValue
+from ...Core.Process.sample import Sample
+from ...Core.Process.source import Source
+from ..context.rocrate.isa_sample_context import context_jsonvalue
+from ..decode import (Decode_uri, Decode_objectNoAdditionalProperties)
+from ..encode import (try_include, try_include_list, try_include_list_opt)
+from ..idtable import encode
+from .factor_value import (ROCrate_encoder as ROCrate_encoder_2, ROCrate_decoder as ROCrate_decoder_1, ISAJson_encoder as ISAJson_encoder_2, ISAJson_decoder as ISAJson_decoder_2)
+from .material_attribute_value import (ROCrate_encoder as ROCrate_encoder_1, ROCrate_decoder as ROCrate_decoder_2, ISAJson_encoder as ISAJson_encoder_1, ISAJson_decoder as ISAJson_decoder_1)
+from .source import (ROCrate_decoder as ROCrate_decoder_3, ISAJson_encoder as ISAJson_encoder_3, ISAJson_decoder as ISAJson_decoder_3)
+
+__A_ = TypeVar("__A_")
+
+def ROCrate_genID(s: Sample) -> str:
+    match_value: str | None = s.ID
+    if match_value is None:
+        match_value_1: str | None = s.Name
+        if match_value_1 is None:
+            return "#EmptySample"
+
+        else: 
+            return "#Sample_" + replace(match_value_1, " ", "_")
+
+
+    else: 
+        return match_value
+
+
+
+def ROCrate_encoder(oa: Sample) -> IEncodable:
+    additional_properties: FSharpList[IEncodable]
+    list_4: FSharpList[IEncodable] = map(ROCrate_encoder_1, default_arg(oa.Characteristics, empty()))
+    additional_properties = append(map(ROCrate_encoder_2, default_arg(oa.FactorValues, empty())), list_4)
+    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_1(mapping, tupled_arg[1])
+
+    def _arrow2618(__unit: None=None, oa: Any=oa) -> IEncodable:
+        value_2: str = ROCrate_genID(oa)
+        class ObjectExpr2617(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value_2)
+
+        return ObjectExpr2617()
+
+    class ObjectExpr2619(IEncodable):
+        def Encode(self, helpers_1: IEncoderHelpers_1[Any], oa: Any=oa) -> Any:
+            return helpers_1.encode_string("Sample")
+
+    class ObjectExpr2620(IEncodable):
+        def Encode(self, helpers_2: IEncoderHelpers_1[Any], oa: Any=oa) -> Any:
+            return helpers_2.encode_string("Sample")
+
+    def _arrow2622(value_5: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr2621(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_5)
+
+        return ObjectExpr2621()
+
+    def _arrow2623(x: IEncodable, oa: Any=oa) -> IEncodable:
+        return x
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("@id", _arrow2618()), ("@type", list_1_2(singleton(ObjectExpr2619()))), ("additionalType", ObjectExpr2620()), try_include("name", _arrow2622, oa.Name), try_include_list("additionalProperties", _arrow2623, additional_properties), ("@context", context_jsonvalue)]))
+    class ObjectExpr2624(IEncodable):
+        def Encode(self, helpers_4: 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_4))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_2(mapping_1, values)
+            return helpers_4.encode_object(arg)
+
+    return ObjectExpr2624()
+
+
+class ObjectExpr2626(Decoder_1[tuple[MaterialAttributeValue | None, FactorValue | None]]):
+    def Decode(self, s: IDecoderHelpers_1[Any], json: Any) -> FSharpResult_2[tuple[MaterialAttributeValue | None, FactorValue | None], tuple[str, ErrorReason_1[__A_]]]:
+        def _arrow2625(__unit: None=None) -> str:
+            match_value: FSharpResult_2[str, tuple[str, ErrorReason_1[__A_]]] = string.Decode(s, s.get_property("additionalType", json))
+            return match_value.fields[0] if (match_value.tag == 0) else ""
+
+        if (_arrow2625() if s.has_property("additionalType", json) else "") == "FactorValue":
+            match_value_1: FSharpResult_2[FactorValue, tuple[str, ErrorReason_1[__A_]]] = ROCrate_decoder_1.Decode(s, json)
+            return FSharpResult_2(1, match_value_1.fields[0]) if (match_value_1.tag == 1) else FSharpResult_2(0, (None, match_value_1.fields[0]))
+
+        else: 
+            match_value_2: FSharpResult_2[MaterialAttributeValue, tuple[str, ErrorReason_1[__A_]]] = ROCrate_decoder_2.Decode(s, json)
+            return FSharpResult_2(1, match_value_2.fields[0]) if (match_value_2.tag == 1) else FSharpResult_2(0, (match_value_2.fields[0], None))
+
+
+
+ROCrate_additionalPropertyDecoder: Decoder_1[tuple[MaterialAttributeValue | None, FactorValue | None]] = ObjectExpr2626()
+
+def _arrow2630(get: IGetters) -> Sample:
+    match_value: str | None
+    object_arg: IOptionalGetter = get.Optional
+    match_value = object_arg.Field("additionalType", Decode_uri)
+    (pattern_matching_result,) = (None,)
+    if match_value is None:
+        pattern_matching_result = 0
+
+    elif match_value == "Sample":
+        pattern_matching_result = 0
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 1:
+        object_arg_1: IRequiredGetter = get.Required
+        object_arg_1.Field("FailBecauseNotSample", unit)
+
+    match_value_1: FSharpList[str] | None
+    arg_5: Decoder_1[FSharpList[str]] = list_1_3(string)
+    object_arg_2: IOptionalGetter = get.Optional
+    match_value_1 = object_arg_2.Field("@type", arg_5)
+    (pattern_matching_result_1,) = (None,)
+    if match_value_1 is None:
+        pattern_matching_result_1 = 0
+
+    elif not is_empty(match_value_1):
+        if head(match_value_1) == "Sample":
+            if is_empty(tail(match_value_1)):
+                pattern_matching_result_1 = 0
+
+            else: 
+                pattern_matching_result_1 = 1
+
+
+        else: 
+            pattern_matching_result_1 = 1
+
+
+    else: 
+        pattern_matching_result_1 = 1
+
+    if pattern_matching_result_1 == 1:
+        object_arg_3: IRequiredGetter = get.Required
+        object_arg_3.Field("FailBecauseNotSample", unit)
+
+    additional_properties: FSharpList[tuple[MaterialAttributeValue | None, FactorValue | None]] | None
+    arg_9: Decoder_1[FSharpList[tuple[MaterialAttributeValue | None, FactorValue | None]]] = list_1_3(ROCrate_additionalPropertyDecoder)
+    object_arg_4: IOptionalGetter = get.Optional
+    additional_properties = object_arg_4.Field("additionalProperties", arg_9)
+    pattern_input: tuple[FSharpList[MaterialAttributeValue] | None, FSharpList[FactorValue] | None]
+    if additional_properties is not None:
+        additional_properties_1: FSharpList[tuple[MaterialAttributeValue | None, FactorValue | None]] = additional_properties
+        def chooser(tuple: tuple[MaterialAttributeValue | None, FactorValue | None]) -> MaterialAttributeValue | None:
+            return tuple[0]
+
+        def chooser_1(tuple_1: tuple[MaterialAttributeValue | None, FactorValue | None]) -> FactorValue | None:
+            return tuple_1[1]
+
+        pattern_input = (Option_fromValueWithDefault(empty(), choose(chooser, additional_properties_1)), Option_fromValueWithDefault(empty(), choose(chooser_1, additional_properties_1)))
+
+    else: 
+        pattern_input = (None, None)
+
+    def _arrow2627(__unit: None=None) -> str | None:
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("@id", Decode_uri)
+
+    def _arrow2628(__unit: None=None) -> str | None:
+        object_arg_6: IOptionalGetter = get.Optional
+        return object_arg_6.Field("name", string)
+
+    def _arrow2629(__unit: None=None) -> FSharpList[Source] | None:
+        arg_15: Decoder_1[FSharpList[Source]] = list_1_3(ROCrate_decoder_3)
+        object_arg_7: IOptionalGetter = get.Optional
+        return object_arg_7.Field("derivesFrom", arg_15)
+
+    return Sample(_arrow2627(), _arrow2628(), pattern_input[0], pattern_input[1], _arrow2629())
+
+
+ROCrate_decoder: Decoder_1[Sample] = object(_arrow2630)
+
+def ISAJson_encoder(id_map: Any | None, oa: Sample) -> IEncodable:
+    def f(oa_1: Sample, 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_1(mapping, tupled_arg[1])
+
+        def _arrow2636(value: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2635(IEncodable):
+                def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers.encode_string(value)
+
+            return ObjectExpr2635()
+
+        def _arrow2641(value_2: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2640(IEncodable):
+                def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers_1.encode_string(value_2)
+
+            return ObjectExpr2640()
+
+        def _arrow2642(oa_2: MaterialAttributeValue, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_1(id_map, oa_2)
+
+        def _arrow2643(fv: FactorValue, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_2(id_map, fv)
+
+        def _arrow2644(oa_3: Source, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_3(id_map, oa_3)
+
+        values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([try_include("@id", _arrow2636, ROCrate_genID(oa_1)), try_include("name", _arrow2641, oa_1.Name), try_include_list_opt("characteristics", _arrow2642, oa_1.Characteristics), try_include_list_opt("factorValues", _arrow2643, oa_1.FactorValues), try_include_list_opt("derivesFrom", _arrow2644, oa_1.DerivesFrom)]))
+        class ObjectExpr2649(IEncodable):
+            def Encode(self, helpers_2: 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_2))
+
+                arg: IEnumerable_1[tuple[str, __A_]] = map_2(mapping_1, values)
+                return helpers_2.encode_object(arg)
+
+        return ObjectExpr2649()
+
+    if id_map is not None:
+        def _arrow2651(s_1: Sample, id_map: Any=id_map, oa: Any=oa) -> str:
+            return ROCrate_genID(s_1)
+
+        return encode(_arrow2651, f, oa, id_map)
+
+    else: 
+        return f(oa)
+
+
+
+ISAJson_allowedFields: FSharpList[str] = of_array(["@id", "name", "characteristics", "factorValues", "derivesFrom", "@type", "@context"])
+
+def _arrow2657(get: IGetters) -> Sample:
+    def _arrow2652(__unit: None=None) -> str | None:
+        object_arg: IOptionalGetter = get.Optional
+        return object_arg.Field("@id", Decode_uri)
+
+    def _arrow2653(__unit: None=None) -> str | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("name", string)
+
+    def _arrow2654(__unit: None=None) -> FSharpList[MaterialAttributeValue] | None:
+        arg_5: Decoder_1[FSharpList[MaterialAttributeValue]] = list_1_3(ISAJson_decoder_1)
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("characteristics", arg_5)
+
+    def _arrow2655(__unit: None=None) -> FSharpList[FactorValue] | None:
+        arg_7: Decoder_1[FSharpList[FactorValue]] = list_1_3(ISAJson_decoder_2)
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("factorValues", arg_7)
+
+    def _arrow2656(__unit: None=None) -> FSharpList[Source] | None:
+        arg_9: Decoder_1[FSharpList[Source]] = list_1_3(ISAJson_decoder_3)
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("derivesFrom", arg_9)
+
+    return Sample(_arrow2652(), _arrow2653(), _arrow2654(), _arrow2655(), _arrow2656())
+
+
+ISAJson_decoder: Decoder_1[Sample] = Decode_objectNoAdditionalProperties(ISAJson_allowedFields, _arrow2657)
+
+__all__ = ["ROCrate_genID", "ROCrate_encoder", "ROCrate_additionalPropertyDecoder", "ROCrate_decoder", "ISAJson_encoder", "ISAJson_allowedFields", "ISAJson_decoder"]
+

arctrl/py/Json/Process/source.py

@@ -0,0 +1,214 @@
+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, is_empty, head, tail)
+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, IRequiredGetter, unit, list_1 as list_1_2, string, 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.Process.material_attribute_value import MaterialAttributeValue
+from ...Core.Process.source import Source
+from ...Core.uri import URIModule_toString
+from ..context.rocrate.isa_source_context import context_jsonvalue
+from ..decode import (Decode_uri, Decode_objectNoAdditionalProperties)
+from ..encode import (try_include, try_include_list_opt)
+from ..idtable import encode
+from .material_attribute_value 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(s: Source) -> str:
+    match_value: str | None = s.ID
+    if match_value is None:
+        match_value_1: str | None = s.Name
+        if match_value_1 is None:
+            return "#EmptySource"
+
+        else: 
+            return "#Source_" + replace(match_value_1, " ", "_")
+
+
+    else: 
+        return URIModule_toString(match_value)
+
+
+
+def ROCrate_encoder(oa: Source) -> 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 _arrow2582(__unit: None=None, oa: Any=oa) -> IEncodable:
+        value: str = ROCrate_genID(oa)
+        class ObjectExpr2581(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr2581()
+
+    class ObjectExpr2583(IEncodable):
+        def Encode(self, helpers_1: IEncoderHelpers_1[Any], oa: Any=oa) -> Any:
+            return helpers_1.encode_string("Source")
+
+    class ObjectExpr2584(IEncodable):
+        def Encode(self, helpers_2: IEncoderHelpers_1[Any], oa: Any=oa) -> Any:
+            return helpers_2.encode_string("Source")
+
+    def _arrow2586(value_3: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr2585(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_3)
+
+        return ObjectExpr2585()
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("@id", _arrow2582()), ("@type", list_1_1(singleton(ObjectExpr2583()))), ("additionalType", ObjectExpr2584()), try_include("name", _arrow2586, oa.Name), try_include_list_opt("characteristics", ROCrate_encoder_1, oa.Characteristics), ("@context", context_jsonvalue)]))
+    class ObjectExpr2587(IEncodable):
+        def Encode(self, helpers_4: 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_4))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_4.encode_object(arg)
+
+    return ObjectExpr2587()
+
+
+def _arrow2591(get: IGetters) -> Source:
+    match_value: str | None
+    object_arg: IOptionalGetter = get.Optional
+    match_value = object_arg.Field("additionalType", Decode_uri)
+    (pattern_matching_result,) = (None,)
+    if match_value is None:
+        pattern_matching_result = 0
+
+    elif match_value == "Source":
+        pattern_matching_result = 0
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 1:
+        object_arg_1: IRequiredGetter = get.Required
+        object_arg_1.Field("FailBecauseNotSample", unit)
+
+    match_value_1: FSharpList[str] | None
+    arg_5: Decoder_1[FSharpList[str]] = list_1_2(string)
+    object_arg_2: IOptionalGetter = get.Optional
+    match_value_1 = object_arg_2.Field("@type", arg_5)
+    (pattern_matching_result_1,) = (None,)
+    if match_value_1 is None:
+        pattern_matching_result_1 = 0
+
+    elif not is_empty(match_value_1):
+        if head(match_value_1) == "Source":
+            if is_empty(tail(match_value_1)):
+                pattern_matching_result_1 = 0
+
+            else: 
+                pattern_matching_result_1 = 1
+
+
+        else: 
+            pattern_matching_result_1 = 1
+
+
+    else: 
+        pattern_matching_result_1 = 1
+
+    if pattern_matching_result_1 == 1:
+        object_arg_3: IRequiredGetter = get.Required
+        object_arg_3.Field("FailBecauseNotSample", unit)
+
+    def _arrow2588(__unit: None=None) -> str | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("@id", Decode_uri)
+
+    def _arrow2589(__unit: None=None) -> str | None:
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("name", string)
+
+    def _arrow2590(__unit: None=None) -> FSharpList[MaterialAttributeValue] | None:
+        arg_13: Decoder_1[FSharpList[MaterialAttributeValue]] = list_1_2(ROCrate_decoder_1)
+        object_arg_6: IOptionalGetter = get.Optional
+        return object_arg_6.Field("characteristics", arg_13)
+
+    return Source(_arrow2588(), _arrow2589(), _arrow2590())
+
+
+ROCrate_decoder: Decoder_1[Source] = object(_arrow2591)
+
+def ISAJson_encoder(id_map: Any | None, oa: Source) -> IEncodable:
+    def f(oa_1: Source, 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 _arrow2595(value: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2594(IEncodable):
+                def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers.encode_string(value)
+
+            return ObjectExpr2594()
+
+        def _arrow2597(value_2: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2596(IEncodable):
+                def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers_1.encode_string(value_2)
+
+            return ObjectExpr2596()
+
+        def _arrow2598(oa_2: MaterialAttributeValue, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_1(id_map, oa_2)
+
+        values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([try_include("@id", _arrow2595, ROCrate_genID(oa_1)), try_include("name", _arrow2597, oa_1.Name), try_include_list_opt("characteristics", _arrow2598, oa_1.Characteristics)]))
+        class ObjectExpr2599(IEncodable):
+            def Encode(self, helpers_2: 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_2))
+
+                arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+                return helpers_2.encode_object(arg)
+
+        return ObjectExpr2599()
+
+    if id_map is not None:
+        def _arrow2600(s_1: Source, id_map: Any=id_map, oa: Any=oa) -> str:
+            return ROCrate_genID(s_1)
+
+        return encode(_arrow2600, f, oa, id_map)
+
+    else: 
+        return f(oa)
+
+
+
+ISAJson_allowedFields: FSharpList[str] = of_array(["@id", "name", "characteristics", "@type", "@context"])
+
+def _arrow2604(get: IGetters) -> Source:
+    def _arrow2601(__unit: None=None) -> str | None:
+        object_arg: IOptionalGetter = get.Optional
+        return object_arg.Field("@id", Decode_uri)
+
+    def _arrow2602(__unit: None=None) -> str | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("name", string)
+
+    def _arrow2603(__unit: None=None) -> FSharpList[MaterialAttributeValue] | None:
+        arg_5: Decoder_1[FSharpList[MaterialAttributeValue]] = list_1_2(ISAJson_decoder_1)
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("characteristics", arg_5)
+
+    return Source(_arrow2601(), _arrow2602(), _arrow2603())
+
+
+ISAJson_decoder: Decoder_1[Source] = Decode_objectNoAdditionalProperties(ISAJson_allowedFields, _arrow2604)
+
+__all__ = ["ROCrate_genID", "ROCrate_encoder", "ROCrate_decoder", "ISAJson_encoder", "ISAJson_allowedFields", "ISAJson_decoder"]
+

arctrl/py/Json/Process/study_materials.py

@@ -0,0 +1,52 @@
+from __future__ import annotations
+from typing import (Any, TypeVar)
+from ...fable_modules.fable_library.list import (FSharpList, choose, of_array)
+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.types import (IEncodable, IEncoderHelpers_1)
+from ...Core.Process.material import Material
+from ...Core.Process.process import Process
+from ...Core.Process.process_sequence import (get_sources, get_samples, get_materials)
+from ...Core.Process.sample import Sample
+from ...Core.Process.source import Source
+from ..encode import try_include_list
+from .material import ISAJson_encoder as ISAJson_encoder_2
+from .sample import ISAJson_encoder as ISAJson_encoder_1
+from .source import ISAJson_encoder
+
+__A_ = TypeVar("__A_")
+
+def encoder(id_map: Any | None, ps: FSharpList[Process]) -> IEncodable:
+    source: FSharpList[Source] = get_sources(ps)
+    samples: FSharpList[Sample] = get_samples(ps)
+    materials: FSharpList[Material] = get_materials(ps)
+    def chooser(tupled_arg: tuple[str, IEncodable | None], id_map: Any=id_map, ps: Any=ps) -> 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 _arrow2671(oa: Source, id_map: Any=id_map, ps: Any=ps) -> IEncodable:
+        return ISAJson_encoder(id_map, oa)
+
+    def _arrow2672(oa_1: Sample, id_map: Any=id_map, ps: Any=ps) -> IEncodable:
+        return ISAJson_encoder_1(id_map, oa_1)
+
+    def _arrow2673(c: Material, id_map: Any=id_map, ps: Any=ps) -> IEncodable:
+        return ISAJson_encoder_2(id_map, c)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([try_include_list("sources", _arrow2671, source), try_include_list("samples", _arrow2672, samples), try_include_list("otherMaterials", _arrow2673, materials)]))
+    class ObjectExpr2674(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], id_map: Any=id_map, ps: Any=ps) -> Any:
+            def mapping_1(tupled_arg_1: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                return (tupled_arg_1[0], tupled_arg_1[1].Encode(helpers))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers.encode_object(arg)
+
+    return ObjectExpr2674()
+
+
+__all__ = ["encoder"]
+

arctrl/py/Json/Process/value.py

@@ -0,0 +1,56 @@
+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, int_1, float_1, string)
+from ...fable_modules.thoth_json_core.types import (IEncodable, IEncoderHelpers_1, Decoder_1)
+from ...Core.ontology_annotation import OntologyAnnotation
+from ...Core.value import Value
+from ..ontology_annotation import (OntologyAnnotation_ISAJson_encoder, OntologyAnnotation_ISAJson_decoder)
+
+def encoder(id_map: Any | None, value: Value) -> IEncodable:
+    if value.tag == 1:
+        class ObjectExpr2232(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any], id_map: Any=id_map, value: Any=value) -> Any:
+                return helpers_1.encode_signed_integral_number(value.fields[0])
+
+        return ObjectExpr2232()
+
+    elif value.tag == 3:
+        class ObjectExpr2233(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any], id_map: Any=id_map, value: Any=value) -> Any:
+                return helpers_2.encode_string(value.fields[0])
+
+        return ObjectExpr2233()
+
+    elif value.tag == 0:
+        return OntologyAnnotation_ISAJson_encoder(id_map, value.fields[0])
+
+    else: 
+        class ObjectExpr2234(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any], id_map: Any=id_map, value: Any=value) -> Any:
+                return helpers.encode_decimal_number(value.fields[0])
+
+        return ObjectExpr2234()
+
+
+
+def _arrow2236(Item: int) -> Value:
+    return Value(1, Item)
+
+
+def _arrow2237(Item_1: float) -> Value:
+    return Value(2, Item_1)
+
+
+def _arrow2238(Item_2: OntologyAnnotation) -> Value:
+    return Value(0, Item_2)
+
+
+def _arrow2239(Item_3: str) -> Value:
+    return Value(3, Item_3)
+
+
+decoder: Decoder_1[Value] = one_of(of_array([map(_arrow2236, int_1), map(_arrow2237, float_1), map(_arrow2238, OntologyAnnotation_ISAJson_decoder), map(_arrow2239, string)]))
+
+__all__ = ["encoder", "decoder"]
+