Exists can be written with banana brackets

circuithub · Mar 16, 2017 · ea1d256 · ea1d256
1 parent a10ecfb
commit ea1d256
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/doc/Example.hs b/doc/Example.hs
@@ -67,9 +67,8 @@ heavyParts = proc _ -> do
 existsExample :: Query (Part Expr)
 existsExample = proc _ -> do
   part <- queryTable -< ()
-  exists (proc part -> do
-            otherPart <- queryTable -< ()
-            where_ -< partWeight otherPart >. partWeight part) -< part
+  (| exists (do otherPart <- queryTable -< ()
+                where_ -< partWeight otherPart >. partWeight part) |)
   returnA -< part
 
 data Supplier f = Supplier