firefly-compiler 0.5.39 → 0.5.40

package/core/Crypto.ff

@@ -1,94 +1,94 @@
-capability Crypto {}
-
-extend self: Crypto {
-    
-    randomUuid(): String {
-        self!->randomUUID()?
-    }
-    
-    randomBuffer(size: Int): Buffer {
-        let buffer = Buffer.new(size)
-        self.randomizeBuffer(buffer)
-        buffer
-    }
-
-    randomizeBuffer(buffer: Buffer): Unit {
-        self!->getRandomValues(Js->Uint8Array->(buffer!->buffer, buffer!->byteOffset, buffer!->byteLength))
-    }
-
-    hmacSha256(key: Buffer, buffer: Buffer): Buffer {
-        Js.throwIfCancelled()
-        let cryptoKey = Js.await(self!->subtle->importKey(
-            "raw"
-            key!
-            Js->(name = "HMAC", hash = Js->(name = "SHA-256"))
-            False
-            ["sign"]
-        ))
-        let signature = Js.await(self!->subtle->sign(
-            "HMAC"
-            cryptoKey
-            buffer!
-        )) 
-        Js->DataView->(signature)?
-    }
-        
-    sha256(buffer: Buffer): Buffer {
-        Js.throwIfCancelled()
-        let hash = Js.await(self!->subtle->digest("SHA-256", buffer))
-        Js->DataView->(hash)?
-    }
-
-    hashPassword(password: String, iterations: Int = 600000): String {
-        let salt = self.randomBuffer(16)
-        let hash = internalHashPassword(self, salt, password.toBuffer(), iterations)
-        "$pbkdf2-sha256-hex$" + iterations + "$" + salt.toHex() + "$" + hash.toHex()
-    }
-    
-    checkPassword(password: String, passwordHash: String): Bool {
-        passwordHash.split('$').{
-            | ["", "pbkdf2-sha256-hex", iterationsText, saltText, hashText] {
-                iterationsText.getInt() | Some(iterations)
-            } =>
-                let computedHash = 
-                    internalHashPassword(self, Buffer.fromHex(saltText), password.toBuffer(), iterations)
-                let hash = Buffer.fromHex(hashText)
-                self.constantTimeEquals(computedHash, hash)
-            | _ => False
-        }
-    }
-
-    constantTimeEquals(buffer1: Buffer, buffer2: Buffer): Bool {
-        if(buffer1.size() != buffer2.size()) {False} else: 
-        mutable v = 0
-        mutable i = 0
-        while {i < buffer1.size()} {
-            v = v.bitOr(buffer1.grabUint8(i).bitXor(buffer2.grabUint8(i)))
-            i += 1
-        }
-        v == 0
-    }
-
-}
-
-internalHashPassword(system: Crypto, salt: Buffer, password: Buffer, iterations: Int): Buffer {
-    Js.throwIfCancelled()
-    let keyMaterial = Js.await(system!->subtle->importKey(
-        "raw"
-        password!
-        Js->(name = "PBKDF2")
-        False
-        ["deriveBits"]
-    ))
-    let hashBuffer = Js.await(system!->subtle->deriveBits(
-        Js->(
-            name = "PBKDF2"
-            salt = salt
-            iterations = iterations
-            hash = "SHA-256"
-        )
-        keyMaterial
-        256
-    ))
-    Js->DataView->(hashBuffer)?
-}
+capability Crypto {}
+
+extend self: Crypto {
+    
+    randomUuid(): String {
+        self!->randomUUID()?
+    }
+    
+    randomBuffer(size: Int): Buffer {
+        let buffer = Buffer.new(size)
+        self.randomizeBuffer(buffer)
+        buffer
+    }
+
+    randomizeBuffer(buffer: Buffer): Unit {
+        self!->getRandomValues(Js->Uint8Array->(buffer!->buffer, buffer!->byteOffset, buffer!->byteLength))
+    }
+
+    hmacSha256(key: Buffer, buffer: Buffer): Buffer {
+        Js.throwIfCancelled()
+        let cryptoKey = Js.await(self!->subtle->importKey(
+            "raw"
+            key!
+            Js->(name = "HMAC", hash = Js->(name = "SHA-256"))
+            False
+            ["sign"]
+        ))
+        let signature = Js.await(self!->subtle->sign(
+            "HMAC"
+            cryptoKey
+            buffer!
+        )) 
+        Js->DataView->(signature)?
+    }
+        
+    sha256(buffer: Buffer): Buffer {
+        Js.throwIfCancelled()
+        let hash = Js.await(self!->subtle->digest("SHA-256", buffer))
+        Js->DataView->(hash)?
+    }
+
+    hashPassword(password: String, iterations: Int = 600000): String {
+        let salt = self.randomBuffer(16)
+        let hash = internalHashPassword(self, salt, password.toBuffer(), iterations)
+        "$pbkdf2-sha256-hex$" + iterations + "$" + salt.toHex() + "$" + hash.toHex()
+    }
+    
+    checkPassword(password: String, passwordHash: String): Bool {
+        passwordHash.split('$').{
+            | ["", "pbkdf2-sha256-hex", iterationsText, saltText, hashText] {
+                iterationsText.getInt() | Some(iterations)
+            } =>
+                let computedHash = 
+                    internalHashPassword(self, Buffer.fromHex(saltText), password.toBuffer(), iterations)
+                let hash = Buffer.fromHex(hashText)
+                self.constantTimeEquals(computedHash, hash)
+            | _ => False
+        }
+    }
+
+    constantTimeEquals(buffer1: Buffer, buffer2: Buffer): Bool {
+        if(buffer1.size() != buffer2.size()) {False} else: 
+        mutable v = 0
+        mutable i = 0
+        while {i < buffer1.size()} {
+            v = v.bitOr(buffer1.grabUint8(i).bitXor(buffer2.grabUint8(i)))
+            i += 1
+        }
+        v == 0
+    }
+
+}
+
+internalHashPassword(system: Crypto, salt: Buffer, password: Buffer, iterations: Int): Buffer {
+    Js.throwIfCancelled()
+    let keyMaterial = Js.await(system!->subtle->importKey(
+        "raw"
+        password!
+        Js->(name = "PBKDF2")
+        False
+        ["deriveBits"]
+    ))
+    let hashBuffer = Js.await(system!->subtle->deriveBits(
+        Js->(
+            name = "PBKDF2"
+            salt = salt
+            iterations = iterations
+            hash = "SHA-256"
+        )
+        keyMaterial
+        256
+    ))
+    Js->DataView->(hashBuffer)?
+}

