"graph"\r
"org.simantics.db.WriteGraph"\r
\r
-importJava "org.simantics.databoard.type.Datatype" where\r
- data Datatype\r
- @JavaName toString\r
- showDatatype :: Datatype -> String\r
-\r
-instance Show Datatype where\r
- show = showDatatype\r
-\r
-importJava "org.simantics.databoard.Bindings" where\r
- @JavaName getBinding \r
- datatypeBinding :: Datatype -> Binding Dynamic\r
-\r
-importJava "org.simantics.databoard.binding.mutable.Variant" where\r
- @JavaName "<init>"\r
- createVariant_ :: Binding Dynamic -> Dynamic -> Variant\r
- @JavaName "type"\r
- variantDatatype :: Variant -> Datatype\r
-\r
-createVariant :: Datatype -> Dynamic -> Variant\r
-createVariant dt v = createVariant_ (datatypeBinding dt) v\r
-\r
-importJava "org.simantics.databoard.Datatypes" where\r
- @JavaName translate\r
- translateDatatype :: String -> Datatype\r
-\r
importJava "org.simantics.db.Resource" where\r
"A resource is a node in a semantic graph."\r
data Resource\r
importJava "org.simantics.db.ReadGraph" where\r
data ReadGraphX\r
\r
-importJava "java.lang.Object" where \r
- @JavaName equals\r
- resourceEquals :: Resource -> Resource -> Boolean\r
- @JavaName hashCode\r
- resourceHash :: Resource -> Integer\r
-\r
-instance Eq Resource where\r
- (==) = resourceEquals\r
-\r
instance Ord Resource where\r
compare a b = compare (resourceId a) (resourceId b)\r
- \r
-instance Hashable Resource where\r
- hashP = hashP . resourceHash\r
- \r
+ \r
instance Show Resource where\r
show r = "#" + show (resourceId r)\r
\r