🥮 mooncakes.io

    morphir-sdk

    Morphir SDK - Standard library for Morphir with functional programming primitives

    morphir
    sdk
    functional
    Download zip
    Author
    Version
    0.1.0
    License
    Apache-2.0
    Repository
    Last updated
    4 days ago
    Downloads
    63

    #Morphir SDK for MoonBit

    finos/morphir-sdk provides pure, synchronous runtime values and functions for generated Morphir programs. It has no host, filesystem, network, process, or Scheme dependency. The packages compile on native, JavaScript, wasm, and wasm-gc.

    The root package defines Order, SdkError, UTF-16 Text and Character, and Elm-compatible lexical string ordering. Subpackages cover integer, basics, int, decimal, char, string, list, maybe, result, dict, and set. The general Integer wraps MoonBit core BigInt; Int8 through Int64 conversions check bounds. Lists, dictionaries, and sets return new values on updates. Dict and Set require a total Morphir comparator when constructed; use @string.compare for Text keys and @sdk.string_order for MoonBit String keys. Generic MoonBit Compare uses a different String order.

    MoonBit 0.10.15 reserves the built-in names Int16, Int32 and Int64. The SDK therefore represents the corresponding Morphir fixed-width types with MoonBit wrappers int.Int16Value, int.Int32Value and int.Int64Value. The Morphir type identities and the from_int16/to_int16, from_int32/to_int32 and from_int64/to_int64 functions retain their existing contracts. int.Int8 keeps its name. Callers with explicit MoonBit wrapper type annotations must use the Value names.

    #Sources and inventory

    The binding inventory is conformance/bindings.json. It contains all 248 declared values, their pinned Elm specification fragments and source lines, MoonBit bindings, semantic source, and module test paths. Regenerate it with:

    python3 pkgs/morphir-sdk/conformance/generate_inventory.py --elm-checkout /path/to/morphir-elm

    The script reads finos/morphir-elm at commit bc99af69a8b24d391311fae3822a87eafef3c334 with git show, so the checkout can be on any branch. Behavioral references are elm/core 1.0.5 and chain-partners/elm-bignum 1.0.1. The generated Unicode case tables come from Node's Unicode 17.0 ECMAScript casing; regenerate them with node pkgs/morphir-sdk/string/tools/generate-case-tables.mjs using a Node release that reports Unicode 17.0.

    The inventory records every typed binding and its test status. All 248 canonical names have typed MoonBit bindings and Scheme adapters. The Elm oracle corpus executes 245 names in the pinned Elm runtime with 310 examples, including 65 boundary cases. Basics.never is uninhabited. The pinned Elm Int64 source emits invalid JavaScript for its lower bound, so fromInt64 and toInt64 use the separate exact-integer extension corpus. The Scheme tests embed all 310 executable Elm examples plus 14 mathematical extension cases and run on all four targets. The conformance recipe records how to regenerate them and what the oracle projects for opaque values.

    #Semantic boundaries

    • integer.divide, remainder_by, and mod_by truncate toward zero and raise SdkError.DivisionByZero for a zero divisor. The second argument is the dividend for mod_by and remainder_by.
    • basics.divide is IEEE Double division. Nonfinite Float to Integer or Decimal conversion raises SdkError.InvalidNumber.
    • decimal.Decimal is numerical: its coefficient is exact, with a minimum arithmetic and parse exponent of −32. It does not preserve an IR decimal literal's original spelling or scale. Division returns Option, and rounding is half to even.
    • SDK String functions take Text, an immutable copy of UTF-16 code units. Length and slicing count code units; traversal groups surrogate pairs as Elm characters. split("", ...) and slices can return isolated surrogate halves. Text::to_string checks that all units form valid Unicode before crossing into a MoonBit String host or Scheme value; it raises SdkError.UnrepresentableText for isolated surrogates. Text::from_string accepts host strings.
    • Character stores UTF-16 units because Elm Char can hold a surrogate or a case expansion. String casing uses pinned, locale-independent Unicode 17 tables. char.to_locale_upper and to_locale_lower use the same default casing; char.to_upper can return SS for ß.
    • char.from_code returns U+FFFD for out-of-range values and preserves surrogate code units, matching Elm's JavaScript kernel.
    • Dict and Set comparators may raise SdkError.InvalidComparison for unsupported keys such as NaN. Both collections retain the comparator supplied at construction; callers must use the same ordering for values of a given key type.
    • The Morphir Scheme backend installs all 248 canonical SDK names as native accelerators and curried Scheme references. Higher-order callbacks call through the Scheme runtime. Scheme's own rational / remains a separate language operation.

    #SDK specification

    The IR specification of the SDK, for type inference, lives in its own module, finos/morphir-sdk-spec. This module has no dependencies, because generated libraries compile against it alone.

    #Check

    moon fmt --check pkgs/morphir-sdk
