-import "Simantics/DB"\r
-\r
-importJava "org.simantics.backup.IBackupProvider" where\r
- data IBackupProvider\r
-\r
-importJava "org.simantics.backup.db.ModelledBackup" where\r
- modelledBackup :: \r
- (<e> ()) -> \r
- (String -> Integer -> <e> (() -> <e> Maybe String)) -> \r
- (<e> ()) -> \r
- (String -> Integer -> <e> ()) -> \r
- <Proc> IBackupProvider\r
- \r
-importJava "org.simantics.backup.BackupProviderService" where\r
+import "Simantics/DB"
+
+importJava "org.simantics.backup.IBackupProvider" where
+ data IBackupProvider
+
+importJava "org.simantics.backup.db.ModelledBackup" where
+ modelledBackup ::
+ (<e> ()) ->
+ (String -> Integer -> <e> (() -> <e> Maybe String)) ->
+ (<e> ()) ->
+ (String -> Integer -> <e> ()) ->
+ <Proc> IBackupProvider
+
+importJava "org.simantics.backup.BackupProviderService" where
backup :: String -> Integer -> <Proc> ()
\ No newline at end of file