format

anoma · Nov 27, 2024 · 0080f0c · 0080f0c
1 parent a6abb99
commit 0080f0c
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 4 deletions.
diff --git a/Stdlib/Trait/Eq.juvix b/Stdlib/Trait/Eq.juvix
@@ -6,7 +6,11 @@ import Stdlib.Data.Fixity open;
 --- A trait defining equality
 builtin eq
 trait
-type Eq A := mkEq@{builtin isEqual eq : A -> A -> Bool};
+type Eq A :=
+  mkEq@{
+    builtin isEqual
+    eq : A -> A -> Bool;
+  };
 
 syntax operator == comparison;
 syntax operator /= comparison;

diff --git a/Stdlib/Trait/Ord.juvix b/Stdlib/Trait/Ord.juvix
@@ -29,7 +29,10 @@ orderingEqI : Eq Ordering;
 
 --- A trait for defining a total order
 trait
-type Ord A := mkOrd@{cmp : A -> A -> Ordering};
+type Ord A :=
+  mkOrd@{
+    cmp : A -> A -> Ordering;
+  };
 
 syntax operator <= comparison;
 

diff --git a/Stdlib/Trait/Partial.juvix b/Stdlib/Trait/Partial.juvix
@@ -4,7 +4,10 @@ import Stdlib.Data.String.Base open;
 import Stdlib.Debug.Fail as Debug;
 
 trait
-type Partial := mkPartial@{fail : {A : Type} -> String -> A};
+type Partial :=
+  mkPartial@{
+    fail : {A : Type} -> String -> A;
+  };
 
 open Partial public;
 

diff --git a/Stdlib/Trait/Show.juvix b/Stdlib/Trait/Show.juvix
@@ -3,4 +3,7 @@ module Stdlib.Trait.Show;
 import Stdlib.Data.String.Base open;
 
 trait
-type Show A := mkShow@{show : A -> String};
+type Show A :=
+  mkShow@{
+    show : A -> String;
+  };