Safe Haskell | None |
---|---|
Language | Haskell98 |
- data DbDeclType
- 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 (LoggingT (ResourceT IO)) a
- runLogging :: MonadIO m => LoggingT m a -> m 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
Documentation for an item. Now it is simply a Text element.
docFromString :: String -> Doc Source
type Documented a = a Doc Source
A documented item.
A package.
type Database = Map PackageIdentifier (Documented Package) Source
A Database saves a list of packages.
getNameString :: Name l -> String Source
Gets the name inside a Name constructor.
getQNameString :: QName l -> String Source
Gets the qualified name as a string.
class (Named parent, Named child) => DocItem parent child | parent -> child where Source
runLogging :: MonadIO m => LoggingT m a -> m a Source
wrapper around logging methods, so we can enable logging when we debug
data DbPackageGeneric backend Source
DbPackage | |
|
ToJSON DbPackage | |
HasDbPackage DbPackage | |
PersistFieldSql (DbPackageGeneric backend) | |
PersistEntity (DbPackageGeneric backend) | |
PersistField (DbPackageGeneric backend) | |
data Unique (DbPackageGeneric backend) = UniqueVersion String String | |
type PersistEntityBackend (DbPackageGeneric backend) = backend | |
data EntityField (DbPackageGeneric backend) where
|
data DbModuleGeneric backend Source
DbModule | |
|
ToJSON DbModule | |
HasDbModule DbModule | |
HasDbPackage DbModule | |
PersistFieldSql (DbModuleGeneric backend) | |
PersistEntity (DbModuleGeneric backend) | |
PersistField (DbModuleGeneric backend) | |
data Unique (DbModuleGeneric backend) | |
type PersistEntityBackend (DbModuleGeneric backend) = backend | |
data EntityField (DbModuleGeneric backend) where
|
type DbModule = DbModuleGeneric SqlBackend Source
type DbModuleId = KeyBackend SqlBackend DbModule Source
data DbDeclGeneric backend Source
DbDecl | |
|
type DbDecl = DbDeclGeneric SqlBackend Source
type DbDeclId = KeyBackend SqlBackend DbDecl Source
data DbTyVarGeneric backend Source
DbTyVar | |
|
ToJSON DbTyVar | |
PersistFieldSql (DbTyVarGeneric backend) | |
PersistEntity (DbTyVarGeneric backend) | |
PersistField (DbTyVarGeneric backend) | |
data Unique (DbTyVarGeneric backend) | |
type PersistEntityBackend (DbTyVarGeneric backend) = backend | |
data EntityField (DbTyVarGeneric backend) where
|
type DbTyVar = DbTyVarGeneric SqlBackend Source
type DbTyVarId = KeyBackend SqlBackend DbTyVar Source
data DbFunDepGeneric backend Source
DbFunDep | |
|
ToJSON DbFunDep | |
PersistFieldSql (DbFunDepGeneric backend) | |
PersistEntity (DbFunDepGeneric backend) | |
PersistField (DbFunDepGeneric backend) | |
data Unique (DbFunDepGeneric backend) | |
type PersistEntityBackend (DbFunDepGeneric backend) = backend | |
data EntityField (DbFunDepGeneric backend) where
|
type DbFunDep = DbFunDepGeneric SqlBackend Source
type DbFunDepId = KeyBackend SqlBackend DbFunDep Source
data DbContextGeneric backend Source
DbContext | |
|
ToJSON DbContext | |
PersistFieldSql (DbContextGeneric backend) | |
PersistEntity (DbContextGeneric backend) | |
PersistField (DbContextGeneric backend) | |
data Unique (DbContextGeneric backend) | |
type PersistEntityBackend (DbContextGeneric backend) = backend | |
data EntityField (DbContextGeneric backend) where
|
data DbConstructorGeneric backend Source
DbConstructor | |
|
ToJSON DbConstructor | |
HasDbModule DbConstructor | |
PersistFieldSql (DbConstructorGeneric backend) | |
PersistEntity (DbConstructorGeneric backend) | |
PersistField (DbConstructorGeneric backend) | |
data Unique (DbConstructorGeneric backend) | |
type PersistEntityBackend (DbConstructorGeneric backend) = backend | |
data EntityField (DbConstructorGeneric backend) where
|
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.