ProjectM36.Transaction.Persist

Documentation

getDirectoryNames :: FilePath -> IO [FilePath]

tempTransactionDir :: FilePath -> TransactionId -> FilePath

transactionDir :: FilePath -> TransactionId -> FilePath

transactionInfoPath :: FilePath -> FilePath

relvarsDir :: FilePath -> FilePath

incDepsDir :: FilePath -> FilePath

atomFuncsDir :: FilePath -> FilePath

dbcFuncsDir :: FilePath -> FilePath

typeConsPath :: FilePath -> FilePath

subschemasPath :: FilePath -> FilePath

readTransaction :: FilePath -> TransactionId -> Maybe ScriptSession -> IO (Either PersistenceError Transaction)

writeTransaction :: DiskSync -> FilePath -> Transaction -> IO ()

writeRelVar :: DiskSync -> FilePath -> (RelVarName, Relation) -> IO ()

writeRelVars :: DiskSync -> FilePath -> Map RelVarName Relation -> IO ()

readRelVars :: FilePath -> IO (Map RelVarName Relation)

writeAtomFuncs :: DiskSync -> FilePath -> AtomFunctions -> IO ()

readAtomFuncs :: FilePath -> Maybe ScriptSession -> IO AtomFunctions

writeAtomFunc :: DiskSync -> FilePath -> AtomFunction -> IO ()

readAtomFunc :: FilePath -> AtomFunctionName -> Maybe ScriptSession -> AtomFunctions -> IO AtomFunction

writeDBCFuncs :: DiskSync -> FilePath -> DatabaseContextFunctions -> IO ()

writeDBCFunc :: DiskSync -> FilePath -> DatabaseContextFunction -> IO ()

readDBCFuncs :: FilePath -> Maybe ScriptSession -> IO DatabaseContextFunctions

readDBCFunc :: FilePath -> DatabaseContextFunctionName -> Maybe ScriptSession -> DatabaseContextFunctions -> IO DatabaseContextFunction

writeIncDep :: DiskSync -> FilePath -> (IncDepName, InclusionDependency) -> IO ()

writeIncDeps :: DiskSync -> FilePath -> Map IncDepName InclusionDependency -> IO ()

readIncDep :: FilePath -> IncDepName -> IO (IncDepName, InclusionDependency)

readIncDeps :: FilePath -> IO (Map IncDepName InclusionDependency)

readSubschemas :: FilePath -> IO Subschemas

writeSubschemas :: DiskSync -> FilePath -> Subschemas -> IO ()

writeTypeConstructorMapping :: DiskSync -> FilePath -> TypeConstructorMapping -> IO ()

readTypeConstructorMapping :: FilePath -> IO TypeConstructorMapping