arctrl 3.0.0__py3-none-any.whl

arctrl/py/Json/run.py

@@ -0,0 +1,275 @@
+from __future__ import annotations
+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.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)
+from ..fable_modules.thoth_json_core.types import (IEncodable, IEncoderHelpers_1, Decoder_1)
+from ..Core.arc_types import ArcRun
+from ..Core.comment import Comment
+from ..Core.datamap import Datamap
+from ..Core.ontology_annotation import OntologyAnnotation
+from ..Core.person import Person
+from ..Core.Table.arc_table import ArcTable
+from ..Core.Table.composite_cell import CompositeCell
+from .comment import (encoder as encoder_4, decoder as decoder_4)
+from .Datamap.datamap import (encoder as encoder_1, decoder as decoder_2, encoder_compressed as encoder_compressed_1, decoder_compressed as decoder_compressed_2)
+from .encode import (try_include, try_include_seq)
+from .ontology_annotation import (OntologyAnnotation_encoder, OntologyAnnotation_decoder)
+from .person import (encoder as encoder_3, decoder as decoder_3)
+from .Table.arc_table import (encoder as encoder_2, decoder as decoder_1, encoder_compressed as encoder_compressed_2, decoder_compressed as decoder_compressed_1)
+
+__A_ = TypeVar("__A_")
+
+def encoder(run: ArcRun) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], run: Any=run) -> 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 _arrow3734(__unit: None=None, run: Any=run) -> IEncodable:
+        value: str = run.Identifier
+        class ObjectExpr3733(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr3733()
+
+    def _arrow3736(value_1: str, run: Any=run) -> IEncodable:
+        class ObjectExpr3735(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_1.encode_string(value_1)
+
+        return ObjectExpr3735()
+
+    def _arrow3740(value_3: str, run: Any=run) -> IEncodable:
+        class ObjectExpr3739(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_3)
+
+        return ObjectExpr3739()
+
+    def _arrow3741(oa: OntologyAnnotation, run: Any=run) -> IEncodable:
+        return OntologyAnnotation_encoder(oa)
+
+    def _arrow3744(oa_1: OntologyAnnotation, run: Any=run) -> IEncodable:
+        return OntologyAnnotation_encoder(oa_1)
+
+    def _arrow3745(oa_2: OntologyAnnotation, run: Any=run) -> IEncodable:
+        return OntologyAnnotation_encoder(oa_2)
+
+    def _arrow3747(dm: Datamap, run: Any=run) -> IEncodable:
+        return encoder_1(dm)
+
+    def _arrow3751(value_5: str, run: Any=run) -> IEncodable:
+        class ObjectExpr3750(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_5)
+
+        return ObjectExpr3750()
+
+    def _arrow3753(table: ArcTable, run: Any=run) -> IEncodable:
+        return encoder_2(table)
+
+    def _arrow3754(person: Person, run: Any=run) -> IEncodable:
+        return encoder_3(person)
+
+    def _arrow3757(comment: Comment, run: Any=run) -> IEncodable:
+        return encoder_4(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("Identifier", _arrow3734()), try_include("Title", _arrow3736, run.Title), try_include("Description", _arrow3740, run.Description), try_include("MeasurementType", _arrow3741, run.MeasurementType), try_include("TechnologyType", _arrow3744, run.TechnologyType), try_include("TechnologyPlatform", _arrow3745, run.TechnologyPlatform), try_include("Datamap", _arrow3747, run.Datamap), try_include_seq("WorkflowIdentifiers", _arrow3751, run.WorkflowIdentifiers), try_include_seq("Tables", _arrow3753, run.Tables), try_include_seq("Performers", _arrow3754, run.Performers), try_include_seq("Comments", _arrow3757, run.Comments)]))
+    class ObjectExpr3762(IEncodable):
+        def Encode(self, helpers_4: IEncoderHelpers_1[Any], run: Any=run) -> 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 ObjectExpr3762()
+
+
+def _arrow3784(get: IGetters) -> ArcRun:
+    def _arrow3769(__unit: None=None) -> str:
+        object_arg: IRequiredGetter = get.Required
+        return object_arg.Field("Identifier", string)
+
+    def _arrow3770(__unit: None=None) -> str | None:
+        object_arg_1: IOptionalGetter = get.Optional
+        return object_arg_1.Field("Title", string)
+
+    def _arrow3771(__unit: None=None) -> str | None:
+        object_arg_2: IOptionalGetter = get.Optional
+        return object_arg_2.Field("Description", string)
+
+    def _arrow3772(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_3: IOptionalGetter = get.Optional
+        return object_arg_3.Field("MeasurementType", OntologyAnnotation_decoder)
+
+    def _arrow3773(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_4: IOptionalGetter = get.Optional
+        return object_arg_4.Field("TechnologyType", OntologyAnnotation_decoder)
+
+    def _arrow3775(__unit: None=None) -> OntologyAnnotation | None:
+        object_arg_5: IOptionalGetter = get.Optional
+        return object_arg_5.Field("TechnologyPlatform", OntologyAnnotation_decoder)
+
+    def _arrow3776(__unit: None=None) -> Array[str] | None:
+        arg_13: Decoder_1[Array[str]] = resize_array(string)
+        object_arg_6: IOptionalGetter = get.Optional
+        return object_arg_6.Field("WorkflowIdentifiers", arg_13)
+
+    def _arrow3777(__unit: None=None) -> Array[ArcTable] | None:
+        arg_15: Decoder_1[Array[ArcTable]] = resize_array(decoder_1)
+        object_arg_7: IOptionalGetter = get.Optional
+        return object_arg_7.Field("Tables", arg_15)
+
+    def _arrow3778(__unit: None=None) -> Datamap | None:
+        object_arg_8: IOptionalGetter = get.Optional
+        return object_arg_8.Field("Datamap", decoder_2)
+
+    def _arrow3780(__unit: None=None) -> Array[Person] | None:
+        arg_19: Decoder_1[Array[Person]] = resize_array(decoder_3)
+        object_arg_9: IOptionalGetter = get.Optional
+        return object_arg_9.Field("Performers", arg_19)
+
+    def _arrow3783(__unit: None=None) -> Array[Comment] | None:
+        arg_21: Decoder_1[Array[Comment]] = resize_array(decoder_4)
+        object_arg_10: IOptionalGetter = get.Optional
+        return object_arg_10.Field("Comments", arg_21)
+
+    return ArcRun.create(_arrow3769(), _arrow3770(), _arrow3771(), _arrow3772(), _arrow3773(), _arrow3775(), _arrow3776(), _arrow3777(), _arrow3778(), _arrow3780(), None, None, _arrow3783())
+
+
+decoder: Decoder_1[ArcRun] = object(_arrow3784)
+
+def encoder_compressed(string_table: Any, oa_table: Any, cell_table: Any, run: ArcRun) -> IEncodable:
+    def chooser(tupled_arg: tuple[str, IEncodable | None], string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> 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 _arrow3793(__unit: None=None, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        value: str = run.Identifier
+        class ObjectExpr3792(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr3792()
+
+    def _arrow3797(value_1: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        class ObjectExpr3796(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_1.encode_string(value_1)
+
+        return ObjectExpr3796()
+
+    def _arrow3801(value_3: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        class ObjectExpr3800(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_2.encode_string(value_3)
+
+        return ObjectExpr3800()
+
+    def _arrow3803(oa: OntologyAnnotation, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        return OntologyAnnotation_encoder(oa)
+
+    def _arrow3804(oa_1: OntologyAnnotation, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        return OntologyAnnotation_encoder(oa_1)
+
+    def _arrow3805(oa_2: OntologyAnnotation, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        return OntologyAnnotation_encoder(oa_2)
+
+    def _arrow3806(dm: Datamap, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        return encoder_compressed_1(string_table, oa_table, cell_table, dm)
+
+    def _arrow3810(value_5: str, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        class ObjectExpr3809(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any]) -> Any:
+                return helpers_3.encode_string(value_5)
+
+        return ObjectExpr3809()
+
+    def _arrow3813(table: ArcTable, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        return encoder_compressed_2(string_table, oa_table, cell_table, table)
+
+    def _arrow3814(person: Person, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        return encoder_3(person)
+
+    def _arrow3815(comment: Comment, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> IEncodable:
+        return encoder_4(comment)
+
+    values: FSharpList[tuple[str, IEncodable]] = choose(chooser, of_array([("Identifier", _arrow3793()), try_include("Title", _arrow3797, run.Title), try_include("Description", _arrow3801, run.Description), try_include("MeasurementType", _arrow3803, run.MeasurementType), try_include("TechnologyType", _arrow3804, run.TechnologyType), try_include("TechnologyPlatform", _arrow3805, run.TechnologyPlatform), try_include("Datamap", _arrow3806, run.Datamap), try_include_seq("WorkflowIdentifiers", _arrow3810, run.WorkflowIdentifiers), try_include_seq("Tables", _arrow3813, run.Tables), try_include_seq("Performers", _arrow3814, run.Performers), try_include_seq("Comments", _arrow3815, run.Comments)]))
+    class ObjectExpr3820(IEncodable):
+        def Encode(self, helpers_4: IEncoderHelpers_1[Any], string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table, run: Any=run) -> 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 ObjectExpr3820()
+
+
+def decoder_compressed(string_table: Array[str], oa_table: Array[OntologyAnnotation], cell_table: Array[CompositeCell]) -> Decoder_1[ArcRun]:
+    def _arrow3846(get: IGetters, string_table: Any=string_table, oa_table: Any=oa_table, cell_table: Any=cell_table) -> ArcRun:
+        def _arrow3829(__unit: None=None) -> str:
+            object_arg: IRequiredGetter = get.Required
+            return object_arg.Field("Identifier", string)
+
+        def _arrow3831(__unit: None=None) -> str | None:
+            object_arg_1: IOptionalGetter = get.Optional
+            return object_arg_1.Field("Title", string)
+
+        def _arrow3832(__unit: None=None) -> str | None:
+            object_arg_2: IOptionalGetter = get.Optional
+            return object_arg_2.Field("Description", string)
+
+        def _arrow3833(__unit: None=None) -> OntologyAnnotation | None:
+            object_arg_3: IOptionalGetter = get.Optional
+            return object_arg_3.Field("MeasurementType", OntologyAnnotation_decoder)
+
+        def _arrow3837(__unit: None=None) -> OntologyAnnotation | None:
+            object_arg_4: IOptionalGetter = get.Optional
+            return object_arg_4.Field("TechnologyType", OntologyAnnotation_decoder)
+
+        def _arrow3838(__unit: None=None) -> OntologyAnnotation | None:
+            object_arg_5: IOptionalGetter = get.Optional
+            return object_arg_5.Field("TechnologyPlatform", OntologyAnnotation_decoder)
+
+        def _arrow3840(__unit: None=None) -> Array[str] | None:
+            arg_13: Decoder_1[Array[str]] = resize_array(string)
+            object_arg_6: IOptionalGetter = get.Optional
+            return object_arg_6.Field("WorkflowIdentifiers", arg_13)
+
+        def _arrow3841(__unit: None=None) -> Array[ArcTable] | None:
+            arg_15: Decoder_1[Array[ArcTable]] = resize_array(decoder_compressed_1(string_table, oa_table, cell_table))
+            object_arg_7: IOptionalGetter = get.Optional
+            return object_arg_7.Field("Tables", arg_15)
+
+        def _arrow3842(__unit: None=None) -> Datamap | None:
+            arg_17: Decoder_1[Datamap] = decoder_compressed_2(string_table, oa_table, cell_table)
+            object_arg_8: IOptionalGetter = get.Optional
+            return object_arg_8.Field("Datamap", arg_17)
+
+        def _arrow3843(__unit: None=None) -> Array[Person] | None:
+            arg_19: Decoder_1[Array[Person]] = resize_array(decoder_3)
+            object_arg_9: IOptionalGetter = get.Optional
+            return object_arg_9.Field("Performers", arg_19)
+
+        def _arrow3844(__unit: None=None) -> Array[Comment] | None:
+            arg_21: Decoder_1[Array[Comment]] = resize_array(decoder_4)
+            object_arg_10: IOptionalGetter = get.Optional
+            return object_arg_10.Field("Comments", arg_21)
+
+        return ArcRun.create(_arrow3829(), _arrow3831(), _arrow3832(), _arrow3833(), _arrow3837(), _arrow3838(), _arrow3840(), _arrow3841(), _arrow3842(), _arrow3843(), None, None, _arrow3844())
+
+    return object(_arrow3846)
+
+
+__all__ = ["encoder", "decoder", "encoder_compressed", "decoder_compressed"]
+

arctrl/py/Json/string_table.py

@@ -0,0 +1,87 @@
+from __future__ import annotations
+from typing import (Any, TypeVar)
+from ..fable_modules.fable_library.array_ import (fill, map)
+from ..fable_modules.fable_library.map_util import (try_get_value, add_to_dict)
+from ..fable_modules.fable_library.result import FSharpResult_2
+from ..fable_modules.fable_library.seq import iterate
+from ..fable_modules.fable_library.types import Array
+from ..fable_modules.thoth_json_core.decode import (array as array_2, string, int_1)
+from ..fable_modules.thoth_json_core.types import (IEncodable, IEncoderHelpers_1, Decoder_1, ErrorReason_1, IDecoderHelpers_1)
+from ..fable_modules.fable_library.types import FSharpRef
+
+__A_ = TypeVar("__A_")
+
+def array_from_map(otm: Any) -> Array[str]:
+    a: Array[str] = fill([0] * len(otm), 0, len(otm), "")
+    def action(kv: Any, otm: Any=otm) -> None:
+        a[kv[1]] = kv[0]
+
+    iterate(action, otm)
+    return a
+
+
+def encoder(ot: Array[str]) -> IEncodable:
+    def _arrow2632(value: str, ot: Any=ot) -> IEncodable:
+        class ObjectExpr2631(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                return helpers.encode_string(value)
+
+        return ObjectExpr2631()
+
+    values: Array[IEncodable] = map(_arrow2632, ot, None)
+    class ObjectExpr2633(IEncodable):
+        def Encode(self, helpers_1: IEncoderHelpers_1[Any], ot: Any=ot) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers_1)
+
+            arg: Array[__A_] = map(mapping, values, None)
+            return helpers_1.encode_array(arg)
+
+    return ObjectExpr2633()
+
+
+decoder: Decoder_1[Array[str]] = array_2(string)
+
+def encode_string(otm: Any, s: str) -> IEncodable:
+    match_value: int | None
+    pattern_input: tuple[bool, int]
+    out_arg: int = None or 0
+    def _arrow2634(__unit: None=None, otm: Any=otm, s: Any=s) -> int:
+        return out_arg
+
+    def _arrow2635(v: int, otm: Any=otm, s: Any=s) -> None:
+        nonlocal out_arg
+        out_arg = v or 0
+
+    pattern_input = (try_get_value(otm, s, FSharpRef(_arrow2634, _arrow2635)), out_arg)
+    match_value = pattern_input[1] if pattern_input[0] else None
+    if match_value is None:
+        i_1: int = len(otm) or 0
+        add_to_dict(otm, s, i_1)
+        class ObjectExpr2636(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any], otm: Any=otm, s: Any=s) -> Any:
+                return helpers_1.encode_signed_integral_number(i_1)
+
+        return ObjectExpr2636()
+
+    else: 
+        i: int = match_value or 0
+        class ObjectExpr2637(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any], otm: Any=otm, s: Any=s) -> Any:
+                return helpers.encode_signed_integral_number(i)
+
+        return ObjectExpr2637()
+
+
+
+def decode_string(ot: Array[str]) -> Decoder_1[str]:
+    class ObjectExpr2638(Decoder_1[str]):
+        def Decode(self, s: IDecoderHelpers_1[Any], json: Any, ot: Any=ot) -> FSharpResult_2[str, tuple[str, ErrorReason_1[__A_]]]:
+            match_value: FSharpResult_2[int, tuple[str, ErrorReason_1[__A_]]] = int_1.Decode(s, json)
+            return FSharpResult_2(1, match_value.fields[0]) if (match_value.tag == 1) else FSharpResult_2(0, ot[match_value.fields[0]])
+
+    return ObjectExpr2638()
+
+
+__all__ = ["array_from_map", "encoder", "decoder", "encode_string", "decode_string"]
+