From e302d478eb223f3a71678c4fa892bb8d223df506 Mon Sep 17 00:00:00 2001 From: Tom Ellis Date: Thu, 21 Nov 2024 20:18:02 +0000 Subject: [PATCH] Ormolu --- bluefin-internal/src/Bluefin/Internal/Examples.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/bluefin-internal/src/Bluefin/Internal/Examples.hs b/bluefin-internal/src/Bluefin/Internal/Examples.hs index 9ee7473..274be22 100644 --- a/bluefin-internal/src/Bluefin/Internal/Examples.hs +++ b/bluefin-internal/src/Bluefin/Internal/Examples.hs @@ -1097,7 +1097,7 @@ runLog io k = do type DB = H BasicDB -insertDB :: e :> es => DB e -> DBValue -> Eff es () +insertDB :: (e :> es) => DB e -> DBValue -> Eff es () insertDB d v = do b <- askH d insertBasicDB b v @@ -1165,12 +1165,12 @@ main = insertDB d "value7" suppressLog l $ do - hookLoggingInsertDBLocally d l $ do - insertDB d "value9" + hookLoggingInsertDBLocally d l $ do + insertDB d "value9" hookLoggingInsertDBLocally d l $ do - suppressLog l $ do - insertDB d "value10" + suppressLog l $ do + insertDB d "value10" {-