add stringify

Author: myfreess

.github/workflows/stable_check.yml

@@ -0,0 +1,53 @@
+name: check
+
+on:
+  push:
+    branches:
+      - main   
+  pull_request:
+
+jobs:
+  check:
+    strategy:    
+      fail-fast: false
+    runs-on: ubuntu-latest
+    continue-on-error: false
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: install
+        run: |
+          curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash
+          echo "$HOME/.moon/bin" >> $GITHUB_PATH
+
+      - name: moon version
+        run: |
+          moon version --all
+
+      - name: install module dependencies
+        run: |
+          git submodule init
+          git submodule update
+          moon update
+          moon install
+
+      - name: moon check
+        run: moon check
+
+      - name: format diff
+        run: |
+          moon fmt
+          git diff --exit-code
+
+      - name: info check
+        run: |
+          moon info
+          git diff --exit-code
+
+      - name: Set ulimit
+        run: |
+          ulimit -s 8176
+
+      - name: moon test
+        run: |
+          moon test --target all

jsondiff.mbt

@@ -9,7 +9,7 @@ struct JsonDiff {
   /// The JSON structural difference of two JSON files.
   /// If None: the two JSON files are identical.
   diff : JsonEdit?
-} derive(Show)
+}
 
 ///|
 priv struct BestMatch {
@@ -44,16 +44,17 @@ pub fn JsonDiff::diff_string(
   json1 : Json,
   json2 : Json,
   keys_only~ : Bool,
+  terminal? : Bool = false,
 ) -> String? {
   let jsondiff = JsonDiff::diff(json1, json2, keys_only~)
-  jsondiff.stringify()
+  jsondiff.stringify(terminal~)
 }
 
 ///|
-fn JsonDiff::stringify(self : JsonDiff) -> String? {
+fn JsonDiff::stringify(self : JsonDiff, terminal~ : Bool) -> String? {
   match self.diff {
     None => None
-    Some(value) => ...
+    Some(value) => Some(value.stringify(terminal~))
   }
 }
 

pkg.generated.mbti

@@ -2,18 +2,21 @@
 package "moonbit-community/jsondiff"
 
 // Values
-pub fn calculate_ratio(Int, Int) -> Double
 
 // Errors
 
 // Types and methods
-pub struct JsonDiff {
-  score : Double
-  diff : Json?
-}
+type JsonArrayEdit
+pub impl Eq for JsonArrayEdit
+pub impl Show for JsonArrayEdit
+
+type JsonDiff
 pub fn JsonDiff::diff(Json, Json, keys_only? : Bool) -> Self
-pub fn JsonDiff::diff_string(Json, Json, keys_only~ : Bool) -> String?
-pub impl Show for JsonDiff
+pub fn JsonDiff::diff_string(Json, Json, keys_only~ : Bool, terminal? : Bool) -> String?
+
+type JsonEdit
+pub impl Eq for JsonEdit
+pub impl Show for JsonEdit
 
 // Type aliases
 

sequence_matcher.mbt

@@ -16,7 +16,7 @@ priv enum OpTag {
   Insert
   Delete
   Replace
-} derive(Eq, Show)
+} derive(Eq)
 
 ///|
 priv struct OpCode {
@@ -25,7 +25,7 @@ priv struct OpCode {
   first_end : Int
   second_start : Int
   second_end : Int
-} derive(Show)
+}
 
 ///|
 fn OpCode::new(

stringify.mbt

@@ -1 +1,108 @@
+///|
+fn JsonEdit::stringify(self : JsonEdit, terminal~ : Bool) -> String {
+  output_colorful_text_for_terminal.val = terminal
+  let output = Array::new()
+  substringify(None, self, output, " ", 0)
+  return output.join("\n")
+}
 
+///|
+fn json_substringify(
+  key : String?,
+  json : Json,
+  output : Array[String],
+  tag : String,
+  indent : Int,
+) -> Unit {
+  let prefix = if key is Some(key) { "\{key}: " } else { "" }
+  let subindent = indent + 2
+  match json {
+    Object(object) => {
+      output.push("\{String::make(indent, ' ')}\{prefix}{")
+      for subkey, subvalue in object.iterator2() {
+        json_substringify(Some(subkey), subvalue, output, tag, subindent)
+      }
+      output.push_line(tag, "\{String::make(indent, ' ')}}")
+    }
+    Array(arr) => {
+      output.push_line(tag, "\{String::make(indent, ' ')}\{prefix}[")
+      for subvalue in arr {
+        json_substringify(None, subvalue, output, tag, subindent)
+      }
+    }
+    json =>
+      output.push_line(
+        tag,
+        String::make(indent, ' ') + prefix + json.to_string(),
+      )
+  }
+}
+
+///|
+fn substringify(
+  key : String?,
+  jsonedit : JsonEdit,
+  output : Array[String],
+  tag : String,
+  indent : Int,
+) -> Unit {
+  let prefix = if key is Some(key) { "\{key}: " } else { "" }
+  let subindent = indent + 2
+  match jsonedit {
+    Replace(old~, new~) => {
+      json_substringify(key, old, output, "-", indent)
+      json_substringify(key, new, output, "-", indent)
+    }
+    Array(edits) => {
+      output.push_line(tag, "\{String::make(indent, ' ')}\{prefix}[")
+      for edit in edits {
+        match edit {
+          None => output.push_line(tag, "\{String::make(subindent, ' ')}...")
+          Some(Modification(change)) =>
+            substringify(None, change, output, " ", subindent)
+          Some(NoChange(json)) =>
+            json_substringify(None, json, output, " ", subindent)
+          Some(Delete(json)) =>
+            json_substringify(None, json, output, "-", subindent)
+          Some(Insert(json)) =>
+            json_substringify(None, json, output, "+", subindent)
+        }
+      }
+      output.push_line(tag, "\{String::make(indent, ' ')}]")
+    }
+    Object(diff, added~, deleted~) => {
+      output.push_line(tag, "\{String::make(indent, ' ')}\{prefix}{")
+      for key, value in deleted.iterator2() {
+        json_substringify(Some(key), value, output, "-", subindent)
+      }
+      for key, value in added.iterator2() {
+        json_substringify(Some(key), value, output, "+", subindent)
+      }
+      for key, value in diff.iterator2() {
+        substringify(Some(key), value, output, " ", subindent)
+      }
+      output.push_line(tag, "\{String::make(indent, ' ')}}")
+    }
+  }
+}
+
+///|
+let output_colorful_text_for_terminal : Ref[Bool] = Ref::new(false)
+
+///|
+fn Array::push_line(self : Array[String], tag : String, line : String) -> Unit {
+  let tagged_line = "\{tag}\{line}"
+  if output_colorful_text_for_terminal.val {
+    match tag {
+      "+" =>
+        // green
+        self.push("\u{1b}[32m\{tag}\{line}\u{1b}[0m")
+      "-" =>
+        // red
+        self.push("\u{1b}[31m\{tag}\{line}\u{1b}[0m")
+      _ => self.push(tagged_line)
+    }
+  } else {
+    self.push(tagged_line)
+  }
+}