firefly-compiler 0.4.4

package/core/IntMap.ff

@@ -0,0 +1,85 @@
+class IntMap[V] {}
+
+make[V](): IntMap[V]
+    target js sync "return new Map()"
+
+extend self[V]: IntMap[V] {
+
+    get(key: Int): Option[V]
+        target js sync "return self_.has(key_) ? ff_core_Option.Some(self_.get(key_)) : ff_core_Option.None()"
+
+    grab(key: Int): V
+        target js sync """
+            const result = self_.get(key_)
+            if(key_ === void 0 && !self_.has(key_)) {
+                ff_core_Try.internalThrowGrabException_()
+            }
+            return result
+        """
+
+    set(key: Int, value: V): Unit
+        target js sync "self_.set(key_, value_)"
+
+    has(key: Int): Bool
+        target js sync "return self_.has(key_)"
+
+    remove(key: Int): Bool
+        target js sync "return self_.delete(key_)"
+
+    clear(): Unit
+        target js sync "self_.clear()"
+
+    size(): Int
+        target js sync "return self_.size"
+
+    each(body: (Int, V) => Unit): Bool
+        target js sync "return self_.forEach((v, k) => body_(k, v))"
+        target js async "for(const [k, v] of self_) await body_(k, v)"
+
+    eachWhile(body: (Int, V) => Bool): Bool
+        target js sync "for(const [k, v] of self_) if(!body_(k, v)) break"
+        target js async "for(const [k, v] of self_) if(!await body_(k, v)) break"
+
+    toStack(): Stack[Pair[Int, V]] {
+        let stack = Stack.make()
+        self.each {k, v => stack.push(Pair(k, v))}
+        stack
+    }
+
+    toArray(): Array[Pair[Int, V]] {
+        self.toStack().drain()
+    }
+
+    toList(): List[Pair[Int, V]] {
+        self.toArray().toList()
+    }
+
+    toStream(): Stream[Pair[Int, V]] {
+        self.toArray().toStream()
+    }
+
+    toMap(): Map[Int, V] {
+        self.toArray().toMap()
+    }
+
+    keys(): List[Int] {
+        let stack = Stack.make()
+        self.each {k, v => stack.push(k)}
+        stack.toList()
+    }
+
+    values(): List[V] {
+        let stack = Stack.make()
+        self.each {k, v => stack.push(v)}
+        stack.toList()
+    }
+
+    copy(): IntMap[V]
+        target js sync "return new Map(self_)"
+        
+    getOrSet(key: Int, body: () => V): V {
+        if(!self.has(key)) {self.set(key, body())}
+        self.grab(key)
+    }
+        
+}

package/core/JsSystem.ff