package/core/Equal.ff

@@ -1,41 +1,41 @@
-trait T: Equal {
-    equals(x: T, y: T): Bool
-}
-
-notEquals[T: Equal](x: T, y: T): Bool {
-    !equals(x, y)
-}
-
-instance Nothing: Equal {
-    equals(x: Nothing, y: Nothing): Bool {True}
-}
-
-instance Bool: Equal {
-    equals(x: Bool, y: Bool): Bool {
-        x!.equals(y)
-    }
-}
-
-instance Char: Equal {
-    equals(x: Char, y: Char): Bool {
-        x!.equals(y)
-    }
-}
-
-instance Int: Equal {
-    equals(x: Int, y: Int): Bool {
-        x!.equals(y)
-    }
-}
-
-instance Float: Equal {
-    equals(x: Float, y: Float): Bool {
-        x!.equals(y)
-    }
-}
-
-instance String: Equal {
-    equals(x: String, y: String): Bool {
-        x!.equals(y)
-    }
-}
+trait T: Equal {
+    equals(x: T, y: T): Bool
+}
+
+notEquals[T: Equal](x: T, y: T): Bool {
+    !equals(x, y)
+}
+
+instance Nothing: Equal {
+    equals(x: Nothing, y: Nothing): Bool {True}
+}
+
+instance Bool: Equal {
+    equals(x: Bool, y: Bool): Bool {
+        x!.equals(y)
+    }
+}
+
+instance Char: Equal {
+    equals(x: Char, y: Char): Bool {
+        x!.equals(y)
+    }
+}
+
+instance Int: Equal {
+    equals(x: Int, y: Int): Bool {
+        x!.equals(y)
+    }
+}
+
+instance Float: Equal {
+    equals(x: Float, y: Float): Bool {
+        x!.equals(y)
+    }
+}
+
+instance String: Equal {
+    equals(x: String, y: String): Bool {
+        x!.equals(y)
+    }
+}

