firefly-compiler 0.4.36 → 0.4.46

package/core/Json.ff

@@ -1,434 +1,434 @@
-data Json {}
-
-read(json: String): Option[Json]
-    target js sync """
-        try {
-            return ff_core_Option.Some(JSON.parse(json_));
-        } catch(e) {
-            return ff_core_Option.None();
-        }
-    """
-
-string(json: String): Json
-    target js sync """
-        return json_;
-    """
-
-int(json: Int): Json
-    target js sync """
-        return json_;
-    """
-
-float(json: Float): Json
-    target js sync """
-        return json_;
-    """
-
-bool(json: Bool): Json
-    target js sync """
-        return json_;
-    """
-
-null(): Json
-    target js sync """
-        return null;
-    """
-
-array(json: List[Json]): Json
-    target js sync """
-        return json_;
-    """
-
-object(): Json
-    target js sync """
-        return {};
-    """
-
-fields(body: ((String, Json) => Unit) => Unit): Json
-    target js sync """
-        const result = {};
-        body_((k, v) => {result[k] = v});
-        return result;
-    """
-    target js async """
-        const result = {};
-        await body_((k, v) => {result[k] = v}, $task);
-        return result;
-    """
-
-extend self: Json {
-    
-    write(indentation: Option[String] = None): String
-        target js sync """
-            return JSON.stringify(self_, null, indentation_.value_);
-        """
-
-    with[T: JsonLike](field: String, value: T): Json {
-        internalWith(self, field, toJson(value))
-    }
-        
-    merge(that: Json): Json
-        target js sync """
-            if(typeof self_ !== 'object' || self_ === null || Array.isArray(self_)) {
-                throw new Error('Not an object: ' + JSON.stringify(self_));
-            }
-            if(typeof that_ !== 'object' || that_ === null || Array.isArray(that_)) {
-                throw new Error('Not an object: ' + JSON.stringify(that_));
-            }
-            return {...self_, ...that_};
-        """
-
-    grabString(): String
-        target js sync """
-            if(typeof self_ !== 'string') throw new Error('Not a string: ' + JSON.stringify(self_));
-            return self_;
-        """
-
-    grabInt(): Int
-        target js sync """
-            if(!Number.isSafeInteger(self_)) throw new Error('Not an int: ' + JSON.stringify(self_));
-            return Math.trunc(self_);
-        """
-
-    grabFloat(): Float
-        target js sync """
-            if(typeof self_ !== 'number') throw new Error('Not a float: ' + JSON.stringify(self_));
-            return self_;
-        """
-
-    grabBool(): Bool
-        target js sync """
-            if(self_ === true) return true;
-            if(self_ === false) return false;
-            throw new Error('Not a bool: ' + JSON.stringify(self_));
-        """
-
-    grabArray(): List[Json]
-        target js sync """
-            if(!Array.isArray(self_)) throw new Error('Not an array: ' + JSON.stringify(self_));
-            return self_;
-        """
-        
-    grabMap(): Map[String, Json] {
-        mutable map = Map.new()
-        self.each {key, value => 
-            map = map.add(key, value)
-        }
-        map
-    }
-
-    getString(): Option[String] {
-        if(self.isString()) {self.grabString()}
-    }
-
-    getInt(): Option[Int] {
-        if(self.isInt()) {self.grabInt()}
-    }
-
-    getFloat(): Option[Float] {
-        if(self.isFloat()) {self.grabFloat()}
-    }
-
-    getBool(): Option[Bool] {
-        if(self.isBool()) {self.grabBool()}
-    }
-
-    getArray(): Option[List[Json]] {
-        if(self.isArray()) {self.grabArray()}
-    }
-
-    getMap(): Option[Map[String, Json]] {
-        if(self.isObject()) {self.grabMap()}
-    }
-
-    isString(): Bool
-        target js sync """
-            return typeof self_ === 'string';
-        """
-
-    isInt(): Bool
-        target js sync """
-            return Number.isSafeInteger(self_);
-        """
-
-    isFloat(): Bool
-        target js sync """
-            return typeof self_ === 'number';
-        """
-
-    isBool(): Bool
-        target js sync """
-            return typeof self_ === 'boolean';
-        """
-
-    isArray(): Bool
-        target js sync """
-            return Array.isArray(self_);
-        """
-
-    isObject(): Bool
-        target js sync """
-            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_);
-        """
-
-    isNull(): Bool
-        target js sync """
-            return self_ === null;
-        """
-
-    field(key: String): Json
-        target js sync """
-            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_) && Object.hasOwn(self_, key_)
-                ? self_[key_] : null;
-        """
-
-    index(key: Int): Json
-        target js sync """
-            return typeof self_ === 'array' ? self_[key] ?? null : null;
-        """
-
-    hasField(key: String): Bool
-        target js sync """
-            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_) && Object.hasOwn(self_, key_);
-        """
-
-    getField(key: String): Option[Json]
-        target js sync """
-            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_) && Object.hasOwn(self_, key_)
-                ? ff_core_Option.Some(self_[key_]) : ff_core_Option.None();
-        """
-
-    getIndex(key: Int): Option[Json]
-        target js sync """
-            return typeof self_ === 'array' ? ff_core_Option.Some(self_[key_] ?? null) : ff_core_Option.None();
-        """
-        
-    getFields(): Option[List[String]]
-        target js sync """
-            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_)
-                ? ff_core_Option.Some(Object.keys(self_)) : ff_core_Option.None();
-        """
-
-    grabField(key: String): Json {
-        self.getField(key).else {
-            throw(GrabException())
-        }
-    }
-
-    grabIndex(key: Int): Json {
-        self.getIndex(key).else {
-            throw(GrabException())
-        }
-    }
-    
-    grabFields(): List[String] {
-        self.getFields().else {
-            throw(GrabException())
-        }
-    }
-
-    map[T](body: (String, Json) => T): List[T] {
-        let array = Array.new()
-        self.each {field, value => array.push(body(field, value))}
-        array.drain()
-    }
-
-    flatMap[T](body: (String, Json) => List[T]): List[T] {
-        let array = Array.new()
-        self.each {field, value => array.pushList(body(field, value))}
-        array.drain()
-    }
-    
-    each(body: (String, Json) => Unit) {
-        if(!self.isObject()) {throw(GrabException())}
-        internalEach(self, body)
-    }
-
-    eachWhile(body: (String, Json) => Bool) {
-        if(!self.isObject()) {throw(GrabException())}
-        internalEachWhile(self, body)
-    }
-
-}
-
-internalWith(self: Json, field: String, value: Json): Json
-    target js sync """
-        if(typeof self_ !== 'object' || self_ === null || Array.isArray(self_)) {
-            throw new Error('Not an object: ' + JSON.stringify(self_));
-        }
-        return {...self_, [field_]: value_};
-    """
-
-internalEach(self: Json, body: (String, Json) => Unit): Unit
-    target js sync "for(const [key, value] of Object.entries(self_)) body_(key, value)"
-    target js async "for(const [key, value] of Object.entries(self_)) await body_(key, value, $task)"
-
-internalEachWhile(self: Json, body: (String, Json) => Bool): Unit
-    target js sync "for(const [key, value] of Object.entries(self_)) if(!body_(key, value)) break"
-    target js async "for(const [key, value] of Object.entries(self_)) if(!await body_(key, value, $task)) break"
-
-trait T: JsonLike {
-    toJson(value: T): Json
-    fromJson(json: Json): Option[T]
-}
-
-instance Json: JsonLike {
-    toJson(value: Json): Json {value}
-    fromJson(json: Json): Option[Json] {Some(json)}
-}
-
-instance String: JsonLike {
-    toJson(value: String): Json {string(value)}
-    fromJson(json: Json): Option[String] {_.getString()}
-}
-
-instance Int: JsonLike {
-    toJson(value: Int): Json {int(value)}
-    fromJson(json: Json): Option[Int] {_.getInt()}
-}
-
-instance Float: JsonLike {
-    toJson(value: Float): Json {float(value)}
-    fromJson(json: Json): Option[Float] {_.getFloat()}
-}
-
-instance Bool: JsonLike {
-    toJson(value: Bool): Json {bool(value)}
-    fromJson(json: Json): Option[Bool] {_.getBool()}
-}
-
-instance List[T: JsonLike]: JsonLike {
-    toJson(value: List[T]): Json {array(value.map(toJson))}
-    fromJson(json: Json): Option[List[T]] {
-        json.getArray().flatMap {array => 
-            mutable convertible = True
-            let result = Array.new()
-            array.eachWhile {item =>
-                fromJson(item).{
-                    | None => convertible = False
-                    | Some(value) => result.push(value)
-                }
-                convertible
-            }
-            if(convertible) {result.drain()}
-        }
-    }
-}
-
-instance StringMap[T: JsonLike]: JsonLike {
-    toJson(value: StringMap[T]): Json {
-        Json.fields {setField =>
-            value.each {key, value => setField(key, toJson(value))}
-        }
-    }
-    fromJson(json: Json): Option[StringMap[T]] {
-        if(json.isObject()) {
-            let map = StringMap.new()
-            mutable convertible = True
-            json.eachWhile {key, value => 
-                fromJson(value).{
-                    | None => convertible = False
-                    | Some(v) => map.set(key, v)
-                }
-                convertible
-            }
-            if(convertible) {map}
-        }.flatten()
-    }
-}
-
-
-instance Json: HasAnyTag {
-    anyTag(): AnyTag[Json] {Any.internalAnyTag("ff:core/Json.Json[]")}
-}
-
-instance Json: Show {
-    show(value: Json): String {value.write(Some("    "))}
-}
-
-instance Json: Equal {
-    equals(a: Json, b: Json): Bool {
-        internalEquals(a, b)
-    }
-}
-
-instance Json: Order {
-    compare(a: Json, b: Json): Ordering {
-        Ordering.fromInt(internalCompare(a, b))
-    }
-}
-
-instance Json: Serializable {
-    serializeUsing(serialization: Serialization, value: Json): Unit {
-        Serializable.serializeUsing(serialization, value.write())
-    }
-    deserializeUsing(serialization: Serialization): Json {
-        Json.read(Serializable.deserializeUsing[String](serialization)).grab()
-    }
-}
-
-
-internalEquals(a: Json, b: Json): Bool
-    target js sync """
-        if(a_ === b_) {
-            return true;
-        } else if(Array.isArray(a_) || Array.isArray(b_)) {
-            if(!Array.isArray(a_) || !Array.isArray(b_)) return false;
-            if(a_.length !== b_.length) return false;
-            for(let i = 0; i < a_.length; i++) {
-                if(!internalEquals_(a_[i], b_[i])) return false;
-            }
-            return true;
-        } else if(typeof a_ === 'object' && typeof b_ === 'object' && a_ !== null && b_ !== null) {
-            const aKeys = Object.keys(a_);
-            const bKeys = Object.keys(b_);
-            if(aKeys.length !== bKeys.length) return false;
-            for(const key of aKeys) {
-                if(!Object.hasOwn(b_, key) || !internalEquals_(a_[key], b_[key])) return false;
-            }
-            return true;
-        } else {
-            return false;
-        }
-    """
-
-internalCompare(a: Json, b: Json): Int
-    target js sync """
-        if(a_ === b_) {
-            return 0;
-        } else if (a_ === null || b_ === null) {
-            return a_ === null ? -1 : 1;
-        } else if (typeof a_ === 'boolean' || typeof b_ === 'boolean') {
-            if(typeof b_ !== 'boolean') return -1;
-            if(typeof a_ !== 'boolean') return 1;
-            return a_ < b_ ? -1 : 1;
-        } else if (typeof a_ === 'number' || typeof b_ === 'number') {
-            if(typeof b_ !== 'number') return -1;
-            if(typeof a_ !== 'number') return 1;
-            if(isNaN(a_)) return isNaN(b_) ? 0 : -1;
-            if(isNaN(b_)) return 1;
-            return a_ < b_ ? -1 : 1;
-        } else if (typeof a_ === 'string' || typeof b_ === 'string') {
-            if(typeof b_ !== 'string') return -1;
-            if(typeof a_ !== 'string') return 1;
-            return a_.localeCompare(b_, 'en');
-        } else if(Array.isArray(a_) || Array.isArray(b_)) {
-            if(!Array.isArray(a_) || !Array.isArray(b_)) return a_ < b_ ? -1 : 1;
-            const length = Math.min(a_.length, b_.length);
-            for(let i = 0; i < length; i++) {
-                const cmp = internalCompare_(a_[i], b_[i]);
-                if(cmp !== 0) return cmp;
-            }
-            return a_.length - b_.length;
-        } else {
-            const aKeys = Object.keys(a_).sort();
-            const bKeys = Object.keys(b_).sort();
-            const keyResult = internalCompare_(aKeys, bKeys);
-            if(keyResult !== 0) return keyResult;
-            for(const key of aKeys) {
-                const result = internalCompare_(a_[key], b_[key]);
-                if(result !== 0) return result;
-            }
-            return 0;
-        }
-    """
+data Json {}
+
+read(json: String): Option[Json]
+    target js sync """
+        try {
+            return ff_core_Option.Some(JSON.parse(json_));
+        } catch(e) {
+            return ff_core_Option.None();
+        }
+    """
+
+string(json: String): Json
+    target js sync """
+        return json_;
+    """
+
+int(json: Int): Json
+    target js sync """
+        return json_;
+    """
+
+float(json: Float): Json
+    target js sync """
+        return json_;
+    """
+
+bool(json: Bool): Json
+    target js sync """
+        return json_;
+    """
+
+null(): Json
+    target js sync """
+        return null;
+    """
+
+array(json: List[Json]): Json
+    target js sync """
+        return json_;
+    """
+
+object(): Json
+    target js sync """
+        return {};
+    """
+
+fields(body: ((String, Json) => Unit) => Unit): Json
+    target js sync """
+        const result = {};
+        body_((k, v) => {result[k] = v});
+        return result;
+    """
+    target js async """
+        const result = {};
+        await body_((k, v) => {result[k] = v}, $task);
+        return result;
+    """
+
+extend self: Json {
+    
+    write(indentation: Option[String] = None): String
+        target js sync """
+            return JSON.stringify(self_, null, indentation_.value_);
+        """
+
+    with[T: JsonLike](field: String, value: T): Json {
+        internalWith(self, field, toJson(value))
+    }
+        
+    merge(that: Json): Json
+        target js sync """
+            if(typeof self_ !== 'object' || self_ === null || Array.isArray(self_)) {
+                throw new Error('Not an object: ' + JSON.stringify(self_));
+            }
+            if(typeof that_ !== 'object' || that_ === null || Array.isArray(that_)) {
+                throw new Error('Not an object: ' + JSON.stringify(that_));
+            }
+            return {...self_, ...that_};
+        """
+
+    grabString(): String
+        target js sync """
+            if(typeof self_ !== 'string') throw new Error('Not a string: ' + JSON.stringify(self_));
+            return self_;
+        """
+
+    grabInt(): Int
+        target js sync """
+            if(!Number.isSafeInteger(self_)) throw new Error('Not an int: ' + JSON.stringify(self_));
+            return Math.trunc(self_);
+        """
+
+    grabFloat(): Float
+        target js sync """
+            if(typeof self_ !== 'number') throw new Error('Not a float: ' + JSON.stringify(self_));
+            return self_;
+        """
+
+    grabBool(): Bool
+        target js sync """
+            if(self_ === true) return true;
+            if(self_ === false) return false;
+            throw new Error('Not a bool: ' + JSON.stringify(self_));
+        """
+
+    grabArray(): List[Json]
+        target js sync """
+            if(!Array.isArray(self_)) throw new Error('Not an array: ' + JSON.stringify(self_));
+            return self_;
+        """
+        
+    grabMap(): Map[String, Json] {
+        mutable map = Map.new()
+        self.each {key, value => 
+            map = map.add(key, value)
+        }
+        map
+    }
+
+    getString(): Option[String] {
+        if(self.isString()) {self.grabString()}
+    }
+
+    getInt(): Option[Int] {
+        if(self.isInt()) {self.grabInt()}
+    }
+
+    getFloat(): Option[Float] {
+        if(self.isFloat()) {self.grabFloat()}
+    }
+
+    getBool(): Option[Bool] {
+        if(self.isBool()) {self.grabBool()}
+    }
+
+    getArray(): Option[List[Json]] {
+        if(self.isArray()) {self.grabArray()}
+    }
+
+    getMap(): Option[Map[String, Json]] {
+        if(self.isObject()) {self.grabMap()}
+    }
+
+    isString(): Bool
+        target js sync """
+            return typeof self_ === 'string';
+        """
+
+    isInt(): Bool
+        target js sync """
+            return Number.isSafeInteger(self_);
+        """
+
+    isFloat(): Bool
+        target js sync """
+            return typeof self_ === 'number';
+        """
+
+    isBool(): Bool
+        target js sync """
+            return typeof self_ === 'boolean';
+        """
+
+    isArray(): Bool
+        target js sync """
+            return Array.isArray(self_);
+        """
+
+    isObject(): Bool
+        target js sync """
+            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_);
+        """
+
+    isNull(): Bool
+        target js sync """
+            return self_ === null;
+        """
+
+    field(key: String): Json
+        target js sync """
+            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_) && Object.hasOwn(self_, key_)
+                ? self_[key_] : null;
+        """
+
+    index(key: Int): Json
+        target js sync """
+            return typeof self_ === 'array' ? self_[key] ?? null : null;
+        """
+
+    hasField(key: String): Bool
+        target js sync """
+            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_) && Object.hasOwn(self_, key_);
+        """
+
+    getField(key: String): Option[Json]
+        target js sync """
+            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_) && Object.hasOwn(self_, key_)
+                ? ff_core_Option.Some(self_[key_]) : ff_core_Option.None();
+        """
+
+    getIndex(key: Int): Option[Json]
+        target js sync """
+            return typeof self_ === 'array' ? ff_core_Option.Some(self_[key_] ?? null) : ff_core_Option.None();
+        """
+        
+    getFields(): Option[List[String]]
+        target js sync """
+            return typeof self_ === 'object' && self_ !== null && !Array.isArray(self_)
+                ? ff_core_Option.Some(Object.keys(self_)) : ff_core_Option.None();
+        """
+
+    grabField(key: String): Json {
+        self.getField(key).else {
+            throw(GrabException())
+        }
+    }
+
+    grabIndex(key: Int): Json {
+        self.getIndex(key).else {
+            throw(GrabException())
+        }
+    }
+    
+    grabFields(): List[String] {
+        self.getFields().else {
+            throw(GrabException())
+        }
+    }
+
+    map[T](body: (String, Json) => T): List[T] {
+        let array = Array.new()
+        self.each {field, value => array.push(body(field, value))}
+        array.drain()
+    }
+
+    flatMap[T](body: (String, Json) => List[T]): List[T] {
+        let array = Array.new()
+        self.each {field, value => array.pushList(body(field, value))}
+        array.drain()
+    }
+    
+    each(body: (String, Json) => Unit) {
+        if(!self.isObject()) {throw(GrabException())}
+        internalEach(self, body)
+    }
+
+    eachWhile(body: (String, Json) => Bool) {
+        if(!self.isObject()) {throw(GrabException())}
+        internalEachWhile(self, body)
+    }
+
+}
+
+internalWith(self: Json, field: String, value: Json): Json
+    target js sync """
+        if(typeof self_ !== 'object' || self_ === null || Array.isArray(self_)) {
+            throw new Error('Not an object: ' + JSON.stringify(self_));
+        }
+        return {...self_, [field_]: value_};
+    """
+
+internalEach(self: Json, body: (String, Json) => Unit): Unit
+    target js sync "for(const [key, value] of Object.entries(self_)) body_(key, value)"
+    target js async "for(const [key, value] of Object.entries(self_)) await body_(key, value, $task)"
+
+internalEachWhile(self: Json, body: (String, Json) => Bool): Unit
+    target js sync "for(const [key, value] of Object.entries(self_)) if(!body_(key, value)) break"
+    target js async "for(const [key, value] of Object.entries(self_)) if(!await body_(key, value, $task)) break"
+
+trait T: JsonLike {
+    toJson(value: T): Json
+    fromJson(json: Json): Option[T]
+}
+
+instance Json: JsonLike {
+    toJson(value: Json): Json {value}
+    fromJson(json: Json): Option[Json] {Some(json)}
+}
+
+instance String: JsonLike {
+    toJson(value: String): Json {string(value)}
+    fromJson(json: Json): Option[String] {_.getString()}
+}
+
+instance Int: JsonLike {
+    toJson(value: Int): Json {int(value)}
+    fromJson(json: Json): Option[Int] {_.getInt()}
+}
+
+instance Float: JsonLike {
+    toJson(value: Float): Json {float(value)}
+    fromJson(json: Json): Option[Float] {_.getFloat()}
+}
+
+instance Bool: JsonLike {
+    toJson(value: Bool): Json {bool(value)}
+    fromJson(json: Json): Option[Bool] {_.getBool()}
+}
+
+instance List[T: JsonLike]: JsonLike {
+    toJson(value: List[T]): Json {array(value.map(toJson))}
+    fromJson(json: Json): Option[List[T]] {
+        json.getArray().flatMap {array => 
+            mutable convertible = True
+            let result = Array.new()
+            array.eachWhile {item =>
+                fromJson(item).{
+                    | None => convertible = False
+                    | Some(value) => result.push(value)
+                }
+                convertible
+            }
+            if(convertible) {result.drain()}
+        }
+    }
+}
+
+instance StringMap[T: JsonLike]: JsonLike {
+    toJson(value: StringMap[T]): Json {
+        Json.fields {setField =>
+            value.each {key, value => setField(key, toJson(value))}
+        }
+    }
+    fromJson(json: Json): Option[StringMap[T]] {
+        if(json.isObject()) {
+            let map = StringMap.new()
+            mutable convertible = True
+            json.eachWhile {key, value => 
+                fromJson(value).{
+                    | None => convertible = False
+                    | Some(v) => map.set(key, v)
+                }
+                convertible
+            }
+            if(convertible) {map}
+        }.flatten()
+    }
+}
+
+
+instance Json: HasAnyTag {
+    anyTag(): AnyTag[Json] {Any.internalAnyTag("ff:core/Json.Json[]")}
+}
+
+instance Json: Show {
+    show(value: Json): String {value.write(Some("    "))}
+}
+
+instance Json: Equal {
+    equals(a: Json, b: Json): Bool {
+        internalEquals(a, b)
+    }
+}
+
+instance Json: Order {
+    compare(a: Json, b: Json): Ordering {
+        Ordering.fromInt(internalCompare(a, b))
+    }
+}
+
+instance Json: Serializable {
+    serializeUsing(serialization: Serialization, value: Json): Unit {
+        Serializable.serializeUsing(serialization, value.write())
+    }
+    deserializeUsing(serialization: Serialization): Json {
+        Json.read(Serializable.deserializeUsing[String](serialization)).grab()
+    }
+}
+
+
+internalEquals(a: Json, b: Json): Bool
+    target js sync """
+        if(a_ === b_) {
+            return true;
+        } else if(Array.isArray(a_) || Array.isArray(b_)) {
+            if(!Array.isArray(a_) || !Array.isArray(b_)) return false;
+            if(a_.length !== b_.length) return false;
+            for(let i = 0; i < a_.length; i++) {
+                if(!internalEquals_(a_[i], b_[i])) return false;
+            }
+            return true;
+        } else if(typeof a_ === 'object' && typeof b_ === 'object' && a_ !== null && b_ !== null) {
+            const aKeys = Object.keys(a_);
+            const bKeys = Object.keys(b_);
+            if(aKeys.length !== bKeys.length) return false;
+            for(const key of aKeys) {
+                if(!Object.hasOwn(b_, key) || !internalEquals_(a_[key], b_[key])) return false;
+            }
+            return true;
+        } else {
+            return false;
+        }
+    """
+
+internalCompare(a: Json, b: Json): Int
+    target js sync """
+        if(a_ === b_) {
+            return 0;
+        } else if (a_ === null || b_ === null) {
+            return a_ === null ? -1 : 1;
+        } else if (typeof a_ === 'boolean' || typeof b_ === 'boolean') {
+            if(typeof b_ !== 'boolean') return -1;
+            if(typeof a_ !== 'boolean') return 1;
+            return a_ < b_ ? -1 : 1;
+        } else if (typeof a_ === 'number' || typeof b_ === 'number') {
+            if(typeof b_ !== 'number') return -1;
+            if(typeof a_ !== 'number') return 1;
+            if(isNaN(a_)) return isNaN(b_) ? 0 : -1;
+            if(isNaN(b_)) return 1;
+            return a_ < b_ ? -1 : 1;
+        } else if (typeof a_ === 'string' || typeof b_ === 'string') {
+            if(typeof b_ !== 'string') return -1;
+            if(typeof a_ !== 'string') return 1;
+            return a_.localeCompare(b_, 'en');
+        } else if(Array.isArray(a_) || Array.isArray(b_)) {
+            if(!Array.isArray(a_) || !Array.isArray(b_)) return a_ < b_ ? -1 : 1;
+            const length = Math.min(a_.length, b_.length);
+            for(let i = 0; i < length; i++) {
+                const cmp = internalCompare_(a_[i], b_[i]);
+                if(cmp !== 0) return cmp;
+            }
+            return a_.length - b_.length;
+        } else {
+            const aKeys = Object.keys(a_).sort();
+            const bKeys = Object.keys(b_).sort();
+            const keyResult = internalCompare_(aKeys, bKeys);
+            if(keyResult !== 0) return keyResult;
+            for(const key of aKeys) {
+                const result = internalCompare_(a_[key], b_[key]);
+                if(result !== 0) return result;
+            }
+            return 0;
+        }
+    """