arctrl 3.0.0__py3-none-any.whl

arctrl/py/Json/data.py

@@ -0,0 +1,356 @@
+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)
+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.types import Array
+from ..fable_modules.fable_library.util import IEnumerable_1
+from ..fable_modules.thoth_json_core.decode import (object, IOptionalGetter, string, resize_array, 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.data import Data
+from ..Core.data_file import DataFile
+from ..Core.uri import URIModule_toString
+from .comment import (encoder as encoder_1, decoder as decoder_1, 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 .context.rocrate.isa_data_context import context_jsonvalue
+from .data_file import (ISAJson_encoder as ISAJson_encoder_1, ISAJson_decoder as ISAJson_decoder_1, ROCrate_encoder as ROCrate_encoder_1, ROCrate_decoder as ROCrate_decoder_1)
+from .decode import (Decode_uri, Decode_objectNoAdditionalProperties)
+from .encode import (try_include, try_include_seq)
+from .idtable import encode
+from .string_table import (encode_string, decode_string)
+
+__A_ = TypeVar("__A_")
+
+def encoder(d: Data) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], d: Any=d) -> 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 _arrow2836(value: str, d: Any=d) -> IEncodable:
+        class ObjectExpr2835(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr2835()
+
+    def _arrow2838(value_2: str, d: Any=d) -> IEncodable:
+        class ObjectExpr2837(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_1.encode_string(value_2)
+
+        return ObjectExpr2837()
+
+    def _arrow2840(value_4: str, d: Any=d) -> IEncodable:
+        class ObjectExpr2839(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_4)
+
+        return ObjectExpr2839()
+
+    def _arrow2842(value_6: str, d: Any=d) -> IEncodable:
+        class ObjectExpr2841(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_6)
+
+        return ObjectExpr2841()
+
+    def _arrow2843(comment: Comment, d: Any=d) -> IEncodable:
+        return encoder_1(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([try_include("@id", _arrow2836, d.ID), try_include("name", _arrow2838, d.Name), try_include("dataType", ISAJson_encoder_1, d.DataType), try_include("format", _arrow2840, d.Format), try_include("selectorFormat", _arrow2842, d.SelectorFormat), try_include_seq("comments", _arrow2843, d.Comments)]))
+    class ObjectExpr2844(IEncodable):
+        def Encode(self, helpers_4: IEncoderHelpers_1[Any], d: Any=d) -> 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 ObjectExpr2844()
+
+
+def _arrow2851(get: IGetters) -> Data:
+    def _arrow2845(__unit: None=None) -> str | None:
+        object_arg: IOptionalGetter = get.Optional
+        return object_arg.Field("@id", Decode_uri)
+
+    def _arrow2846(__unit: None=None) -> str | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("name", string)
+
+    def _arrow2847(__unit: None=None) -> DataFile | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("dataType", ISAJson_decoder_1)
+
+    def _arrow2848(__unit: None=None) -> str | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("format", string)
+
+    def _arrow2849(__unit: None=None) -> str | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("selectorFormat", Decode_uri)
+
+    def _arrow2850(__unit: None=None) -> Array[Comment] | None:
+        arg_11: Decoder_1[Array[Comment]] = resize_array(decoder_1)
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("comments", arg_11)
+
+    return Data(_arrow2845(), _arrow2846(), _arrow2847(), _arrow2848(), _arrow2849(), _arrow2850())
+
+
+decoder: Decoder_1[Data] = object(_arrow2851)
+
+def compressed_encoder(string_table: Any, d: Data) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], string_table: Any=string_table, d: Any=d) -> 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 _arrow2853(s: str, string_table: Any=string_table, d: Any=d) -> IEncodable:
+        return encode_string(string_table, s)
+
+    def _arrow2854(s_1: str, string_table: Any=string_table, d: Any=d) -> IEncodable:
+        return encode_string(string_table, s_1)
+
+    def _arrow2855(s_2: str, string_table: Any=string_table, d: Any=d) -> IEncodable:
+        return encode_string(string_table, s_2)
+
+    def _arrow2856(s_3: str, string_table: Any=string_table, d: Any=d) -> IEncodable:
+        return encode_string(string_table, s_3)
+
+    def _arrow2857(comment: Comment, string_table: Any=string_table, d: Any=d) -> IEncodable:
+        return encoder_1(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([try_include("i", _arrow2853, d.ID), try_include("n", _arrow2854, d.Name), try_include("d", ISAJson_encoder_1, d.DataType), try_include("f", _arrow2855, d.Format), try_include("s", _arrow2856, d.SelectorFormat), try_include_seq("c", _arrow2857, d.Comments)]))
+    class ObjectExpr2858(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], string_table: Any=string_table, d: Any=d) -> 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 ObjectExpr2858()
+
+
+def compressed_decoder(string_table: Array[str]) -> Decoder_1[Data]:
+    def _arrow2865(get: IGetters, string_table: Any=string_table) -> Data:
+        def _arrow2859(__unit: None=None) -> str | None:
+            arg_1: Decoder_1[str] = decode_string(string_table)
+            object_arg: IOptionalGetter = get.Optional
+            return object_arg.Field("i", arg_1)
+
+        def _arrow2860(__unit: None=None) -> str | None:
+            arg_3: Decoder_1[str] = decode_string(string_table)
+            object_arg_1: IOptionalGetter = get.Optional
+            return object_arg_1.Field("n", arg_3)
+
+        def _arrow2861(__unit: None=None) -> DataFile | None:
+            object_arg_2: IOptionalGetter = get.Optional
+            return object_arg_2.Field("d", ISAJson_decoder_1)
+
+        def _arrow2862(__unit: None=None) -> str | None:
+            arg_7: Decoder_1[str] = decode_string(string_table)
+            object_arg_3: IOptionalGetter = get.Optional
+            return object_arg_3.Field("f", arg_7)
+
+        def _arrow2863(__unit: None=None) -> str | None:
+            arg_9: Decoder_1[str] = decode_string(string_table)
+            object_arg_4: IOptionalGetter = get.Optional
+            return object_arg_4.Field("s", arg_9)
+
+        def _arrow2864(__unit: None=None) -> Array[Comment] | None:
+            arg_11: Decoder_1[Array[Comment]] = resize_array(decoder_1)
+            object_arg_5: IOptionalGetter = get.Optional
+            return object_arg_5.Field("c", arg_11)
+
+        return Data(_arrow2859(), _arrow2860(), _arrow2861(), _arrow2862(), _arrow2863(), _arrow2864())
+
+    return object(_arrow2865)
+
+
+def ROCrate_genID(d: Data) -> str:
+    match_value: str | None = d.ID
+    if match_value is None:
+        match_value_1: str | None = d.Name
+        if match_value_1 is None:
+            return "#EmptyData"
+
+        else: 
+            return replace(match_value_1, " ", "_")
+
+
+    else: 
+        return URIModule_toString(match_value)
+
+
+
+def ROCrate_encoder(oa: Data) -> 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 _arrow2869(__unit: None=None, oa: Any=oa) -> IEncodable:
+        value: str = ROCrate_genID(oa)
+        class ObjectExpr2868(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr2868()
+
+    class ObjectExpr2870(IEncodable):
+        def Encode(self, helpers_1: IEncoderHelpers_1[Any], oa: Any=oa) -> Any:
+            return helpers_1.encode_string("Data")
+
+    def _arrow2872(value_2: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr2871(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_2)
+
+        return ObjectExpr2871()
+
+    def _arrow2873(value_4: DataFile, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_1(value_4)
+
+    def _arrow2875(value_5: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr2874(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_5)
+
+        return ObjectExpr2874()
+
+    def _arrow2877(value_7: str, oa: Any=oa) -> IEncodable:
+        class ObjectExpr2876(IEncodable):
+            def Encode(self, helpers_4: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_4.encode_string(value_7)
+
+        return ObjectExpr2876()
+
+    def _arrow2878(comment: Comment, oa: Any=oa) -> IEncodable:
+        return ROCrate_encoder_2(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("@id", _arrow2869()), ("@type", list_1_1(singleton(ObjectExpr2870()))), try_include("name", _arrow2872, oa.Name), try_include("type", _arrow2873, oa.DataType), try_include("encodingFormat", _arrow2875, oa.Format), try_include("usageInfo", _arrow2877, oa.SelectorFormat), try_include_seq("comments", _arrow2878, oa.Comments), ("@context", context_jsonvalue)]))
+    class ObjectExpr2879(IEncodable):
+        def Encode(self, helpers_5: 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_5))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_1(mapping_1, values)
+            return helpers_5.encode_object(arg)
+
+    return ObjectExpr2879()
+
+
+def _arrow2886(get: IGetters) -> Data:
+    def _arrow2880(__unit: None=None) -> str | None:
+        object_arg: IOptionalGetter = get.Optional
+        return object_arg.Field("@id", Decode_uri)
+
+    def _arrow2881(__unit: None=None) -> str | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("name", string)
+
+    def _arrow2882(__unit: None=None) -> DataFile | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("type", ROCrate_decoder_1)
+
+    def _arrow2883(__unit: None=None) -> str | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("encodingFormat", string)
+
+    def _arrow2884(__unit: None=None) -> str | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("usageInfo", Decode_uri)
+
+    def _arrow2885(__unit: None=None) -> Array[Comment] | None:
+        arg_11: Decoder_1[Array[Comment]] = resize_array(ROCrate_decoder_2)
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("comments", arg_11)
+
+    return Data(_arrow2880(), _arrow2881(), _arrow2882(), _arrow2883(), _arrow2884(), _arrow2885())
+
+
+ROCrate_decoder: Decoder_1[Data] = object(_arrow2886)
+
+def ISAJson_encoder(id_map: Any | None, oa: Data) -> IEncodable:
+    def f(oa_1: Data, 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 _arrow2890(value: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2889(IEncodable):
+                def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers.encode_string(value)
+
+            return ObjectExpr2889()
+
+        def _arrow2892(value_2: str, oa_1: Any=oa_1) -> IEncodable:
+            class ObjectExpr2891(IEncodable):
+                def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers_1.encode_string(value_2)
+
+            return ObjectExpr2891()
+
+        def _arrow2893(comment: Comment, oa_1: Any=oa_1) -> IEncodable:
+            return ISAJson_encoder_2(id_map, comment)
+
+        values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([try_include("@id", _arrow2890, ROCrate_genID(oa_1)), try_include("name", _arrow2892, oa_1.Name), try_include("type", ISAJson_encoder_1, oa_1.DataType), try_include_seq("comments", _arrow2893, oa_1.Comments)]))
+        class ObjectExpr2894(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 ObjectExpr2894()
+
+    if id_map is not None:
+        def _arrow2895(d_1: Data, id_map: Any=id_map, oa: Any=oa) -> str:
+            return ROCrate_genID(d_1)
+
+        return encode(_arrow2895, f, oa, id_map)
+
+    else: 
+        return f(oa)
+
+
+
+ISAJson_allowedFields: FSharpList[str] = of_array(["@id", "name", "type", "comments", "@type", "@context"])
+
+def _arrow2900(get: IGetters) -> Data:
+    def _arrow2896(__unit: None=None) -> str | None:
+        object_arg: IOptionalGetter = get.Optional
+        return object_arg.Field("@id", Decode_uri)
+
+    def _arrow2897(__unit: None=None) -> str | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("name", string)
+
+    def _arrow2898(__unit: None=None) -> DataFile | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("type", ISAJson_decoder_1)
+
+    def _arrow2899(__unit: None=None) -> Array[Comment] | None:
+        arg_7: Decoder_1[Array[Comment]] = resize_array(ISAJson_decoder_2)
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("comments", arg_7)
+
+    return Data(_arrow2896(), _arrow2897(), _arrow2898(), None, None, _arrow2899())
+
+
+ISAJson_decoder: Decoder_1[Data] = Decode_objectNoAdditionalProperties(ISAJson_allowedFields, _arrow2900)
+
+__all__ = ["encoder", "decoder", "compressed_encoder", "compressed_decoder", "ROCrate_genID", "ROCrate_encoder", "ROCrate_decoder", "ISAJson_encoder", "ISAJson_allowedFields", "ISAJson_decoder"]
+

arctrl/py/Json/data_file.py

@@ -0,0 +1,63 @@
+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.data_file import DataFile
+
+__A_ = TypeVar("__A_")
+
+def ROCrate_encoder(value: DataFile) -> IEncodable:
+    if value.tag == 1:
+        class ObjectExpr2776(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+                return helpers_1.encode_string("Derived Data File")
+
+        return ObjectExpr2776()
+
+    elif value.tag == 2:
+        class ObjectExpr2779(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+                return helpers_2.encode_string("Image File")
+
+        return ObjectExpr2779()
+
+    else: 
+        class ObjectExpr2780(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+                return helpers.encode_string("Raw Data File")
+
+        return ObjectExpr2780()
+
+
+
+class ObjectExpr2781(Decoder_1[DataFile]):
+    def Decode(self, s: IDecoderHelpers_1[Any], json: Any) -> FSharpResult_2[DataFile, 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] == "Raw Data File":
+            return FSharpResult_2(0, DataFile(0))
+
+        elif match_value.fields[0] == "Derived Data File":
+            return FSharpResult_2(0, DataFile(1))
+
+        elif match_value.fields[0] == "Image File":
+            return FSharpResult_2(0, DataFile(2))
+
+        else: 
+            s_1: str = match_value.fields[0]
+            return FSharpResult_2(1, (("Could not parse " + s_1) + ".", ErrorReason_1(0, s_1, json)))
+
+
+
+ROCrate_decoder: Decoder_1[DataFile] = ObjectExpr2781()
+
+ISAJson_encoder: Callable[[DataFile], IEncodable] = ROCrate_encoder
+
+ISAJson_decoder: Decoder_1[DataFile] = ROCrate_decoder
+
+__all__ = ["ROCrate_encoder", "ROCrate_decoder", "ISAJson_encoder", "ISAJson_decoder"]
+