Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Status
- data Progress = Progress {}
- data Task = Task {}
- isStatus :: Value -> Bool
- data Settings = Settings {}
- data UpdateDB m a
- updateDB :: Monad m => Settings -> ErrorT String (UpdateDB m) () -> m ()
- postStatus :: (MonadIO m, MonadReader Settings m) => Task -> m ()
- waiter :: (MonadIO m, MonadReader Settings m) => m () -> m ()
- updater :: (MonadIO m, MonadReader Settings m) => m Database -> m ()
- loadCache :: (MonadIO m, MonadReader Settings m) => (FilePath -> ErrorT String IO Structured) -> m ()
- runTask :: MonadIO m => String -> [Pair] -> ErrorT String (UpdateDB m) a -> ErrorT String (UpdateDB m) a
- runTasks :: Monad m => [ErrorT String (UpdateDB m) ()] -> ErrorT String (UpdateDB m) ()
- readDB :: (MonadIO m, MonadReader Settings m) => m Database
- scanModule :: MonadCatchIO m => [String] -> ModuleLocation -> ErrorT String (UpdateDB m) ()
- scanModules :: MonadCatchIO m => [String] -> [ModuleToScan] -> ErrorT String (UpdateDB m) ()
- scanFile :: MonadCatchIO m => [String] -> FilePath -> ErrorT String (UpdateDB m) ()
- scanCabal :: MonadCatchIO m => [String] -> Cabal -> ErrorT String (UpdateDB m) ()
- scanProjectFile :: MonadCatchIO m => [String] -> FilePath -> ErrorT String (UpdateDB m) Project
- scanProject :: MonadCatchIO m => [String] -> FilePath -> ErrorT String (UpdateDB m) ()
- scanDirectory :: MonadCatchIO m => [String] -> FilePath -> ErrorT String (UpdateDB m) ()
- liftErrorT :: MonadIO m => ErrorT String IO a -> ErrorT String m a
Documentation
Task | |
|
Monad m => MonadReader Settings (UpdateDB m) |
Monad m => MonadReader Settings (UpdateDB m) | |
Monad m => Monad (UpdateDB m) | |
Functor m => Functor (UpdateDB m) | |
Applicative m => Applicative (UpdateDB m) | |
MonadCatchIO m => MonadCatchIO (UpdateDB m) | |
MonadIO m => MonadIO (UpdateDB m) |
postStatus :: (MonadIO m, MonadReader Settings m) => Task -> m () Source
Post status
waiter :: (MonadIO m, MonadReader Settings m) => m () -> m () Source
Wait DB to complete actions
updater :: (MonadIO m, MonadReader Settings m) => m Database -> m () Source
Update task result to database
loadCache :: (MonadIO m, MonadReader Settings m) => (FilePath -> ErrorT String IO Structured) -> m () Source
Load data from cache and wait
runTask :: MonadIO m => String -> [Pair] -> ErrorT String (UpdateDB m) a -> ErrorT String (UpdateDB m) a Source
Run one task
runTasks :: Monad m => [ErrorT String (UpdateDB m) ()] -> ErrorT String (UpdateDB m) () Source
Run many tasks with numeration
scanModule :: MonadCatchIO m => [String] -> ModuleLocation -> ErrorT String (UpdateDB m) () Source
Scan module
scanModules :: MonadCatchIO m => [String] -> [ModuleToScan] -> ErrorT String (UpdateDB m) () Source
Scan modules
scanFile :: MonadCatchIO m => [String] -> FilePath -> ErrorT String (UpdateDB m) () Source
Scan source file
scanCabal :: MonadCatchIO m => [String] -> Cabal -> ErrorT String (UpdateDB m) () Source
Scan cabal modules
scanProjectFile :: MonadCatchIO m => [String] -> FilePath -> ErrorT String (UpdateDB m) Project Source
Scan project file
scanProject :: MonadCatchIO m => [String] -> FilePath -> ErrorT String (UpdateDB m) () Source
Scan project
scanDirectory :: MonadCatchIO m => [String] -> FilePath -> ErrorT String (UpdateDB m) () Source
Scan directory for source files and projects