Safe Haskell	None
Language	Haskell98

HsDev.Database.Update

Synopsis

Documentation

data Status Source #

Constructors

StatusWorking
StatusOk
StatusError HsDevError

Instances

ToJSON Status Source #
Methods toJSON :: Status -> Value # toEncoding :: Status -> Encoding # toJSONList :: [Status] -> Value # toEncodingList :: [Status] -> Encoding #
FromJSON Status Source #
Methods parseJSON :: Value -> Parser Status # parseJSONList :: Value -> Parser [Status] #

data Progress Source #

Constructors

Progress
Fields progressCurrent :: Int progressTotal :: Int

Instances

ToJSON Progress Source #
Methods toJSON :: Progress -> Value # toEncoding :: Progress -> Encoding # toJSONList :: [Progress] -> Value # toEncodingList :: [Progress] -> Encoding #
FromJSON Progress Source #
Methods parseJSON :: Value -> Parser Progress # parseJSONList :: Value -> Parser [Progress] #

data Task Source #

Constructors

Task
Fields _taskName :: String _taskStatus :: Status _taskSubjectType :: String _taskSubjectName :: String _taskProgress :: Maybe Progress

Instances

ToJSON Task Source #
Methods toJSON :: Task -> Value # toEncoding :: Task -> Encoding # toJSONList :: [Task] -> Value # toEncodingList :: [Task] -> Encoding #
FromJSON Task Source #
Methods parseJSON :: Value -> Parser Task # parseJSONList :: Value -> Parser [Task] #

data UpdateOptions Source #

Constructors

UpdateOptions
Fields _updateTasks :: [Task] _updateGhcOpts :: [String] _updateDocs :: Bool _updateInfer :: Bool

Instances

Default UpdateOptions Source #
Methods def :: UpdateOptions #

newtype UpdateM m a Source #

Constructors

UpdateM
Fields runUpdateM :: ReaderT UpdateState (WriterT [ModuleLocation] (ClientM m)) a

Instances

MonadTrans UpdateM Source #
Methods lift :: Monad m => m a -> UpdateM m a #
Monad m => MonadReader UpdateState (UpdateM m) Source #
Methods ask :: UpdateM m UpdateState # local :: (UpdateState -> UpdateState) -> UpdateM m a -> UpdateM m a # reader :: (UpdateState -> a) -> UpdateM m a #
MonadBase b m => MonadBase b (UpdateM m) Source #
Methods liftBase :: b α -> UpdateM m α #
MonadBaseControl b m => MonadBaseControl b (UpdateM m) Source #
Associated Types type StM (UpdateM m :: * -> ) a :: # Methods liftBaseWith :: (RunInBase (UpdateM m) b -> b a) -> UpdateM m a # restoreM :: StM (UpdateM m) a -> UpdateM m a #
Monad m => Monad (UpdateM m) Source #
Methods (>>=) :: UpdateM m a -> (a -> UpdateM m b) -> UpdateM m b # (>>) :: UpdateM m a -> UpdateM m b -> UpdateM m b # return :: a -> UpdateM m a # fail :: String -> UpdateM m a #
Functor m => Functor (UpdateM m) Source #
Methods fmap :: (a -> b) -> UpdateM m a -> UpdateM m b # (<$) :: a -> UpdateM m b -> UpdateM m a #
Applicative m => Applicative (UpdateM m) Source #
Methods pure :: a -> UpdateM m a # (<>) :: UpdateM m (a -> b) -> UpdateM m a -> UpdateM m b # liftA2 :: (a -> b -> c) -> UpdateM m a -> UpdateM m b -> UpdateM m c # (>) :: UpdateM m a -> UpdateM m b -> UpdateM m b # (<*) :: UpdateM m a -> UpdateM m b -> UpdateM m a #
MonadPlus m => MonadPlus (UpdateM m) Source #
Methods mzero :: UpdateM m a # mplus :: UpdateM m a -> UpdateM m a -> UpdateM m a #
Alternative m => Alternative (UpdateM m) Source #
Methods empty :: UpdateM m a # (<\|>) :: UpdateM m a -> UpdateM m a -> UpdateM m a # some :: UpdateM m a -> UpdateM m [a] # many :: UpdateM m a -> UpdateM m [a] #
MonadIO m => MonadIO (UpdateM m) Source #
Methods liftIO :: IO a -> UpdateM m a #
MonadThrow m => MonadThrow (UpdateM m) Source #
Methods throwM :: Exception e => e -> UpdateM m a #
MonadCatch m => MonadCatch (UpdateM m) Source #
Methods catch :: Exception e => UpdateM m a -> (e -> UpdateM m a) -> UpdateM m a #
MonadMask m => MonadMask (UpdateM m) Source #
Methods mask :: ((forall a. UpdateM m a -> UpdateM m a) -> UpdateM m b) -> UpdateM m b # uninterruptibleMask :: ((forall a. UpdateM m a -> UpdateM m a) -> UpdateM m b) -> UpdateM m b #
(MonadIO m, MonadMask m) => MonadLog (UpdateM m) Source #
Methods askLog :: UpdateM m Log # localLog :: (Log -> Log) -> UpdateM m a -> UpdateM m a #
ServerMonadBase m => CommandMonad (UpdateM m) Source #
Methods getOptions :: UpdateM m CommandOptions Source #
ServerMonadBase m => SessionMonad (UpdateM m) Source #
Methods getSession :: UpdateM m Session Source # localSession :: (Session -> Session) -> UpdateM m a -> UpdateM m a Source #
Monad m => MonadWriter [ModuleLocation] (UpdateM m) Source #
Methods writer :: (a, [ModuleLocation]) -> UpdateM m a # tell :: [ModuleLocation] -> UpdateM m () # listen :: UpdateM m a -> UpdateM m (a, [ModuleLocation]) # pass :: UpdateM m (a, [ModuleLocation] -> [ModuleLocation]) -> UpdateM m a #
type StM (UpdateM m) a Source #
type StM (UpdateM m) a = StM (ReaderT * UpdateState (WriterT [ModuleLocation] (ClientM m))) a