moon test --target native
moon test --target js
moon test --target wasm
moon test --target wasm-gc
moon test --target native pkgs/morphir-scheme/backend

    SdkError

    source
    pub(all) suberror SdkError {
      DivisionByZero
      InvalidNumber(String)
      OutOfRange(String)
      InvalidComparison(String)
      UnrepresentableText(String)
    } derive(Eq, 
    Debug    )

    SdkError::equal

    source
    fn SdkError::equal(SdkError, SdkError) -> Bool

    SdkError::not_equal

    source
    fn SdkError::not_equal(x : SdkError, y : SdkError) -> Bool

    SdkError::to_repr

    source

    Character

    source
    pub struct Character {
      // private fields
    } derive(Eq, 
    Debug    )

    Elm Char can contain a surrogate or a case conversion expansion.

    Character::equal

    source
    fn Character::equal(Character, Character) -> Bool

    Character::from_char

    source
    fn Character::from_char(value : Char) -> Character

    Character::from_text

    source
    fn Character::from_text(value : Text) -> Character

    Character::from_units

    source
    fn Character::from_units(units : Array[UInt16]) -> Character

    Character::not_equal

    source
    fn Character::not_equal(x : Character, y : Character) -> Bool

    Character::to_repr

    source

    Character::to_string

    source
    fn Character::to_string(self : Character) -> String raise SdkError

    Character::to_text

    source
    fn Character::to_text(self : Character) -> Text

    Character::to_units

    source
    fn Character::to_units(self : Character) -> Array[UInt16]

    Order

    source
    pub(all) enum Order {
      LT
      EQ
      GT
    } derive(Eq, 
    Debug    )

    Order::equal

    source
    fn Order::equal(Order, Order) -> Bool

    Order::not_equal

    source
    fn Order::not_equal(x : Order, y : Order) -> Bool

    Order::to_repr

    source

    Text

    source
    pub struct Text {
      // private fields
    } derive(Eq, 
    Debug    )

    Elm strings contain UTF-16 code units, including isolated surrogates. Copying at the boundary keeps Text immutable to callers.

    Text::equal

    source
    fn Text::equal(Text, Text) -> Bool

    Text::from_string

    source
    fn Text::from_string(value : String) -> Text

    Text::from_units

    source
    fn Text::from_units(units : Array[UInt16]) -> Text

    Text::length

    source
    fn Text::length(self : Text) -> Int

    Text::not_equal

    source
    fn Text::not_equal(x : Text, y : Text) -> Bool

    Text::to_repr

    source

    Text::to_string

    source
    fn Text::to_string(self : Text) -> String raise SdkError

    Text::to_units

    source
    fn Text::to_units(self : Text) -> Array[UInt16]

    order

    source
    fn order(n : Int) -> Order

    order_int

    source
    fn order_int(value : Order) -> Int

    string_order

    source
    fn string_order(left : String, right : String) -> Order

    Elm compares strings lexically by UTF-16 code units. MoonBit's Compare instance for String uses shortlex order, so SDK adapters must use this.

    text_order

    source
    fn text_order(left : Text, right : Text) -> Order

    Source Files