| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Scion.PersistentBrowser
- 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
Constructors
| DbData | |
| DbNewType | |
| DbClass | |
| DbInstance | |
| DbSignature | |
| DbType |
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.
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 -> 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
Minimal complete definition
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
Constructors
| DbPackage | |
Fields
| |
Instances
| 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
Constructors
| DbModule | |
Fields
| |
Instances
| 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
Constructors
| DbDecl | |
Fields
| |
Instances
type DbDecl = DbDeclGeneric SqlBackend Source
type DbDeclId = KeyBackend SqlBackend DbDecl Source
data DbTyVarGeneric backend Source
Constructors
| DbTyVar | |
Fields
| |
Instances
| 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
Constructors
| DbFunDep | |
Fields
| |
Instances
| 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
Constructors
| DbContext | |
Fields
| |
Instances
| 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
Constructors
| DbConstructor | |
Fields
| |
Instances
| 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.
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