From ce430c90080e1ccf455fabca52468f5bab296121 Mon Sep 17 00:00:00 2001
From: Marco Perone <pasafama@gmail.com>
Date: Mon, 10 Jul 2023 16:29:44 +0200
Subject: [PATCH] correct formatting

---
 examples/Crem/Example/Cart/Shipping.hs | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/examples/Crem/Example/Cart/Shipping.hs b/examples/Crem/Example/Cart/Shipping.hs
index 2e4ff29..2dfd0af 100644
--- a/examples/Crem/Example/Cart/Shipping.hs
+++ b/examples/Crem/Example/Cart/Shipping.hs
@@ -35,7 +35,7 @@ $( singletons
 
       shippingTopology :: Topology ShippingVertex
       shippingTopology = Topology []
-    |]
+      |]
  )
 
 deriving via AllVertices ShippingVertex instance RenderableVertices ShippingVertex
@@ -55,9 +55,10 @@ paymentCompletePolicy = stateless $ \case
   CartPaymentCompleted -> [StartShipping]
 
 writeModelWithShipping' :: StateMachine (Either CartCommand ShippingCommand) [Either CartEvent ShippingEvent]
-writeModelWithShipping' = Feedback
-  writeModelWithShipping
-  (rmap (fmap Right) paymentCompletePolicy ||| stateless (const []))
+writeModelWithShipping' =
+  Feedback
+    writeModelWithShipping
+    (rmap (fmap Right) paymentCompletePolicy ||| stateless (const []))
 
 data ShippingInfo