@@ -0,0 +1,66 @@
+class JsSystem {} // TODO: It has to be async if the async ffi is to be called - solve in the compiler?
+
+extend self: JsSystem {
+
+    global(): JsValue
+        target js sync "return self_"
+
+    parseJson(json: String): JsValue
+        target js sync "return JSON.parse(json_)"
+
+    null(): JsValue
+        target js sync "return null"
+
+    undefined(): JsValue
+        target js sync "return void 0"
+
+    value[T: IsJsValue](jsValue: T): JsValue
+        target js sync "return jsValue_"
+
+    object(): JsValue
+        target js sync "return {}"
+
+    array(values: List[JsValue]): JsValue
+        target js sync "return ff_core_List.List_toArray(values_)"
+
+    function0[R](body: () => R): JsValue
+        target js sync "return body_"
+        target js async "return () => body_($task)"
+
+    function1[R](body: JsValue => R): JsValue
+        target js sync "return body_"
+        target js async "return a1 => body_(a1, $task)"
+
+    function2[R](body: (JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2) => body_(a1, a2, $task)"
+
+    function3[R](body: (JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3) => body_(a1, a2, a3, $task)"
+
+    function4[R](body: (JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4) => body_(a1, a2, a3, a4, $task)"
+
+    function5[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5) => body_(a1, a2, a3, a4, a5, $task)"
+
+    function6[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5, a6) => body_(a1, a2, a3, a4, a5, a6, $task)"
+
+    function7[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5, a6, a7) => body_(a1, a2, a3, a4, a5, a6, a7, $task)"
+
+    function8[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5, a6, a7, a8) => body_(a1, a2, a3, a4, a5, a6, a7, a8, $task)"
+
+    function9[R](body: (JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue, JsValue) => R): JsValue
+        target js sync "return body_"
+        target js async "return (a1, a2, a3, a4, a5, a6, a7, a8, a9) => body_(a1, a2, a3, a4, a5, a6, a7, a8, a9, $task)"
+
+}

package/core/JsValue.ff

@@ -0,0 +1,240 @@
+class JsValue {}
+
+extend self: JsValue {
+
+    grabString(): String
+        target js sync "return self_"
+
+    grabChar(): Char
+        target js sync "return self_"
+
+    grabInt(): Int
+        target js sync "return self_"
+
+    grabFloat(): Float
+        target js sync "return self_"
+
+    grabBool(): Bool
+        target js sync "return self_"
+
+    grabArray(): Array[JsValue]
+        target js sync "return self_"
+
+    grabBuffer(): Buffer
+        target js sync """
+            if(!(self_ instanceof DataView)) throw new Error('Expected buffer, got '+ typeof self_);
+            return self_
+        """
+
+    isString(): Bool
+        target js sync "return typeof self_ === 'string'"
+
+    isChar(): Bool
+        target js sync """
+            return Number.isInteger(self_) && Math.abs(self_) <= Number.MAX_SAFE_INTEGER
+                && self_ >= 0 && self_ < 1114112
+        """
+
+    isInt(): Bool
+        target js sync "return Number.isInteger(self_) && Math.abs(self_) <= Number.MAX_SAFE_INTEGER"
+
+    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 self_ != null && typeof self_ === 'object'"
+
+    isFunction(): Bool
+        target js sync "return typeof self_ === 'function'"
+
+    isNull(): Bool
+        target js sync "return self_ === null"
+
+    isUndefined(): Bool
+        target js sync "return typeof self_ === 'undefined'"
+
+    isNullOrUndefined(): Bool
+        target js sync "return self_ == null"
+
+    isNan(): Bool
+        target js sync "return typeof self_ === 'number' && self_ !== self_"
+
+    isFinite(): Bool
+        target js sync "return typeof self_ === 'number' && isFinite(self_)"
+
+
+    get[K: IsJsValue](key: K): JsValue
+        target js sync "return self_[key_]"
+
+    // TODO rename
+    getOwn(key: String): Option[JsValue] {
+        if(self.hasOwn(key)) {Some(self.get(key))} else {None}
+    }
+
+    set[K: IsJsValue, V: IsJsValue](key: K, value: V): Unit
+        target js sync "self_[key_] = value_"
+
+    with[K: IsJsValue, V: IsJsValue](key: K, value: V): JsValue
+        target js sync "return {...self_, [key_]: value_}"
+
+    hasOwn(name: String): Bool
+        target js sync "return Object.prototype.hasOwnProperty.call(self_, name_)"
+
+
+    assign(source: JsValue, source2: JsValue = source): JsValue
+        target js sync "return Object.assign(self_, source_, source2_ !== source_ ? source2_ : null)"
+
+
+    each(body: JsValue => Unit): Unit
+        target js sync "for(const value of self_) body_(value)"
+        target js async "for(const value of self_) await body_(value, $task)"
+
+    eachWhile(body: JsValue => Bool): Unit
+        target js sync "for(const value of self_) if(!body_(value)) break"
+        target js async "for(const value of self_) if(!await body_(value, $task)) break"
+
+
+    call(name: String, arguments: List[JsValue]): JsValue
+        target js sync "return self_[name_].apply(this_, ff_core_List.List_toArray(arguments_))"
+
+    call0(name: String): JsValue
+        target js sync "return self_[name_].call(self_)"
+
+    call1[A1: IsJsValue](name: String, a1: A1): JsValue
+        target js sync "return self_[name_].call(self_, a1_)"
+
+    call2[A1: IsJsValue, A2: IsJsValue](name: String, a1: A1, a2: A2): JsValue
+        target js sync "return self_[name_].call(self_, a1_, a2_)"
+
+    call3[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue](name: String, a1: A1, a2: A2, a3: A3): JsValue
+        target js sync "return self_[name_].call(self_, a1_, a2_, a3_)"
+
+    call4[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue](name: String, a1: A1, a2: A2, a3: A3, a4: A4): JsValue
+        target js sync "return self_[name_].call(self_, a1_, a2_, a3_, a4_)"
+
+    call5[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue](name: String, a1: A1, a2: A2, a3: A3, a4: A4, a5: A5): JsValue
+        target js sync "return self_[name_].call(self_, a1_, a2_, a3_, a4_, a5_)"
+
+    call6[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue](name: String, a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6): JsValue
+        target js sync "return self_[name_].call(self_, a1_, a2_, a3_, a4_, a5_, a6_)"
+
+    call7[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue, A7: IsJsValue](name: String, a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6, a7: A7): JsValue
+        target js sync "return self_[name_].call(self_, a1_, a2_, a3_, a4_, a5_, a6_, a7_)"
+
+    call8[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue, A7: IsJsValue, A8: IsJsValue](name: String, a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6, a7: A7, a8: A8): JsValue
+        target js sync "return self_[name_].call(self_, a1_, a2_, a3_, a4_, a5_, a6_, a7_, a8_)"
+
+    call9[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue, A7: IsJsValue, A8: IsJsValue, A9: IsJsValue](name: String, a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6, a7: A7, a8: A8, a9: A9): JsValue
+        target js sync "return self_[name_].call(self_, a1_, a2_, a3_, a4_, a5_, a6_, a7_, a8_, a9_)"
+
+
+    callValue(this: JsValue, arguments: List[JsValue]): JsValue
+        target js sync "return self_.apply(this_, ff_core_List.List_toArray(arguments_))"
+
+    callValue0(): JsValue
+        target js sync "return self_.call(self_)"
+
+    callValue1[A1: IsJsValue](a1: A1): JsValue
+        target js sync "return self_.call(self_, a1_)"
+
+    callValue2[A1: IsJsValue, A2: IsJsValue](a1: A1, a2: A2): JsValue
+        target js sync "return self_.call(self_, a1_, a2_)"
+
+    callValue3[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue](a1: A1, a2: A2, a3: A3): JsValue
+        target js sync "return self_.call(self_, a1_, a2_, a3_)"
+
+    callValue4[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4): JsValue
+        target js sync "return self_.call(self_, a1_, a2_, a3_, a4_)"
+
+    callValue5[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5): JsValue
+        target js sync "return self_.call(self_, a1_, a2_, a3_, a4_, a5_)"
+
+    callValue6[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6): JsValue
+        target js sync "return self_.call(self_, a1_, a2_, a3_, a4_, a5_, a6_)"
+
+    callValue7[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue, A7: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6, a7: A7): JsValue
+        target js sync "return self_.call(self_, a1_, a2_, a3_, a4_, a5_, a6_, a7_)"
+
+    callValue8[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue, A7: IsJsValue, A8: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6, a7: A7, a8: A8): JsValue
+        target js sync "return self_.call(self_, a1_, a2_, a3_, a4_, a5_, a6_, a7_, a8_)"
+
+    callValue9[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue, A7: IsJsValue, A8: IsJsValue, A9: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6, a7: A7, a8: A8, a9: A9): JsValue
+        target js sync "return self_.call(self_, a1_, a2_, a3_, a4_, a5_, a6_, a7_, a8_, a9_)"
+
+
+    new(this: JsValue, arguments: List[JsValue]): JsValue
+        target js sync "return new (Function.prototype.bind.apply(self_, ff_core_List.List_toArray(arguments_)))"
+
+    new0(): JsValue
+        target js sync "return new self_()"
+
+    new1[A1: IsJsValue](a1: A1): JsValue
+        target js sync "return new self_(a1_)"
+
+    new2[A1: IsJsValue, A2: IsJsValue](a1: A1, a2: A2): JsValue
+        target js sync "return new self_(a1_, a2_)"
+
+    new3[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue](a1: A1, a2: A2, a3: A3): JsValue
+        target js sync "return new self_(a1_, a2_, a3_)"
+
+    new4[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4): JsValue
+        target js sync "return new self_(a1_, a2_, a3_, a4_)"
+
+    new5[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5): JsValue
+        target js sync "return new self_(a1_, a2_, a3_, a4_, a5_)"
+
+    new6[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6): JsValue
+        target js sync "return new self_(a1_, a2_, a3_, a4_, a5_, a6_)"
+
+    new7[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue, A7: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6, a7: A7): JsValue
+        target js sync "return new self_(a1_, a2_, a3_, a4_, a5_, a6_, a7_)"
+
+    new8[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue, A7: IsJsValue, A8: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6, a7: A7, a8: A8): JsValue
+        target js sync "return new self_(a1_, a2_, a3_, a4_, a5_, a6_, a7_, a8_)"
+
+    new9[A1: IsJsValue, A2: IsJsValue, A3: IsJsValue, A4: IsJsValue, A5: IsJsValue, A6: IsJsValue, A7: IsJsValue, A8: IsJsValue, A9: IsJsValue](a1: A1, a2: A2, a3: A3, a4: A4, a5: A5, a6: A6, a7: A7, a8: A8, a9: A9): JsValue
+        target js sync "return new self_(a1_, a2_, a3_, a4_, a5_, a6_, a7_, a8_, a9_)"
+
+
+    toJson(space: Option[String] = None): String
+        target js sync "return JSON.stringify(self_, null, space_.value_)"
+
+    grabPairs(): List[Pair[String, JsValue]]
+        target js sync """
+            if(!(self_ instanceof Object)) throw new Error('Expected object, got '+ typeof self_);;
+            let result = ff_core_List.Empty();
+            Object.getOwnPropertyNames(self_).forEach((name, i) => {
+                let pair = ff_core_Pair.Pair(name, self_[name]);
+                result = ff_core_List.Link(pair, result);
+            })
+            return result;
+        """
+
+    grabMap(): Map[String, JsValue] {
+        self.grabPairs().toMap()
+    }
+    //toArray(): Array[JsValue] // TODO
+    //toList(): List[JsValue] // TODO
+    // TODO: JS operators
+
+}
+
+trait T: IsJsValue {}
+instance JsValue: IsJsValue {}
+instance String: IsJsValue {}
+instance Char: IsJsValue {}
+instance Int: IsJsValue {}
+instance Float: IsJsValue {}
+instance Bool: IsJsValue {}
+instance Array[T: IsJsValue]: IsJsValue {}
+instance Error: IsJsValue {}
+instance Instant: IsJsValue {}
+instance Duration: IsJsValue {}
+instance Buffer: IsJsValue {}
+instance Nothing: IsJsValue {}