]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/GraphPrelude.scl
Fixed all line endings of the repository
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / GraphPrelude.scl
index ddb2d58befb710ac72b5bc3df60b3701db6ac1a7..497a58a72b152df79bc89eacc16214e7c7c7cba2 100644 (file)
@@ -1,41 +1,41 @@
-\r
-/**\r
- * Databoard\r
- */\r
-data Binding // Private\r
-class Serializable a where\r
-    getBinding :: Binding\r
-\r
-/**\r
- * Reading graph\r
- */\r
-data Resource\r
-data ReadGraph // Private\r
-class ReadTransaction where\r
-    getGraph :: ReadGraph\r
-\r
-resource :: ReadTransaction => String -> Resource\r
-(#) :: ReadTransaction => Resource -> Resource -> [Resource]\r
-valueOf :: ReadTransaction => Serializable a => Resource -> a\r
-\r
-/**\r
- * Writing graph\r
- */\r
-data WriteGraph // Private\r
-data Graph a = Graph (WriteGraph -> a)\r
-\r
-instance Monad Graph where\r
-    return x = Graph (\_ -> x)\r
-    Graph g >>= f = \wg -> f (g wg) wg\r
-    map f (Graph g) = Graph (f . g)\r
-\r
-newResource :: Graph Resource\r
-newResource = Graph __WriteGraph_newResource\r
-newLiteral :: Serializable a => a -> Graph Resource\r
-newLiteral = Graph (\wg -> \r
-    literal = __WriteGraph_newResource wg\r
-    _ = __WriteGraph_claimValue wg literal a getBinding\r
-    literal \r
-)\r
-statement :: Resource -> Resource -> Resource -> Graph ()\r
+
+/**
+ * Databoard
+ */
+data Binding // Private
+class Serializable a where
+    getBinding :: Binding
+
+/**
+ * Reading graph
+ */
+data Resource
+data ReadGraph // Private
+class ReadTransaction where
+    getGraph :: ReadGraph
+
+resource :: ReadTransaction => String -> Resource
+(#) :: ReadTransaction => Resource -> Resource -> [Resource]
+valueOf :: ReadTransaction => Serializable a => Resource -> a
+
+/**
+ * Writing graph
+ */
+data WriteGraph // Private
+data Graph a = Graph (WriteGraph -> a)
+
+instance Monad Graph where
+    return x = Graph (\_ -> x)
+    Graph g >>= f = \wg -> f (g wg) wg
+    map f (Graph g) = Graph (f . g)
+
+newResource :: Graph Resource
+newResource = Graph __WriteGraph_newResource
+newLiteral :: Serializable a => a -> Graph Resource
+newLiteral = Graph (\wg -> 
+    literal = __WriteGraph_newResource wg
+    _ = __WriteGraph_claimValue wg literal a getBinding
+    literal 
+)
+statement :: Resource -> Resource -> Resource -> Graph ()
 statement s p o = Graph (\wg -> __WriteGraph_claim wg s p o)
\ No newline at end of file