runUpdate :: ServerMonadBase m => UpdateOptions -> UpdateM m a -> ClientM m a Source #

postStatus :: UpdateMonad m => Task -> m () Source #

Post status

updater :: UpdateMonad m => [ModuleLocation] -> m () Source #

Mark module as updated

runTask :: (Display t, UpdateMonad m, NFData a) => String -> t -> m a -> m a Source #

Run one task

runTasks :: UpdateMonad m => [m a] -> m [a] Source #

Run many tasks with numeration

runTasks_ :: UpdateMonad m => [m ()] -> m () Source #

Run many tasks with numeration

scanModules :: UpdateMonad m => [String] -> [ModuleToScan] -> m () Source #

Scan modules

scanFile :: UpdateMonad m => [String] -> Path -> m () Source #

Scan source file, resolve dependent modules

scanFiles :: UpdateMonad m => [(FileSource, [String])] -> m () Source #

Scan source files, resolving dependent modules

scanFileContents :: UpdateMonad m => [String] -> Path -> Maybe Text -> m () Source #

Scan source file with contents and resolve dependent modules

scanCabal :: UpdateMonad m => [String] -> m () Source #

Scan cabal modules, doesn't rescan if already scanned

prepareSandbox :: UpdateMonad m => Sandbox -> m () Source #

Prepare sandbox for scanning. This is used for stack project to build & configure.

scanSandbox :: UpdateMonad m => [String] -> Sandbox -> m () Source #

Scan sandbox modules, doesn't rescan if already scanned

scanPackageDb :: UpdateMonad m => [String] -> PackageDbStack -> m () Source #

Scan top of package-db stack, usable for rescan

scanProjectFile :: UpdateMonad m => [String] -> Path -> m Project Source #

Scan project file

scanProjectStack :: UpdateMonad m => [String] -> Path -> m () Source #

Scan project and related package-db stack

scanProject :: UpdateMonad m => [String] -> Path -> m () Source #

Scan project

scanDirectory :: UpdateMonad m => [String] -> Path -> m () Source #

Scan directory for source files and projects

scanContents :: UpdateMonad m => [String] -> ScanContents -> m () Source #

scanPackageDbStackDocs :: UpdateMonad m => [String] -> PackageDbStack -> m () Source #

Scan installed docs

scanDocs :: UpdateMonad m => [Module] -> m () Source #

Scan docs for inspected modules

setModTypes :: UpdateMonad m => ModuleId -> [Note TypedExpr] -> m () Source #

Set inferred types for module

inferModTypes :: UpdateMonad m => [Module] -> m () Source #

Infer types for modules

scan Source #

Arguments

:: UpdateMonad m
=> m [Only Int :. (ModuleLocation :. Inspection)]	Get affected modules, obsolete will be removed, changed will be updated
-> [ModuleToScan]	Actual modules, other will be removed
-> [String]	Extra scan options
-> ([ModuleToScan] -> m ())	Update function
-> m ()

Generic scan function. Removed obsolete modules and calls callback on changed modules.

processEvents :: ([(Watched, Event)] -> IO ()) -> MVar (Async ()) -> MVar [(Watched, Event)] -> [(Watched, Event)] -> ClientM IO () Source #

updateEvents :: ServerMonadBase m => [(Watched, Event)] -> UpdateM m () Source #

applyUpdates :: UpdateOptions -> [(Watched, Event)] -> ClientM IO () Source #

cacheGhcWarnings :: Session -> [ModuleLocation] -> GhcM a -> GhcM a Source #

cachedWarnings :: SessionMonad m => [ModuleLocation] -> m [Note OutputMessage] Source #

Get cached warnings

module HsDev.Database.Update.Types

module HsDev.Watcher

module Control.Monad.Except