Safe Haskell | None |
---|
- data DbDeclType
- = DbData
- | DbNewType
- | DbClass
- | DbInstance
- | DbSignature
- | DbType
- data Doc
- docFromString :: String -> Doc
- type Documented a = a Doc
- data Package l = Package l PackageIdentifier (Map String (Documented Module))
- type Database = Map PackageIdentifier (Documented Package)
- getNameString :: Name l -> String
- getQNameString :: QName l -> String
- class Annotated e => Named e where
- class (Named parent, Named child) => DocItem parent child | parent -> child where
- type SQL a = SqlPersistT (NoLoggingT (ResourceT IO)) a
- data DbPackageGeneric backend = DbPackage {
- dbPackageName :: !String
- dbPackageVersion :: !String
- dbPackageDoc :: !(Maybe String)
- type DbPackage = DbPackageGeneric SqlBackend
- type DbPackageId = KeyBackend SqlBackend DbPackage
- data DbModuleGeneric backend = DbModule {
- dbModuleName :: !String
- dbModuleDoc :: !(Maybe String)
- dbModulePackageId :: !(KeyBackend backend (DbPackageGeneric backend))
- type DbModule = DbModuleGeneric SqlBackend
- type DbModuleId = KeyBackend SqlBackend DbModule
- data DbDeclGeneric backend = DbDecl {
- dbDeclDeclType :: !DbDeclType
- dbDeclName :: !String
- dbDeclDoc :: !(Maybe String)
- dbDeclKind :: !(Maybe String)
- dbDeclSignature :: !(Maybe String)
- dbDeclEquals :: !(Maybe String)
- dbDeclModuleId :: !(KeyBackend backend (DbModuleGeneric backend))
- type DbDecl = DbDeclGeneric SqlBackend
- type DbDeclId = KeyBackend SqlBackend DbDecl
- data DbTyVarGeneric backend = DbTyVar {
- dbTyVarName :: !String
- dbTyVarDeclId :: !(KeyBackend backend (DbDeclGeneric backend))
- type DbTyVar = DbTyVarGeneric SqlBackend
- type DbTyVarId = KeyBackend SqlBackend DbTyVar
- data DbFunDepGeneric backend = DbFunDep {
- dbFunDepName :: !String
- dbFunDepDeclId :: !(KeyBackend backend (DbDeclGeneric backend))
- type DbFunDep = DbFunDepGeneric SqlBackend
- type DbFunDepId = KeyBackend SqlBackend DbFunDep
- data DbContextGeneric backend = DbContext {
- dbContextShown :: !String
- dbContextDeclId :: !(KeyBackend backend (DbDeclGeneric backend))
- type DbContext = DbContextGeneric SqlBackend
- type DbContextId = KeyBackend SqlBackend DbContext
- data DbConstructorGeneric backend = DbConstructor {
- dbConstructorName :: !String
- dbConstructorSignature :: !String
- dbConstructorDeclId :: !(KeyBackend backend (DbDeclGeneric backend))
- type DbConstructor = DbConstructorGeneric SqlBackend
- type DbConstructorId = KeyBackend SqlBackend DbConstructor
- migrateAll :: forall m. (MonadBaseControl IO m, MonadIO m, MonadLogger m) => Migration (SqlPersistT m)
- data DbPackageIdentifier = DbPackageIdentifier String String
- dbPackageToIdentifier :: DbPackage -> DbPackageIdentifier
- data DbCompleteDecl = DbCompleteDecl DbDecl [DbContext] [DbTyVar] [DbFunDep] [DbConstructor]
Documentation
data DbDeclType Source
docFromString :: String -> DocSource
type Documented a = a DocSource
A documented item.
A package.
type Database = Map PackageIdentifier (Documented Package)Source
A Database saves a list of packages.
getNameString :: Name l -> StringSource
Gets the name inside a Name constructor.
getQNameString :: QName l -> StringSource
Gets the qualified name as a string.
class (Named parent, Named child) => DocItem parent child | parent -> child whereSource
type SQL a = SqlPersistT (NoLoggingT (ResourceT IO)) aSource
data DbPackageGeneric backend Source
DbPackage | |
|
ToJSON DbPackage | |
HasDbPackage DbPackage | |
PersistFieldSql (DbPackageGeneric backend) | |
PersistEntity (DbPackageGeneric backend) | |
PersistField (DbPackageGeneric backend) |
data DbModuleGeneric backend Source
DbModule | |
|
ToJSON DbModule | |
HasDbModule DbModule | |
HasDbPackage DbModule | |
PersistFieldSql (DbModuleGeneric backend) | |
PersistEntity (DbModuleGeneric backend) | |
PersistField (DbModuleGeneric backend) |
data DbDeclGeneric backend Source
DbDecl | |
|
HasDbModule DbDecl | |
HasDbPackage DbDecl | |
PersistFieldSql (DbDeclGeneric backend) | |
PersistEntity (DbDeclGeneric backend) | |
PersistField (DbDeclGeneric backend) |
type DbDecl = DbDeclGeneric SqlBackendSource
type DbDeclId = KeyBackend SqlBackend DbDeclSource
data DbTyVarGeneric backend Source
DbTyVar | |
|
ToJSON DbTyVar | |
PersistFieldSql (DbTyVarGeneric backend) | |
PersistEntity (DbTyVarGeneric backend) | |
PersistField (DbTyVarGeneric backend) |
data DbFunDepGeneric backend Source
DbFunDep | |
|
ToJSON DbFunDep | |
PersistFieldSql (DbFunDepGeneric backend) | |
PersistEntity (DbFunDepGeneric backend) | |
PersistField (DbFunDepGeneric backend) |
data DbContextGeneric backend Source
DbContext | |
|
ToJSON DbContext | |
PersistFieldSql (DbContextGeneric backend) | |
PersistEntity (DbContextGeneric backend) | |
PersistField (DbContextGeneric backend) |
data DbConstructorGeneric backend Source
DbConstructor | |
|
ToJSON DbConstructor | |
HasDbModule DbConstructor | |
PersistFieldSql (DbConstructorGeneric backend) | |
PersistEntity (DbConstructorGeneric backend) | |
PersistField (DbConstructorGeneric backend) |
migrateAll :: forall m. (MonadBaseControl IO m, MonadIO m, MonadLogger m) => Migration (SqlPersistT m)Source
data DbPackageIdentifier Source
Information needed to search a package.
data DbCompleteDecl Source
Complete information for a declaration. Look at its ToJSON instance to know which one is used in each kind of declaration.