Refactor and enhance type system in Morphir Moonbit

- Updated Documented struct and its methods for improved readability.
- Introduced FQName and FQNameId structs with associated functions.
- Enhanced ModulePath with new methods for string conversion and list handling.
- Added codec implementations for FQName and PackageName.
- Created new NameId struct for better name handling.
- Implemented TypeSpecification and DerivedTypeSpecificationDetails for type definitions.
- Expanded Type enum to include Reference, Record, and ExtensibleRecord types.
- Added utility functions for iterating over types and converting types to strings.
- Introduced tests for various type functionalities including iterators and string conversions.
- Added helper structs Length and Index for better type management.

Author: DamianReeves

bindings/moonbit/morphir-moonbit/lib/ir/documented/documented.mbt

@@ -1,15 +1,18 @@
+///|
 pub struct Documented[T] {
-    doc: String
-    value: T
+  doc : String
+  value : T
 }
 
-pub fn[T] Documented::new(doc: String, value: T) -> Documented[T] {
-    { doc, value }
+///|
+pub fn[T] Documented::new(doc : String, value : T) -> Documented[T] {
+  { doc, value }
 }
 
-pub fn[T,U] Documented::map(
-    self: Documented[T],
-    f: (T) -> U,
+///|
+pub fn[T, U] Documented::map(
+  self : Documented[T],
+  f : (T) -> U,
 ) -> Documented[U] {
-    Documented::new(self.doc, f(self.value))
-}
+  Documented::new(self.doc, f(self.value))
+}

bindings/moonbit/morphir-moonbit/lib/ir/documented/documented_codec.mbt

@@ -1,35 +1,37 @@
-pub impl[T: @codec.ToMorphirJson] @codec.ToMorphirJson for Documented[T] with to_json(
-    self: Documented[T],
-    options: @codec.MorphirJsonOptions,
+///|
+pub impl[T : @codec.ToMorphirJson] @codec.ToMorphirJson for Documented[T] with to_json(
+  self : Documented[T],
+  options : @codec.MorphirJsonOptions,
 ) -> Json {
-    Json::object({
-        "doc": Json::string(self.doc),
-        "value": self.value.to_json(options),
-    })
+  Json::object({
+    "doc": Json::string(self.doc),
+    "value": self.value.to_json(options),
+  })
 }
 
-pub impl[T: @codec.FromMorphirJson] @codec.FromMorphirJson for Documented[T] with from_json(
-    json: Json,
-    json_path: @json.JsonPath,
-    options: @codec.MorphirJsonOptions,
+///|
+pub impl[T : @codec.FromMorphirJson] @codec.FromMorphirJson for Documented[T] with from_json(
+  json : Json,
+  json_path : @json.JsonPath,
+  options : @codec.MorphirJsonOptions,
 ) -> Documented[T] {
   guard json is Json::Object(obj) else {
     @codec.decode_error(
-      json_path,
-      "Documented::from_json: expected object with 'doc' and 'value' fields",
+      json_path, "Documented::from_json: expected object with 'doc' and 'value' fields",
     )
   }
   match obj {
     { "doc": Json::String(doc), "value": valueJson, .. } => {
-      let value =
-        @codec.FromMorphirJson::from_json(valueJson, json_path.add_key("value"), options);
+      let value = @codec.FromMorphirJson::from_json(
+        valueJson,
+        json_path.add_key("value"),
+        options,
+      )
       Documented::new(doc, value)
     }
-    _ => {
+    _ =>
       @codec.decode_error(
-        json_path,
-        "Documented::from_json: expected object with 'doc' and 'value' fields",
+        json_path, "Documented::from_json: expected object with 'doc' and 'value' fields",
       )
-    }
   }
-}
+}

bindings/moonbit/morphir-moonbit/lib/ir/fqname/fq_name_id.mbt

@@ -0,0 +1,17 @@
+///|
+pub fn fq_name(
+  package_name : @package.PackageName,
+  module_path : @module.ModulePath,
+  local_name : @name.Name,
+) -> FQName {
+  { package_name, module_path, local_name }
+}
+
+pub struct FQNameId(Int) derive(Eq, Hash, Show)
+
+pub fn fq_name_id(id : Int) -> FQNameId {
+  FQNameId(id)
+}
+pub fn FQNameId::from_int(id : Int) -> FQNameId {
+  FQNameId(id)
+}

bindings/moonbit/morphir-moonbit/lib/ir/fqname/fqname.mbt

@@ -1,5 +1,10 @@
-pub struct FQName(@package.PackageName, @module.ModulePath, @name.Name) derive(Eq, Hash, Show)
-
-pub fn fq_name(package_name:@package.PackageName, module_path: @module.ModulePath, local_name: @name.Name) -> FQName {
-    FQName(package_name, module_path, local_name)
-}
+///|
+pub struct FQName{ 
+  package_name: @package.PackageName
+  module_path: @module.ModulePath
+  local_name: @name.Name
+} derive (
+  Eq,
+  Hash,
+  Show,
+)

bindings/moonbit/morphir-moonbit/lib/ir/fqname/fqname_codec.mbt

@@ -0,0 +1,11 @@
+///|
+pub impl @codec.ToMorphirJson for FQName with to_json(
+  self : FQName,
+  options : @codec.MorphirJsonOptions,
+) -> Json {
+  Json::array([
+    @codec.ToMorphirJson::to_json(self.package_name, options),
+    @codec.ToMorphirJson::to_json(self.module_path, options),
+    @codec.ToMorphirJson::to_json(self.local_name, options),
+  ])
+}

bindings/moonbit/morphir-moonbit/lib/ir/fqname/moon.pkg.json

@@ -1,5 +1,6 @@
 {
     "import": [
+        "Morphir/morphir/lib/ir/codec",
         "Morphir/morphir/lib/ir/name",
         "Morphir/morphir/lib/ir/module",
         "Morphir/morphir/lib/ir/package"

bindings/moonbit/morphir-moonbit/lib/ir/module/module_codec.mbt

@@ -0,0 +1,7 @@
+///|
+pub impl @codec.ToMorphirJson for ModulePath with to_json(
+  self : ModulePath,
+  options : @codec.MorphirJsonOptions,
+) -> Json {
+  @codec.ToMorphirJson::to_json(self.0, options)
+}

bindings/moonbit/morphir-moonbit/lib/ir/module/module_path.mbt

@@ -6,11 +6,25 @@ pub fn ModulePath::from_list(parts : @list.List[@name.Name]) -> ModulePath {
   ModulePath(parts)
 }
 
+///|
+pub fn ModulePath::from_string(name : String) -> ModulePath {
+  let path = @path.from_string(name)
+  ModulePath(path.to_list())
+}
+
 ///|
 pub fn ModulePath::to_list(self : ModulePath) -> @list.List[@name.Name] {
   self.0
 }
 
+pub fn ModulePath::to_string(
+  self : ModulePath,
+  renderer : @name.NameRenderer,
+  separator : String,
+) -> String {
+  self.0.iter().map(renderer).join(separator)
+}
+
 ///|
 pub fn ModulePath::to_path(self : ModulePath) -> @path.Path {
   @path.Path::from_list(self.0)

bindings/moonbit/morphir-moonbit/lib/ir/module/moon.pkg.json

@@ -1,5 +1,6 @@
 {
     "import": [
+        "Morphir/morphir/lib/ir/codec",
         "Morphir/morphir/lib/ir/name",
         "Morphir/morphir/lib/ir/path"
     ]

bindings/moonbit/morphir-moonbit/lib/ir/name/name_id.mbt

@@ -0,0 +1,9 @@
+pub struct NameId(Int) derive(Eq, Hash, Show)
+
+pub fn name_id(id : Int) -> NameId {
+  NameId(id)
+}
+
+pub fn NameId::from_int(id : Int) -> NameId {
+  NameId(id)
+}