New type class MonadE and corresponding monad syntax with edo keyword

[simantics/platform.git] / bundles / org.simantics.scl.db / scl / Simantics / GShow.scl

diff --git a/bundles/org.simantics.scl.db/scl/Simantics/GShow.scl b/bundles/org.simantics.scl.db/scl/Simantics/GShow.scl
index 5ef2bad1b9a296befdbd2345ef141905dc22c504..693e3e31f4565fcba87d3ab494070fe878e22457 100644 (file)
--- a/bundles/org.simantics.scl.db/scl/Simantics/GShow.scl
+++ b/bundles/org.simantics.scl.db/scl/Simantics/GShow.scl
@@ -89,21 +89,21 @@ resourceId ctx r = loop r
         `morelse`
         (guard (r == getRootLibrary ()) >> return (AbsoluteUri "http:/"))
         `morelse`
         `morelse`
         (guard (r == getRootLibrary ()) >> return (AbsoluteUri "http:/"))
         `morelse`

-        (mdo
+        (edo

             (p,rel) <- getPrimaryFunctionalReference r
             path <- loop p
             relName <- possibleNameOf rel
             return $ simplifyResourceIdHead $ PropertyOf path relName
         )
         `morelse`
             (p,rel) <- getPrimaryFunctionalReference r
             path <- loop p
             relName <- possibleNameOf rel
             return $ simplifyResourceIdHead $ PropertyOf path relName
         )
         `morelse`

-        (mdo
+        (edo

             p <- possibleObject r L0.PartOf
             path <- loop p
             name <- possibleNameOf r
             return $ simplifyResourceIdHead $ NamedChildOf path name
         )
         `morelse`
             p <- possibleObject r L0.PartOf
             path <- loop p
             name <- possibleNameOf r
             return $ simplifyResourceIdHead $ NamedChildOf path name
         )
         `morelse`

-        (mdo
+        (edo

             (p,rel) <- getSecondaryFunctionalReference r
             path <- loop p
             relName <- possibleNameOf rel
             (p,rel) <- getSecondaryFunctionalReference r
             path <- loop p
             relName <- possibleNameOf rel