HsDev.Database.Update

Documentation

data Status

Constructors

StatusWorking

StatusOk

StatusError HsDevError

Instances

ToJSON Status

Defined in HsDev.Database.Update.Types

Methods

toJSON :: Status -> Value

toEncoding :: Status -> Encoding

toJSONList :: [Status] -> Value

toEncodingList :: [Status] -> Encoding

FromJSON Status

Defined in HsDev.Database.Update.Types

Methods

parseJSON :: Value -> Parser Status

parseJSONList :: Value -> Parser [Status]

data Progress

Constructors

Progress

Fields

• progressCurrent :: Int
• progressTotal :: Int

Instances

ToJSON Progress

Defined in HsDev.Database.Update.Types

Methods

toJSON :: Progress -> Value

toEncoding :: Progress -> Encoding

toJSONList :: [Progress] -> Value

toEncodingList :: [Progress] -> Encoding

FromJSON Progress

Defined in HsDev.Database.Update.Types

Methods

parseJSON :: Value -> Parser Progress

parseJSONList :: Value -> Parser [Progress]

data Task

Constructors

Task

Fields

• _taskName :: String
• _taskStatus :: Status
• _taskSubjectType :: String
• _taskSubjectName :: String
• _taskProgress :: Maybe Progress

Instances

ToJSON Task

Defined in HsDev.Database.Update.Types

Methods

toJSON :: Task -> Value

toEncoding :: Task -> Encoding

toJSONList :: [Task] -> Value

toEncodingList :: [Task] -> Encoding

FromJSON Task

Defined in HsDev.Database.Update.Types

Methods

parseJSON :: Value -> Parser Task

parseJSONList :: Value -> Parser [Task]

data UpdateOptions

Constructors

UpdateOptions

Fields

• _updateTasks :: [Task]
• _updateGhcOpts :: [String]
• _updateDocs :: Bool
• _updateInfer :: Bool

Instances

Default UpdateOptions

Defined in HsDev.Database.Update.Types

Methods

def :: UpdateOptions

newtype UpdateM m a

Constructors

UpdateM

Fields

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

Instances

MonadTrans UpdateM

Defined in HsDev.Database.Update.Types

Methods

lift :: Monad m => m a -> UpdateM m a

Monad m => MonadReader UpdateState (UpdateM m)

Defined in HsDev.Database.Update.Types

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)

Defined in HsDev.Database.Update.Types

Methods

liftBase :: b α -> UpdateM m α

MonadBaseControl b m => MonadBaseControl b (UpdateM m)

Defined in HsDev.Database.Update.Types

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)

Defined in HsDev.Database.Update.Types

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)

Defined in HsDev.Database.Update.Types

Methods

fmap :: (a -> b) -> UpdateM m a -> UpdateM m b

(<$) :: a -> UpdateM m b -> UpdateM m a

Applicative m => Applicative (UpdateM m)

Defined in HsDev.Database.Update.Types

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)

Defined in HsDev.Database.Update.Types

Methods

mzero :: UpdateM m a

mplus :: UpdateM m a -> UpdateM m a -> UpdateM m a

Alternative m => Alternative (UpdateM m)

Defined in HsDev.Database.Update.Types

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)

Defined in HsDev.Database.Update.Types

Methods

liftIO :: IO a -> UpdateM m a

MonadThrow m => MonadThrow (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

throwM :: Exception e => e -> UpdateM m a

MonadCatch m => MonadCatch (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

catch :: Exception e => UpdateM m a -> (e -> UpdateM m a) -> UpdateM m a

MonadMask m => MonadMask (UpdateM m)

Defined in HsDev.Database.Update.Types

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

generalBracket :: UpdateM m a -> (a -> ExitCase b -> UpdateM m c) -> (a -> UpdateM m b) -> UpdateM m (b, c)

(MonadIO m, MonadMask m) => MonadLog (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

askLog :: UpdateM m Log

localLog :: (Log -> Log) -> UpdateM m a -> UpdateM m a

ServerMonadBase m => CommandMonad (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

getOptions :: UpdateM m CommandOptions

ServerMonadBase m => SessionMonad (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

getSession :: UpdateM m Session

localSession :: (Session -> Session) -> UpdateM m a -> UpdateM m a

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

Defined in HsDev.Database.Update.Types

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

Defined in HsDev.Database.Update.Types

type StM (UpdateM m) a = StM (ReaderT UpdateState (WriterT [ModuleLocation] (ClientM m))) a

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

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

Post status

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

Mark module as updated

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

Run one task

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

Run many tasks with numeration

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

Run many tasks with numeration

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

Scan modules

scanFile :: UpdateMonad m => [String] -> Path -> BuildTool -> Bool -> Bool -> m ()

Scan source file, possibly scanning also related project and installed modules

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

Scan source files, resolving dependent modules

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

Scan source file with contents and resolve dependent modules

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

Scan cabal modules, doesn't rescan if already scanned

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

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

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

Scan sandbox modules, doesn't rescan if already scanned

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

Scan top of package-db stack, usable for rescan

scanPackageDbStack :: UpdateMonad m => [String] -> PackageDbStack -> m ()

Scan top of package-db stack, usable for rescan

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

Scan project file

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

Scan project and related package-db stack

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

Scan project

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

Scan directory for source files and projects

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

Scan installed docs

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

Scan docs for inspected modules

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

Set inferred types for module

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

Infer types for modules

scan

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 ()

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

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

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

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

Get cached warnings

module HsDev.Database.Update.Types

module HsDev.Watcher

module Control.Monad.Except