ghcide-2.4.0.0: The core of an IDE
Safe HaskellSafe-Inferred
LanguageHaskell2010

Development.IDE.Core.PluginUtils

Synopsis

Documentation

runActionE :: MonadIO m => String -> IdeState -> ExceptT e Action a -> ExceptT e m a #

ExceptT version of runAction, takes a ExceptT Action

runActionMT :: MonadIO m => String -> IdeState -> MaybeT Action a -> MaybeT m a #

MaybeT version of runAction, takes a MaybeT Action

useE :: IdeRule k v => k -> NormalizedFilePath -> ExceptT PluginError Action v #

ExceptT version of use that throws a PluginRuleFailed upon failure

useMT :: IdeRule k v => k -> NormalizedFilePath -> MaybeT Action v #

MaybeT version of use

usesE :: (Traversable f, IdeRule k v) => k -> f NormalizedFilePath -> ExceptT PluginError Action (f v) #

ExceptT version of uses that throws a PluginRuleFailed upon failure

usesMT :: (Traversable f, IdeRule k v) => k -> f NormalizedFilePath -> MaybeT Action (f v) #

MaybeT version of uses

useWithStaleE :: IdeRule k v => k -> NormalizedFilePath -> ExceptT PluginError Action (v, PositionMapping) #

ExceptT version of useWithStale that throws a PluginRuleFailed upon failure

useWithStaleMT :: IdeRule k v => k -> NormalizedFilePath -> MaybeT Action (v, PositionMapping) #

MaybeT version of useWithStale

runIdeActionE :: MonadIO m => String -> ShakeExtras -> ExceptT e IdeAction a -> ExceptT e m a #

ExceptT version of runIdeAction, takes a ExceptT IdeAction

runIdeActionMT :: MonadIO m => String -> ShakeExtras -> MaybeT IdeAction a -> MaybeT m a #

MaybeT version of runIdeAction, takes a MaybeT IdeAction

useWithStaleFastE :: IdeRule k v => k -> NormalizedFilePath -> ExceptT PluginError IdeAction (v, PositionMapping) #

ExceptT version of useWithStaleFast that throws a PluginRuleFailed upon failure

useWithStaleFastMT :: IdeRule k v => k -> NormalizedFilePath -> MaybeT IdeAction (v, PositionMapping) #

MaybeT version of useWithStaleFast

uriToFilePathE :: Monad m => Uri -> ExceptT PluginError m FilePath #

ExceptT version of uriToFilePath that throws a PluginInvalidParams upon failure

toCurrentPositionE :: Monad m => PositionMapping -> Position -> ExceptT PluginError m Position #

ExceptT version of toCurrentPosition that throws a PluginInvalidUserState upon failure

fromCurrentPositionE :: Monad m => PositionMapping -> Position -> ExceptT PluginError m Position #

ExceptT version of fromCurrentPosition that throws a PluginInvalidUserState upon failure

toCurrentRangeE :: Monad m => PositionMapping -> Range -> ExceptT PluginError m Range #

ExceptT version of toCurrentRange that throws a PluginInvalidUserState upon failure

toCurrentRangeMT :: Monad m => PositionMapping -> Range -> MaybeT m Range #

MaybeT version of toCurrentRange

fromCurrentRangeE :: Monad m => PositionMapping -> Range -> ExceptT PluginError m Range #

ExceptT version of fromCurrentRange that throws a PluginInvalidUserState upon failure

fromCurrentRangeMT :: Monad m => PositionMapping -> Range -> MaybeT m Range #

MaybeT version of fromCurrentRange