From 0080f0cab9a61eddef79eebc2ca5f637aedd3694 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Wed, 27 Nov 2024 17:04:42 +0100
Subject: [PATCH] format

---
 Stdlib/Trait/Eq.juvix      | 6 +++++-
 Stdlib/Trait/Ord.juvix     | 5 ++++-
 Stdlib/Trait/Partial.juvix | 5 ++++-
 Stdlib/Trait/Show.juvix    | 5 ++++-
 4 files changed, 17 insertions(+), 4 deletions(-)

diff --git a/Stdlib/Trait/Eq.juvix b/Stdlib/Trait/Eq.juvix
index fe3d7c7f..1f0ce368 100644
--- 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
index c55ab9e8..b2b88c5a 100644
--- 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
index 1670c417..ff57bdc9 100644
--- 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
index 099513b0..8606cd76 100644
--- 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;
+  };