X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FGraphPrelude.scl;h=497a58a72b152df79bc89eacc16214e7c7c7cba2;hp=ddb2d58befb710ac72b5bc3df60b3701db6ac1a7;hb=HEAD;hpb=901596bae43d738281c8f02b4b27348c1964be51 diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/GraphPrelude.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/GraphPrelude.scl index ddb2d58be..497a58a72 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/GraphPrelude.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/GraphPrelude.scl @@ -1,41 +1,41 @@ - -/** - * 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 () + +/** + * 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