format

anoma · Nov 29, 2024 · fde9ac2 · fde9ac2
1 parent 9534bd2
commit fde9ac2
Show file tree

Hide file tree

Showing 5 changed files with 19 additions and 6 deletions.
diff --git a/Stdlib/Data/Result.juvix b/Stdlib/Data/Result.juvix
@@ -12,8 +12,7 @@ import Stdlib.Trait open;
 
 {-# specialize: true, inline: case #-}
 deriving instance
-ordResultI
-  {Error Value} {{Ord Error}} {{Ord Value}} : Ord (Result Error Value);
+ordResultI {Error Value} {{Ord Error}} {{Ord Value}} : Ord (Result Error Value);
 
 {-# specialize: true, inline: case #-}
 deriving instance

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
@@ -8,7 +8,11 @@ import Stdlib.Data.Ordering open public;
 --- A trait for defining a total order
 builtin ord
 trait
-type Ord A := mkOrd@{builtin compare cmp : A -> A -> Ordering};
+type Ord A :=
+  mkOrd@{
+    builtin compare
+    cmp : A -> A -> Ordering;
+  };
 
 deriving instance
 orderingOrdI : Ord Ordering;

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 Juvix.Builtin.V1.String open public;
 
 trait
-type Show A := mkShow@{show : A -> String};
+type Show A :=
+  mkShow@{
+    show : A -> String;
+  };