arctrl 3.0.0__py3-none-any.whl

arctrl/py/fable_modules/thoth_json_core/encode.py

@@ -0,0 +1,305 @@
+from __future__ import annotations
+from collections.abc import Callable
+from typing import (Any, TypeVar)
+from ..fable_library.array_ import map as map_3
+from ..fable_library.list import (map as map_1, FSharpList)
+from ..fable_library.map import (to_seq, to_list)
+from ..fable_library.option import (default_arg_with, map as map_4, value as value_5)
+from ..fable_library.seq import map as map_2
+from ..fable_library.types import (float32 as float32_1, Array)
+from ..fable_library.util import (IEnumerable_1, get_enumerator, dispose, to_enumerable)
+from .types import (IEncodable, IEncoderHelpers_1)
+
+__A_ = TypeVar("__A_")
+
+_T1 = TypeVar("_T1")
+
+_T2 = TypeVar("_T2")
+
+_T3 = TypeVar("_T3")
+
+_T4 = TypeVar("_T4")
+
+_T5 = TypeVar("_T5")
+
+_T6 = TypeVar("_T6")
+
+_T7 = TypeVar("_T7")
+
+_T8 = TypeVar("_T8")
+
+_KEY = TypeVar("_KEY")
+
+_VALUE = TypeVar("_VALUE")
+
+_A = TypeVar("_A")
+
+def float32(value: float32_1) -> IEncodable:
+    class ObjectExpr251(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+            return helpers.encode_decimal_number(value)
+
+    return ObjectExpr251()
+
+
+def list_1(values: FSharpList[IEncodable]) -> IEncodable:
+    class ObjectExpr252(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], values: Any=values) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers)
+
+            arg: FSharpList[__A_] = map_1(mapping, values)
+            return helpers.encode_list(arg)
+
+    return ObjectExpr252()
+
+
+def seq(values: IEnumerable_1[IEncodable]) -> IEncodable:
+    class ObjectExpr253(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], values: Any=values) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers)
+
+            arg: IEnumerable_1[__A_] = map_2(mapping, values)
+            return helpers.encode_seq(arg)
+
+    return ObjectExpr253()
+
+
+def resize_array(values: Array[IEncodable]) -> IEncodable:
+    class ObjectExpr254(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], values: Any=values) -> Any:
+            result: Array[__A_] = []
+            enumerator: Any = get_enumerator(values)
+            try: 
+                while enumerator.System_Collections_IEnumerator_MoveNext():
+                    v: IEncodable = enumerator.System_Collections_Generic_IEnumerator_1_get_Current()
+                    (result.append(v.Encode(helpers)))
+
+            finally: 
+                dispose(enumerator)
+
+            return helpers.encode_resize_array(result)
+
+    return ObjectExpr254()
+
+
+def dict_1(values: Any) -> IEncodable:
+    values_1: IEnumerable_1[tuple[str, IEncodable]] = to_seq(values)
+    class ObjectExpr255(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], values: Any=values) -> Any:
+            def mapping(tupled_arg: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                return (tupled_arg[0], tupled_arg[1].Encode(helpers))
+
+            arg: IEnumerable_1[tuple[str, __A_]] = map_2(mapping, values_1)
+            return helpers.encode_object(arg)
+
+    return ObjectExpr255()
+
+
+def tuple2(enc1: Callable[[_T1], IEncodable], enc2: Callable[[_T2], IEncodable], v1: Any, v2: Any) -> IEncodable:
+    values: Array[IEncodable] = [enc1(v1), enc2(v2)]
+    class ObjectExpr256(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], enc1: Any=enc1, enc2: Any=enc2, v1: Any=v1, v2: Any=v2) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers)
+
+            arg: Array[__A_] = map_3(mapping, values, None)
+            return helpers.encode_array(arg)
+
+    return ObjectExpr256()
+
+
+def tuple3(enc1: Callable[[_T1], IEncodable], enc2: Callable[[_T2], IEncodable], enc3: Callable[[_T3], IEncodable], v1: Any, v2: Any, v3: Any) -> IEncodable:
+    values: Array[IEncodable] = [enc1(v1), enc2(v2), enc3(v3)]
+    class ObjectExpr257(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], enc1: Any=enc1, enc2: Any=enc2, enc3: Any=enc3, v1: Any=v1, v2: Any=v2, v3: Any=v3) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers)
+
+            arg: Array[__A_] = map_3(mapping, values, None)
+            return helpers.encode_array(arg)
+
+    return ObjectExpr257()
+
+
+def tuple4(enc1: Callable[[_T1], IEncodable], enc2: Callable[[_T2], IEncodable], enc3: Callable[[_T3], IEncodable], enc4: Callable[[_T4], IEncodable], v1: Any, v2: Any, v3: Any, v4: Any) -> IEncodable:
+    values: Array[IEncodable] = [enc1(v1), enc2(v2), enc3(v3), enc4(v4)]
+    class ObjectExpr258(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], enc1: Any=enc1, enc2: Any=enc2, enc3: Any=enc3, enc4: Any=enc4, v1: Any=v1, v2: Any=v2, v3: Any=v3, v4: Any=v4) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers)
+
+            arg: Array[__A_] = map_3(mapping, values, None)
+            return helpers.encode_array(arg)
+
+    return ObjectExpr258()
+
+
+def tuple5(enc1: Callable[[_T1], IEncodable], enc2: Callable[[_T2], IEncodable], enc3: Callable[[_T3], IEncodable], enc4: Callable[[_T4], IEncodable], enc5: Callable[[_T5], IEncodable], v1: Any, v2: Any, v3: Any, v4: Any, v5: Any) -> IEncodable:
+    values: Array[IEncodable] = [enc1(v1), enc2(v2), enc3(v3), enc4(v4), enc5(v5)]
+    class ObjectExpr259(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], enc1: Any=enc1, enc2: Any=enc2, enc3: Any=enc3, enc4: Any=enc4, enc5: Any=enc5, v1: Any=v1, v2: Any=v2, v3: Any=v3, v4: Any=v4, v5: Any=v5) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers)
+
+            arg: Array[__A_] = map_3(mapping, values, None)
+            return helpers.encode_array(arg)
+
+    return ObjectExpr259()
+
+
+def tuple6(enc1: Callable[[_T1], IEncodable], enc2: Callable[[_T2], IEncodable], enc3: Callable[[_T3], IEncodable], enc4: Callable[[_T4], IEncodable], enc5: Callable[[_T5], IEncodable], enc6: Callable[[_T6], IEncodable], v1: Any, v2: Any, v3: Any, v4: Any, v5: Any, v6: Any) -> IEncodable:
+    values: Array[IEncodable] = [enc1(v1), enc2(v2), enc3(v3), enc4(v4), enc5(v5), enc6(v6)]
+    class ObjectExpr260(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], enc1: Any=enc1, enc2: Any=enc2, enc3: Any=enc3, enc4: Any=enc4, enc5: Any=enc5, enc6: Any=enc6, v1: Any=v1, v2: Any=v2, v3: Any=v3, v4: Any=v4, v5: Any=v5, v6: Any=v6) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers)
+
+            arg: Array[__A_] = map_3(mapping, values, None)
+            return helpers.encode_array(arg)
+
+    return ObjectExpr260()
+
+
+def tuple7(enc1: Callable[[_T1], IEncodable], enc2: Callable[[_T2], IEncodable], enc3: Callable[[_T3], IEncodable], enc4: Callable[[_T4], IEncodable], enc5: Callable[[_T5], IEncodable], enc6: Callable[[_T6], IEncodable], enc7: Callable[[_T7], IEncodable], v1: Any, v2: Any, v3: Any, v4: Any, v5: Any, v6: Any, v7: Any) -> IEncodable:
+    values: Array[IEncodable] = [enc1(v1), enc2(v2), enc3(v3), enc4(v4), enc5(v5), enc6(v6), enc7(v7)]
+    class ObjectExpr261(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], enc1: Any=enc1, enc2: Any=enc2, enc3: Any=enc3, enc4: Any=enc4, enc5: Any=enc5, enc6: Any=enc6, enc7: Any=enc7, v1: Any=v1, v2: Any=v2, v3: Any=v3, v4: Any=v4, v5: Any=v5, v6: Any=v6, v7: Any=v7) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers)
+
+            arg: Array[__A_] = map_3(mapping, values, None)
+            return helpers.encode_array(arg)
+
+    return ObjectExpr261()
+
+
+def tuple8(enc1: Callable[[_T1], IEncodable], enc2: Callable[[_T2], IEncodable], enc3: Callable[[_T3], IEncodable], enc4: Callable[[_T4], IEncodable], enc5: Callable[[_T5], IEncodable], enc6: Callable[[_T6], IEncodable], enc7: Callable[[_T7], IEncodable], enc8: Callable[[_T8], IEncodable], v1: Any, v2: Any, v3: Any, v4: Any, v5: Any, v6: Any, v7: Any, v8: Any) -> IEncodable:
+    values: Array[IEncodable] = [enc1(v1), enc2(v2), enc3(v3), enc4(v4), enc5(v5), enc6(v6), enc7(v7), enc8(v8)]
+    class ObjectExpr262(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], enc1: Any=enc1, enc2: Any=enc2, enc3: Any=enc3, enc4: Any=enc4, enc5: Any=enc5, enc6: Any=enc6, enc7: Any=enc7, enc8: Any=enc8, v1: Any=v1, v2: Any=v2, v3: Any=v3, v4: Any=v4, v5: Any=v5, v6: Any=v6, v7: Any=v7, v8: Any=v8) -> Any:
+            def mapping(v: IEncodable) -> __A_:
+                return v.Encode(helpers)
+
+            arg: Array[__A_] = map_3(mapping, values, None)
+            return helpers.encode_array(arg)
+
+    return ObjectExpr262()
+
+
+def map(key_encoder: Callable[[_KEY], IEncodable], value_encoder: Callable[[_VALUE], IEncodable], values: Any) -> IEncodable:
+    def mapping(tupled_arg: tuple[_KEY, _VALUE], key_encoder: Any=key_encoder, value_encoder: Any=value_encoder, values: Any=values) -> IEncodable:
+        return tuple2(key_encoder, value_encoder, tupled_arg[0], tupled_arg[1])
+
+    return list_1(map_1(mapping, to_list(values)))
+
+
+def Enum_byte(value: Any | None=None) -> IEncodable:
+    class ObjectExpr263(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+            return helpers.encode_unsigned_integral_number(value)
+
+    return ObjectExpr263()
+
+
+def Enum_sbyte(value: Any | None=None) -> IEncodable:
+    class ObjectExpr264(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+            return helpers.encode_signed_integral_number(value)
+
+    return ObjectExpr264()
+
+
+def Enum_int16(value: Any | None=None) -> IEncodable:
+    class ObjectExpr265(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+            return helpers.encode_signed_integral_number(value)
+
+    return ObjectExpr265()
+
+
+def Enum_uint16(value: Any | None=None) -> IEncodable:
+    class ObjectExpr266(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+            return helpers.encode_unsigned_integral_number(value)
+
+    return ObjectExpr266()
+
+
+def Enum_int(value: Any | None=None) -> IEncodable:
+    class ObjectExpr267(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+            return helpers.encode_signed_integral_number(value)
+
+    return ObjectExpr267()
+
+
+def Enum_uint32(value: Any | None=None) -> IEncodable:
+    class ObjectExpr268(IEncodable):
+        def Encode(self, helpers: IEncoderHelpers_1[Any], value: Any=value) -> Any:
+            return helpers.encode_unsigned_integral_number(value)
+
+    return ObjectExpr268()
+
+
+def lossy_option(encoder: Callable[[_A], IEncodable]) -> Callable[[_A | None], IEncodable]:
+    def _arrow270(arg: _A | None=None, encoder: Any=encoder) -> IEncodable:
+        def def_thunk(__unit: None=None) -> IEncodable:
+            class ObjectExpr269(IEncodable):
+                def Encode(self, helpers: IEncoderHelpers_1[Any]) -> Any:
+                    return helpers.encode_null()
+
+            return ObjectExpr269()
+
+        return default_arg_with(map_4(encoder, arg), def_thunk)
+
+    return _arrow270
+
+
+def lossless_option(encoder: Callable[[_A], IEncodable], value: Any | None=None) -> IEncodable:
+    if value is None:
+        class ObjectExpr271(IEncodable):
+            def Encode(self, helpers_3: IEncoderHelpers_1[Any], encoder: Any=encoder, value: Any=value) -> Any:
+                return helpers_3.encode_string("option")
+
+        class ObjectExpr272(IEncodable):
+            def Encode(self, helpers_4: IEncoderHelpers_1[Any], encoder: Any=encoder, value: Any=value) -> Any:
+                return helpers_4.encode_string("none")
+
+        values_1: IEnumerable_1[tuple[str, IEncodable]] = to_enumerable([("$type", ObjectExpr271()), ("$case", ObjectExpr272())])
+        class ObjectExpr273(IEncodable):
+            def Encode(self, helpers_5: IEncoderHelpers_1[Any], encoder: Any=encoder, value: Any=value) -> 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_1: IEnumerable_1[tuple[str, __A_]] = map_2(mapping_1, values_1)
+                return helpers_5.encode_object(arg_1)
+
+        return ObjectExpr273()
+
+    else: 
+        v: _A = value_5(value)
+        class ObjectExpr274(IEncodable):
+            def Encode(self, helpers: IEncoderHelpers_1[Any], encoder: Any=encoder, value: Any=value) -> Any:
+                return helpers.encode_string("option")
+
+        class ObjectExpr275(IEncodable):
+            def Encode(self, helpers_1: IEncoderHelpers_1[Any], encoder: Any=encoder, value: Any=value) -> Any:
+                return helpers_1.encode_string("some")
+
+        values: IEnumerable_1[tuple[str, IEncodable]] = to_enumerable([("$type", ObjectExpr274()), ("$case", ObjectExpr275()), ("$value", encoder(v))])
+        class ObjectExpr276(IEncodable):
+            def Encode(self, helpers_2: IEncoderHelpers_1[Any], encoder: Any=encoder, value: Any=value) -> Any:
+                def mapping(tupled_arg: tuple[str, IEncodable]) -> tuple[str, __A_]:
+                    return (tupled_arg[0], tupled_arg[1].Encode(helpers_2))
+
+                arg: IEnumerable_1[tuple[str, __A_]] = map_2(mapping, values)
+                return helpers_2.encode_object(arg)
+
+        return ObjectExpr276()
+
+
+
+__all__ = ["float32", "list_1", "seq", "resize_array", "dict_1", "tuple2", "tuple3", "tuple4", "tuple5", "tuple6", "tuple7", "tuple8", "map", "Enum_byte", "Enum_sbyte", "Enum_int16", "Enum_uint16", "Enum_int", "Enum_uint32", "lossy_option", "lossless_option"]
+

arctrl/py/fable_modules/thoth_json_core/types.py

@@ -0,0 +1,181 @@
+from __future__ import annotations
+from abc import abstractmethod
+from typing import (Protocol, Generic, Any, TypeVar)
+from ..fable_library.list import FSharpList
+from ..fable_library.reflection import (TypeInfo, string_type, tuple_type, list_type, union_type, char_type, float64_type, bool_type, class_type, array_type, uint32_type)
+from ..fable_library.result import FSharpResult_2
+from ..fable_library.types import (Array, float32, uint32, Union)
+from ..fable_library.util import IEnumerable_1
+
+_JSONVALUE = TypeVar("_JSONVALUE")
+
+_T = TypeVar("_T")
+
+class IDecoderHelpers_1(Protocol, Generic[_JSONVALUE]):
+    @abstractmethod
+    def any_to_string(self, __arg0: _JSONVALUE) -> str:
+        ...
+
+    @abstractmethod
+    def as_array(self, __arg0: _JSONVALUE) -> Array[_JSONVALUE]:
+        ...
+
+    @abstractmethod
+    def as_boolean(self, __arg0: _JSONVALUE) -> bool:
+        ...
+
+    @abstractmethod
+    def as_float(self, __arg0: _JSONVALUE) -> float:
+        ...
+
+    @abstractmethod
+    def as_float32(self, __arg0: _JSONVALUE) -> float32:
+        ...
+
+    @abstractmethod
+    def as_int(self, __arg0: _JSONVALUE) -> int:
+        ...
+
+    @abstractmethod
+    def as_string(self, __arg0: _JSONVALUE) -> str:
+        ...
+
+    @abstractmethod
+    def get_properties(self, __arg0: _JSONVALUE) -> IEnumerable_1[str]:
+        ...
+
+    @abstractmethod
+    def get_property(self, __arg0: str, __arg1: _JSONVALUE) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def has_property(self, __arg0: str, __arg1: _JSONVALUE) -> bool:
+        ...
+
+    @abstractmethod
+    def is_array(self, __arg0: _JSONVALUE) -> bool:
+        ...
+
+    @abstractmethod
+    def is_boolean(self, __arg0: _JSONVALUE) -> bool:
+        ...
+
+    @abstractmethod
+    def is_integral_value(self, __arg0: _JSONVALUE) -> bool:
+        ...
+
+    @abstractmethod
+    def is_null_value(self, __arg0: _JSONVALUE) -> bool:
+        ...
+
+    @abstractmethod
+    def is_number(self, __arg0: _JSONVALUE) -> bool:
+        ...
+
+    @abstractmethod
+    def is_object(self, __arg0: _JSONVALUE) -> bool:
+        ...
+
+    @abstractmethod
+    def is_string(self, __arg0: _JSONVALUE) -> bool:
+        ...
+
+
+class IEncoderHelpers_1(Protocol, Generic[_JSONVALUE]):
+    @abstractmethod
+    def encode_array(self, __arg0: Array[_JSONVALUE]) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_bool(self, __arg0: bool) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_char(self, __arg0: str) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_decimal_number(self, __arg0: float) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_list(self, __arg0: FSharpList[_JSONVALUE]) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_null(self) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_object(self, __arg0: IEnumerable_1[tuple[str, _JSONVALUE]]) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_resize_array(self, __arg0: Array[_JSONVALUE]) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_seq(self, __arg0: IEnumerable_1[_JSONVALUE]) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_signed_integral_number(self, __arg0: int) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_string(self, __arg0: str) -> _JSONVALUE:
+        ...
+
+    @abstractmethod
+    def encode_unsigned_integral_number(self, __arg0: uint32) -> _JSONVALUE:
+        ...
+
+
+def _expr194(gen0: TypeInfo) -> TypeInfo:
+    return union_type("Thoth.Json.Core.ErrorReason`1", [gen0], ErrorReason_1, lambda: [[("Item1", string_type), ("Item2", gen0)], [("Item1", string_type), ("Item2", gen0), ("Item3", string_type)], [("Item1", string_type), ("Item2", gen0)], [("Item1", string_type), ("Item2", gen0)], [("Item1", string_type), ("Item2", gen0), ("Item3", string_type)], [("Item1", string_type), ("Item2", gen0)], [("Item", string_type)], [("Item", list_type(tuple_type(string_type, ErrorReason_1_reflection(gen0))))]])
+
+
+class ErrorReason_1(Union, Generic[_JSONVALUE]):
+    def __init__(self, tag: int, *fields: Any) -> None:
+        super().__init__()
+        self.tag: int = tag or 0
+        self.fields: Array[Any] = list(fields)
+
+    @staticmethod
+    def cases() -> list[str]:
+        return ["BadPrimitive", "BadPrimitiveExtra", "BadType", "BadField", "BadPath", "TooSmallArray", "FailMessage", "BadOneOf"]
+
+
+ErrorReason_1_reflection = _expr194
+
+class Decoder_1(Protocol, Generic[_T]):
+    @abstractmethod
+    def Decode(self, helpers: IDecoderHelpers_1[_JSONVALUE], value: _JSONVALUE) -> FSharpResult_2[_T, tuple[str, ErrorReason_1[_JSONVALUE]]]:
+        ...
+
+
+def _expr195() -> TypeInfo:
+    return union_type("Thoth.Json.Core.Json", [], Json, lambda: [[("Item", string_type)], [("Item", char_type)], [("Item", float64_type)], [], [("Item", bool_type)], [("Item", class_type("System.Collections.Generic.IEnumerable`1", [tuple_type(string_type, Json_reflection())]))], [("Item", array_type(Json_reflection()))], [("Item", uint32_type)], []])
+
+
+class Json(Union):
+    def __init__(self, tag: int, *fields: Any) -> None:
+        super().__init__()
+        self.tag: int = tag or 0
+        self.fields: Array[Any] = list(fields)
+
+    @staticmethod
+    def cases() -> list[str]:
+        return ["String", "Char", "DecimalNumber", "Null", "Boolean", "Object", "Array", "IntegralNumber", "Unit"]
+
+
+Json_reflection = _expr195
+
+class IEncodable(Protocol):
+    @abstractmethod
+    def Encode(self, helpers: IEncoderHelpers_1[_JSONVALUE]) -> _JSONVALUE:
+        ...
+
+
+__all__ = ["ErrorReason_1_reflection", "Json_reflection"]
+

arctrl/py/fable_modules/thoth_json_python/decode.py

@@ -0,0 +1,112 @@
+from __future__ import annotations
+from collections.abc import Callable
+from json import JSONDecodeError
+import numbers
+import json as json_1
+from typing import (Any, TypeVar)
+from ..fable_library.result import FSharpResult_2
+from ..fable_library.types import (Array, float32)
+from ..fable_library.util import IEnumerable_1
+from ..thoth_json_core.decode import (Advanced_fromValue, Helpers_prependPath, error_to_string)
+from ..thoth_json_core.types import (IDecoderHelpers_1, Decoder_1, ErrorReason_1)
+
+_T = TypeVar("_T")
+
+class ObjectExpr561(IDecoderHelpers_1[Any]):
+    def is_string(self, json_value: Any=None) -> bool:
+        return str(type(json_value)) == "<class \'str\'>"
+
+    def is_number(self, json_value_1: Any=None) -> bool:
+        return (not (isinstance(json_value_1, (bool)))) if (isinstance(json_value_1, numbers.Number)) else False
+
+    def is_boolean(self, json_value_2: Any=None) -> bool:
+        return str(type(json_value_2)) == "<class \'bool\'>"
+
+    def is_null_value(self, json_value_3: Any=None) -> bool:
+        return json_value_3 is None
+
+    def is_array(self, json_value_4: Any=None) -> bool:
+        return isinstance(json_value_4, (list))
+
+    def is_object(self, json_value_5: Any=None) -> bool:
+        return isinstance(json_value_5, (dict))
+
+    def has_property(self, field_name: str, json_value_6: Any=None) -> bool:
+        return field_name in json_value_6
+
+    def is_integral_value(self, json_value_7: Any=None) -> bool:
+        return isinstance(json_value_7, (int))
+
+    def as_string(self, json_value_8: Any=None) -> str:
+        return json_value_8
+
+    def as_boolean(self, json_value_9: Any=None) -> bool:
+        return json_value_9
+
+    def as_array(self, json_value_10: Any=None) -> Array[Any]:
+        return json_value_10
+
+    def as_float(self, json_value_11: Any=None) -> float:
+        return json_value_11
+
+    def as_float32(self, json_value_12: Any=None) -> float32:
+        return json_value_12
+
+    def as_int(self, json_value_13: Any=None) -> int:
+        return json_value_13
+
+    def get_properties(self, json_value_14: Any=None) -> IEnumerable_1[str]:
+        return json_value_14.keys()
+
+    def get_property(self, field_name_1: str, json_value_15: Any=None) -> Any:
+        return json_value_15[field_name_1]
+
+    def any_to_string(self, json_value_16: Any=None) -> str:
+        return json_1.dumps(json_value_16, indent = 4)
+
+
+Decode_helpers: IDecoderHelpers_1[Any] = ObjectExpr561()
+
+def Decode_fromValue(decoder: Decoder_1[Any]) -> Callable[[Any], FSharpResult_2[_T, str]]:
+    def _arrow562(value: Any=None, decoder: Any=decoder) -> FSharpResult_2[_T, str]:
+        return Advanced_fromValue(Decode_helpers, decoder, value)
+
+    return _arrow562
+
+
+def Decode_fromString(decoder: Decoder_1[Any], value: str) -> FSharpResult_2[Any, str]:
+    try: 
+        json: Any = json_1.loads(value)
+        match_value: FSharpResult_2[_T, tuple[str, ErrorReason_1[Any]]] = decoder.Decode(Decode_helpers, json)
+        if match_value.tag == 1:
+            final_error: tuple[str, ErrorReason_1[Any]]
+            tupled_arg: tuple[str, ErrorReason_1[Any]] = match_value.fields[0]
+            final_error = Helpers_prependPath("$", tupled_arg[0], tupled_arg[1])
+            return FSharpResult_2(1, error_to_string(Decode_helpers, final_error[0], final_error[1]))
+
+        else: 
+            return FSharpResult_2(0, match_value.fields[0])
+
+
+    except Exception as match_value_1:
+        if isinstance(match_value_1, JSONDecodeError):
+            return FSharpResult_2(1, "Given an invalid JSON: " + str(match_value_1))
+
+        else: 
+            raise match_value_1
+
+
+
+
+def Decode_unsafeFromString(decoder: Decoder_1[Any], value: str) -> Any:
+    match_value: FSharpResult_2[_T, str] = Decode_fromString(decoder, value)
+    if match_value.tag == 1:
+        raise Exception(match_value.fields[0])
+
+    else: 
+        return match_value.fields[0]
+
+
+
+__all__ = ["Decode_helpers", "Decode_fromValue", "Decode_fromString", "Decode_unsafeFromString"]
+

arctrl/py/fable_modules/thoth_json_python/encode.py

@@ -0,0 +1,72 @@
+from __future__ import annotations
+import json as json_2
+from typing import Any
+from ..fable_library.list import (to_array, FSharpList)
+from ..fable_library.seq import to_array as to_array_1
+from ..fable_library.types import (Array, uint32)
+from ..fable_library.util import (get_enumerator, IEnumerable_1)
+from ..thoth_json_core.types import (IEncoderHelpers_1, IEncodable)
+
+class ObjectExpr564(IEncoderHelpers_1[Any]):
+    def encode_string(self, value: str) -> Any:
+        return value
+
+    def encode_char(self, value_1: str) -> Any:
+        return value_1
+
+    def encode_decimal_number(self, value_2: float) -> Any:
+        return value_2
+
+    def encode_bool(self, value_3: bool) -> Any:
+        return value_3
+
+    def encode_null(self, __unit: None=None) -> Any:
+        return None
+
+    def encode_object(self, values: IEnumerable_1[tuple[str, Any]]) -> Any:
+        o: Any = {}
+        with get_enumerator(values) as enumerator:
+            while enumerator.System_Collections_IEnumerator_MoveNext():
+                for_loop_var: tuple[str, Any] = enumerator.System_Collections_Generic_IEnumerator_1_get_Current()
+                o[for_loop_var[0]] = for_loop_var[1]
+        return o
+
+    def encode_array(self, values_1: Array[Any]) -> Any:
+        return values_1
+
+    def encode_list(self, values_2: FSharpList[Any]) -> Any:
+        this: IEncoderHelpers_1[Any] = self
+        arg: Array[Any] = to_array(values_2)
+        return this.encode_array(arg)
+
+    def encode_seq(self, values_3: IEnumerable_1[Any]) -> Any:
+        this_1: IEncoderHelpers_1[Any] = self
+        arg_1: Array[Any] = to_array_1(values_3)
+        return this_1.encode_array(arg_1)
+
+    def encode_resize_array(self, values_4: Array[Any]) -> Any:
+        this_2: IEncoderHelpers_1[Any] = self
+        arg_2: Array[Any] = values_4[:]
+        return this_2.encode_array(arg_2)
+
+    def encode_signed_integral_number(self, value_5: int) -> Any:
+        return value_5
+
+    def encode_unsigned_integral_number(self, value_6: uint32) -> Any:
+        return value_6
+
+
+helpers: IEncoderHelpers_1[Any] = ObjectExpr564()
+
+def to_string(space: int, value: IEncodable) -> str:
+    json_1: Any = value.Encode(helpers)
+    if space == 0:
+        return json_2.dumps(json_1, separators = [",", ":"], ensure_ascii = False)
+
+    else: 
+        return json_2.dumps(json_1, indent = space, ensure_ascii = False)
+
+
+
+__all__ = ["helpers", "to_string"]
+

arctrl/py/fable_modules/thoth_json_python/python.py

@@ -0,0 +1 @@
+

arctrl/py/fable_modules/yamlicious/Interop/js_interop.py

@@ -0,0 +1 @@
+

arctrl/py/fable_modules/yamlicious/Interop/py_interop.py

@@ -0,0 +1,7 @@
+
+def is_string(s: str) -> bool:
+    return isinstance(s, str)
+
+
+__all__ = ["is_string"]
+