| Safe Haskell | None |
|---|
Persistence.Utils
Documentation
firstLibdir :: HetcatsOpts -> String Source #
locIdOfDocument :: HetcatsOpts -> Maybe String -> String -> String Source #
locIdOfOMSWithName :: Entity LocIdBase -> String -> String Source #
locIdOfOMS :: Entity LocIdBase -> DGNodeLab -> String Source #
locIdOfSentence :: Entity LocIdBase -> String -> String Source #
locIdOfSymbol :: Entity LocIdBase -> String -> String -> String Source #
symbolDetails :: Logic lid sublogics basic_spec sentence symb_items symb_map_items sign morphism symbol raw_symbol proof_tree => Entity LocIdBase -> lid -> symbol -> (String, String, String, String) Source #
locIdOfMapping :: Entity LocIdBase -> String -> String Source #
slugOfReasoner :: ProverOrConsChecker -> String Source #
slugOfProver :: G_prover -> String Source #
slugOfConsistencyChecker :: G_cons_checker -> String Source #
slugOfTranslation :: AnyComorphism -> String Source #
slugOfLanguageByName :: String -> String Source #
slugOfLogicMapping :: AnyComorphism -> String Source #
slugOfLogicMappingByName :: String -> String Source #
slugOfLogicInclusionByName :: String -> String Source #
slugOfLogicByName :: String -> String Source #
logicNameForDB :: Logic lid sublogics basic_spec sentence symb_items symb_map_items sign morphism symbol raw_symbol proof_tree => lid -> sublogics -> String Source #
logicNameForDBByName :: String -> String -> String Source #
parameterize :: String -> String Source #
advisoryLocked :: MonadIO m => HetcatsOpts -> String -> DBMonad m a -> DBMonad m a Source #