package/core/Error.ff

@@ -1,25 +1,25 @@
-data Error {}
-
-extend self: Error {
-
-    rethrow[T](): T {
-        Js.throw(self!)
-    }
-
-    name(): String {
-        self!->name.coalesce("")?
-    }
-
-    message(): String {
-        self!->message.coalesce("")?
-    }
-
-    stack(): String {
-        self!->stack.coalesce("")?
-    }
-
-    exception(): Option[Any] {
-        if(!self!->ffException.isNullOrUndefined()) {self!->ffException?}
-    }
-
-}
+data Error {}
+
+extend self: Error {
+
+    rethrow[T](): T {
+        Js.throw(self!)
+    }
+
+    name(): String {
+        self!->name.coalesce("")?
+    }
+
+    message(): String {
+        self!->message.coalesce("")?
+    }
+
+    stack(): String {
+        self!->stack.coalesce("")?
+    }
+
+    exception(): Option[Any] {
+        if(!self!->ffException.isNullOrUndefined()) {self!->ffException?}
+    }
+
+}

package/core/HttpClient.ff

@@ -1,142 +1,142 @@
-capability HttpClient {}
-capability FetchBody {}
-capability FetchResponse {}
-data FetchRedirect {
-    RedirectFollow
-    RedirectError
-    RedirectManual
-}
-data FetchOptions(
-    redirect: FetchRedirect = RedirectFollow
-    referrer: Option[String] = None
-    integrity: Option[String] = None
-    mode: Option[String] = None
-    credentials: Option[String] = None
-    cache: Option[String] = None
-)
-
-extend self: HttpClient {
-    
-    get[T](
-        url: String
-        headers: List[Pair[String, String]]
-        body: FetchResponse => T
-    ): T {
-        self.fetch("GET", url, headers, None, FetchOptions(), body)
-    }
-    
-    post[T](
-        url: String
-        headers: List[Pair[String, String]]
-        payload: Buffer
-        body: FetchResponse => T
-    ): T {
-        self.fetch("POST", url, headers, Some(payload), FetchOptions(), body)
-    }
-    
-    put[T](
-        url: String
-        headers: List[Pair[String, String]]
-        payload: Buffer
-        body: FetchResponse => T
-    ): T {
-        self.fetch("PUT", url, headers, Some(payload), FetchOptions(), body)
-    }
-    
-    delete[T](
-        url: String
-        headers: List[Pair[String, String]]
-        body: FetchResponse => T
-    ): T {
-        self.fetch("DELETE", url, headers, None, FetchOptions(), body)
-    }
-
-    fetch[T](
-        method: String
-        url: String
-        headers: List[Pair[String, String]] = []
-        payload: Option[Buffer] = None
-        options: FetchOptions = FetchOptions()
-        body: FetchResponse => T
-    ): T {
-        let fetchResponse = Js->(response = Js.null(), statusChecked = False)
-        Js.withSignal {signal =>
-            try {
-                let fetchOptions = Js->(headers = Js->(), signal = signal, method = method)
-                headers.each {| Pair(k, v) =>
-                    fetchOptions->headers.set(k, v)
-                }
-                payload.each {v => fetchOptions->body = v}
-                options.redirect.{
-                    | RedirectError => fetchOptions->redirect = "error"
-                    | RedirectFollow => 
-                    | RedirectManual => fetchOptions->redirect = "manual"
-                }
-                options.referrer.each {v => fetchOptions->referrer = v}
-                options.integrity.each {v => fetchOptions->integrity = v}
-                options.mode.each {v => fetchOptions->mode = v}
-                options.credentials.each {v => fetchOptions->credentials = v}
-                options.cache.each {v => fetchOptions->cache = v}
-                fetchResponse->response = Js.await(self!->fetch(url, fetchOptions))
-                let result = Js.await(body(fetchResponse?)!)
-                internalCheck(fetchResponse?)
-                result?
-            } finally {
-                fetchResponse->response = Js.null()
-            }
-        }
-    }
-
-}
-
-extend self: FetchResponse {
-
-    ok(): Bool {
-        self!->statusChecked = True
-        internalCheck(self)
-        self!->response->ok?
-    }
-
-    status(): Int {
-        self!->statusChecked = True
-        internalCheck(self)
-        self!->response->status?
-    }
-
-    statusText(): String {
-        self!->statusChecked = True
-        internalCheck(self)
-        self!->response->statusText?
-    }
-
-    header(name: String): Option[String] {
-        internalCheck(self)
-        let header = self!->response->headers->get(name)
-        if(!header.isNullOrUndefined()) {header?}
-    }
-
-    readText(): String {
-        internalCheck(self)
-        Js.await(self!->response->text())?
-    }
-
-    readJson(): Json {
-        internalCheck(self)
-        Js.await(self!->response->json())?
-    }
-
-    readBuffer(): Buffer {
-        internalCheck(self)
-        Js->DataView->(Js.await(self!->response->arrayBuffer()))?
-    }
-
-}
-
-internalCheck(fetchResponse: FetchResponse) {
-    if(fetchResponse!->response.isNull()) {
-        Js.throw(Js->Error->("Response closed"))
-    }
-    if(!fetchResponse!->statusChecked? && !fetchResponse!->response->ok?) {
-        Js.throw(Js->Error->("Unchecked HTTP status code: " + fetchResponse!->response->status?))
-    }
-}
+capability HttpClient {}
+capability FetchBody {}
+capability FetchResponse {}
+data FetchRedirect {
+    RedirectFollow
+    RedirectError
+    RedirectManual
+}
+data FetchOptions(
+    redirect: FetchRedirect = RedirectFollow
+    referrer: Option[String] = None
+    integrity: Option[String] = None
+    mode: Option[String] = None
+    credentials: Option[String] = None
+    cache: Option[String] = None
+)
+
+extend self: HttpClient {
+    
+    get[T](
+        url: String
+        headers: List[Pair[String, String]]
+        body: FetchResponse => T
+    ): T {
+        self.fetch("GET", url, headers, None, FetchOptions(), body)
+    }
+    
+    post[T](
+        url: String
+        headers: List[Pair[String, String]]
+        payload: Buffer
+        body: FetchResponse => T
+    ): T {
+        self.fetch("POST", url, headers, Some(payload), FetchOptions(), body)
+    }
+    
+    put[T](
+        url: String
+        headers: List[Pair[String, String]]
+        payload: Buffer
+        body: FetchResponse => T
+    ): T {
+        self.fetch("PUT", url, headers, Some(payload), FetchOptions(), body)
+    }
+    
+    delete[T](
+        url: String
+        headers: List[Pair[String, String]]
+        body: FetchResponse => T
+    ): T {
+        self.fetch("DELETE", url, headers, None, FetchOptions(), body)
+    }
+
+    fetch[T](
+        method: String
+        url: String
+        headers: List[Pair[String, String]] = []
+        payload: Option[Buffer] = None
+        options: FetchOptions = FetchOptions()
+        body: FetchResponse => T
+    ): T {
+        let fetchResponse = Js->(response = Js.null(), statusChecked = False)
+        Js.withSignal {signal =>
+            try {
+                let fetchOptions = Js->(headers = Js->(), signal = signal, method = method)
+                headers.each {| Pair(k, v) =>
+                    fetchOptions->headers.set(k, v)
+                }
+                payload.each {v => fetchOptions->body = v}
+                options.redirect.{
+                    | RedirectError => fetchOptions->redirect = "error"
+                    | RedirectFollow => 
+                    | RedirectManual => fetchOptions->redirect = "manual"
+                }
+                options.referrer.each {v => fetchOptions->referrer = v}
+                options.integrity.each {v => fetchOptions->integrity = v}
+                options.mode.each {v => fetchOptions->mode = v}
+                options.credentials.each {v => fetchOptions->credentials = v}
+                options.cache.each {v => fetchOptions->cache = v}
+                fetchResponse->response = Js.await(self!->fetch(url, fetchOptions))
+                let result = Js.await(body(fetchResponse?)!)
+                internalCheck(fetchResponse?)
+                result?
+            } finally {
+                fetchResponse->response = Js.null()
+            }
+        }
+    }
+
+}
+
+extend self: FetchResponse {
+
+    ok(): Bool {
+        self!->statusChecked = True
+        internalCheck(self)
+        self!->response->ok?
+    }
+
+    status(): Int {
+        self!->statusChecked = True
+        internalCheck(self)
+        self!->response->status?
+    }
+
+    statusText(): String {
+        self!->statusChecked = True
+        internalCheck(self)
+        self!->response->statusText?
+    }
+
+    header(name: String): Option[String] {
+        internalCheck(self)
+        let header = self!->response->headers->get(name)
+        if(!header.isNullOrUndefined()) {header?}
+    }
+
+    readText(): String {
+        internalCheck(self)
+        Js.await(self!->response->text())?
+    }
+
+    readJson(): Json {
+        internalCheck(self)
+        Js.await(self!->response->json())?
+    }
+
+    readBuffer(): Buffer {
+        internalCheck(self)
+        Js->DataView->(Js.await(self!->response->arrayBuffer()))?
+    }
+
+}
+
+internalCheck(fetchResponse: FetchResponse) {
+    if(fetchResponse!->response.isNull()) {
+        Js.throw(Js->Error->("Response closed"))
+    }
+    if(!fetchResponse!->statusChecked? && !fetchResponse!->response->ok?) {
+        Js.throw(Js->Error->("Unchecked HTTP status code: " + fetchResponse!->response->status?))
+    }
+}

