Hets - the Heterogeneous Tool Set

Safe HaskellNone

Persistence.Utils

Documentation

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 #

slugOfLanguageByName :: String -> 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 #

coerceId :: SqlExpr (Value a) -> SqlExpr (Value b) Source #