@JavaName getInverse
inverseOf :: Resource -> <ReadGraph> Resource
+ @JavaName getPossibleInverse
+ possibleInverseOf :: Resource -> <ReadGraph> Maybe Resource
@JavaName getSingleType
singleTypeOf :: Resource -> Resource -> <ReadGraph> Resource
@JavaName getPredicates
predicatesOf :: Resource -> <ReadGraph> [Resource]
+
+ isImmutable :: Resource -> <ReadGraph> Boolean
importJava "org.simantics.db.layer0.util.ExtendedUris" where
"Converts an absolute URI to a resource"
newResource :: () -> <WriteGraph> Resource
"Adds a statement to the semantic graph."
claim :: Resource -> Resource -> Resource -> <WriteGraph> ()
+ @JavaName claim
+ claimWithInverse :: Resource -> Resource -> Maybe Resource -> Resource -> <WriteGraph> ()
@JavaName claimLiteral
claimRelatedValue_ :: Resource -> Resource -> a -> Binding a -> <WriteGraph> ()
@JavaName claimLiteral
"Begins a write transaction and immediately returns."
asyncWrite :: (() -> <Proc,ReadGraph,WriteGraph> a) -> <Proc> ()
- virtualSyncWriteMem :: String -> (() -> <ReadGraph,WriteGraph> a) -> <WriteGraph> a
- virtualSyncWriteWS :: String -> (() -> <ReadGraph,WriteGraph> a) -> <WriteGraph> a
+ virtualSyncWriteMem :: String -> (() -> <e,WriteGraph> a) -> <e,WriteGraph> a
+ virtualSyncWriteWS :: String -> (() -> <e,WriteGraph> a) -> <e,WriteGraph> a
safeExec :: (() -> <Proc> a) -> <Proc> a
activateOnce :: Resource -> <Proc> ()