| Safe Haskell | None | 
|---|
Scion.PersistentBrowser
- 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 (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
Constructors
| DbData | |
| DbNewType | |
| DbClass | |
| DbInstance | |
| DbSignature | |
| DbType | 
Documentation for an item. Now it is simply a Text element.
docFromString :: String -> DocSource
type Documented a = a DocSource
A documented item.
A package.
Constructors
| Package l PackageIdentifier (Map String (Documented Module)) | 
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
runLogging :: MonadIO m => LoggingT m a -> m aSource
wrapper around logging methods, so we can enable logging when we debug
data DbPackageGeneric backend Source
Constructors
| DbPackage | |
| Fields 
 | |
Instances
| ToJSON DbPackage | |
| HasDbPackage DbPackage | |
| PersistFieldSql (DbPackageGeneric backend) | |
| PersistEntity (DbPackageGeneric backend) | |
| PersistField (DbPackageGeneric backend) | 
data DbModuleGeneric backend Source
Constructors
| DbModule | |
| Fields 
 | |
Instances
| ToJSON DbModule | |
| HasDbModule DbModule | |
| HasDbPackage DbModule | |
| PersistFieldSql (DbModuleGeneric backend) | |
| PersistEntity (DbModuleGeneric backend) | |
| PersistField (DbModuleGeneric backend) | 
data DbDeclGeneric backend Source
Constructors
| DbDecl | |
| Fields 
 | |
Instances
| 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
Constructors
| DbTyVar | |
| Fields 
 | |
Instances
| ToJSON DbTyVar | |
| PersistFieldSql (DbTyVarGeneric backend) | |
| PersistEntity (DbTyVarGeneric backend) | |
| PersistField (DbTyVarGeneric backend) | 
data DbFunDepGeneric backend Source
Constructors
| DbFunDep | |
| Fields 
 | |
Instances
| ToJSON DbFunDep | |
| PersistFieldSql (DbFunDepGeneric backend) | |
| PersistEntity (DbFunDepGeneric backend) | |
| PersistField (DbFunDepGeneric backend) | 
data DbContextGeneric backend Source
Constructors
| DbContext | |
| Fields 
 | |
Instances
| ToJSON DbContext | |
| PersistFieldSql (DbContextGeneric backend) | |
| PersistEntity (DbContextGeneric backend) | |
| PersistField (DbContextGeneric backend) | 
data DbConstructorGeneric backend Source
Constructors
| DbConstructor | |
| Fields 
 | |
Instances
| 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.
Constructors
| DbPackageIdentifier String String | 
data DbCompleteDecl Source
Complete information for a declaration. Look at its ToJSON instance to know which one is used in each kind of declaration.
Constructors
| DbCompleteDecl DbDecl [DbContext] [DbTyVar] [DbFunDep] [DbConstructor] | 
Instances