HsDev.Database.Update.Types

Documentation

data Status

Constructors

StatusWorking

StatusOk

StatusError String

Instances

ToJSON Status

FromJSON Status

data Progress

Constructors

Progress

Fields

progressCurrent :: Int

progressTotal :: Int

Instances

ToJSON Progress

FromJSON Progress

data Task

Constructors

Task

Fields

taskName :: String

taskStatus :: Status

taskSubjectType :: String

taskSubjectName :: String

taskProgress :: Maybe Progress

Instances

ToJSON Task

FromJSON Task

data Settings

Constructors

Settings

Fields

database :: Async Database

databaseCacheReader :: (FilePath -> ExceptT String IO Structured) -> IO (Maybe Database)

databaseCacheWriter :: Database -> IO ()

onStatus :: [Task] -> IO ()

ghcOptions :: [String]

updateDocs :: Bool

runInferTypes :: Bool

settingsGhcModWorker :: Worker (ReaderT WorkerMap IO)

settingsLogger :: Log

settingsWatcher :: Watcher

settingsDefines :: [(String, String)]

Instances

Monad m => MonadReader Settings (UpdateDB m)

settings :: CommandOptions -> [String] -> Bool -> Bool -> Settings

newtype UpdateDB m a

Constructors

UpdateDB

Fields

runUpdateDB :: ReaderT Settings (WriterT [ModuleLocation] m) a

Instances

Monad m => MonadReader Settings (UpdateDB m)

MonadBase b m => MonadBase b (UpdateDB m)

MonadBaseControl b m => MonadBaseControl b (UpdateDB m)

Monad m => Monad (UpdateDB m)

Functor m => Functor (UpdateDB m)

Applicative m => Applicative (UpdateDB m)

MonadCatchIO m => MonadCatchIO (UpdateDB m)

MonadThrow m => MonadThrow (UpdateDB m)

MonadCatch m => MonadCatch (UpdateDB m)

MonadIO m => MonadIO (UpdateDB m)

MonadCatchIO m => MonadLog (UpdateDB m)

Monad m => MonadWriter [ModuleLocation] (UpdateDB m)

type StM (UpdateDB m) a = StM (ReaderT Settings (WriterT [ModuleLocation] m)) a