Documentation

getDirectoryNames :: FilePath -> IO [FilePath] Source #

tempTransactionDir :: FilePath -> TransactionId -> FilePath Source #

transactionDir :: FilePath -> TransactionId -> FilePath Source #

transactionInfoPath :: FilePath -> FilePath Source #

relvarsDir :: FilePath -> FilePath Source #

incDepsDir :: FilePath -> FilePath Source #

atomFuncsPath :: FilePath -> FilePath Source #

dbcFuncsDir :: FilePath -> FilePath Source #

typeConsPath :: FilePath -> FilePath Source #

subschemasPath :: FilePath -> FilePath Source #

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

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

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

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

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

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

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

loadAtomFunc :: AtomFunctions -> Maybe ScriptSession -> AtomFunctionName -> [AtomType] -> Maybe AtomFunctionBodyScript -> IO AtomFunction Source #

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

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

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

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

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

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

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

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

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

readSubschemas :: FilePath -> IO Subschemas Source #

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

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

readTypeConstructorMapping :: FilePath -> IO TypeConstructorMapping Source #