package/core/Instant.ff

@@ -1,24 +1,24 @@
-newtype Instant(since1970: Duration)
-
-fromIso(date: String): Option[Instant] {
-    let zone = date.endsWith("Z") || date.contains("+") || date.dropWhile {_ != 'T'}.contains("-")
-    if(zone && date.takeWhile {_ != 'T'}.contains("-") && date.contains("T") && date.contains(":")) {
-        internalParseDate(date)
-    }
-}
-
-extend self: Instant {
-
-    add(duration: Duration): Instant {
-        Instant(Duration(self.since1970.seconds + duration.seconds))
-    }
-    
-    toIso(): String {
-        Js->Date->(self.since1970.seconds * 1000.0)->toISOString()?
-    }
-
-}
-
-internalParseDate(date: String): Instant {
-    Instant(Duration(Js->Date->parse(date)? * 0.001))
-}
+newtype Instant(since1970: Duration)
+
+fromIso(date: String): Option[Instant] {
+    let zone = date.endsWith("Z") || date.contains("+") || date.dropWhile {_ != 'T'}.contains("-")
+    if(zone && date.takeWhile {_ != 'T'}.contains("-") && date.contains("T") && date.contains(":")) {
+        internalParseDate(date)
+    }
+}
+
+extend self: Instant {
+
+    add(duration: Duration): Instant {
+        Instant(Duration(self.since1970.seconds + duration.seconds))
+    }
+    
+    toIso(): String {
+        Js->Date->(self.since1970.seconds * 1000.0)->toISOString()?
+    }
+
+}
+
+internalParseDate(date: String): Instant {
+    Instant(Duration(Js->Date->parse(date)? * 0.001))
+}