Safe Haskell	Safe-Inferred
Language	Haskell2010

Development.IDE.Graph

Contents

Configuration
Explicit parallelism
Oracle rules
Special rules
Batching
Actions for inspecting the keys in the database

Synopsis

shakeOptions :: ShakeOptions
data Rules a
data Action a
action :: Action a -> Rules ()
data Key = forall a.(Typeable a, Eq a, Hashable a, Show a) => Key a
actionFinally :: Action a -> IO b -> Action a
actionBracket :: IO a -> (a -> IO b) -> (a -> Action c) -> Action c
actionCatch :: Exception e => Action a -> (e -> Action a) -> Action a
actionFork :: Action a -> (Async a -> Action b) -> Action b
data ShakeOptions
getShakeExtra :: Typeable a => Action (Maybe a)
getShakeExtraRules :: Typeable a => Rules (Maybe a)
newShakeExtra :: Typeable a => a -> Maybe Dynamic
parallel :: [Action a] -> Action [a]
type ShakeValue a = (Show a, Typeable a, Eq a, Hashable a, NFData a)
type family RuleResult key
alwaysRerun :: Action ()
reschedule :: Double -> Action ()
getDirtySet :: Action [(Key, Int)]
getKeysAndVisitedAge :: Action [(Key, Int)]

Documentation

shakeOptions :: ShakeOptions Source #

data Rules a Source #

Instances

Instances details

MonadFail Rules Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods fail :: String -> Rules a #
MonadIO Rules Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods liftIO :: IO a -> Rules a #
Applicative Rules Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods pure :: a -> Rules a # (<>) :: Rules (a -> b) -> Rules a -> Rules b # liftA2 :: (a -> b -> c) -> Rules a -> Rules b -> Rules c # (>) :: Rules a -> Rules b -> Rules b # (<*) :: Rules a -> Rules b -> Rules a #
Functor Rules Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods fmap :: (a -> b) -> Rules a -> Rules b # (<$) :: a -> Rules b -> Rules a #
Monad Rules Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods (>>=) :: Rules a -> (a -> Rules b) -> Rules b # (>>) :: Rules a -> Rules b -> Rules b # return :: a -> Rules a #
Monoid a => Monoid (Rules a) Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods mempty :: Rules a # mappend :: Rules a -> Rules a -> Rules a # mconcat :: [Rules a] -> Rules a #
Semigroup a => Semigroup (Rules a) Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods (<>) :: Rules a -> Rules a -> Rules a # sconcat :: NonEmpty (Rules a) -> Rules a # stimes :: Integral b => b -> Rules a -> Rules a #

data Action a Source #

Instances

Instances details

MonadFail Action Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods fail :: String -> Action a #
MonadIO Action Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods liftIO :: IO a -> Action a #
Applicative Action Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods pure :: a -> Action a # (<>) :: Action (a -> b) -> Action a -> Action b # liftA2 :: (a -> b -> c) -> Action a -> Action b -> Action c # (>) :: Action a -> Action b -> Action b # (<*) :: Action a -> Action b -> Action a #
Functor Action Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods fmap :: (a -> b) -> Action a -> Action b # (<$) :: a -> Action b -> Action a #
Monad Action Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods (>>=) :: Action a -> (a -> Action b) -> Action b # (>>) :: Action a -> Action b -> Action b # return :: a -> Action a #
MonadCatch Action Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods catch :: Exception e => Action a -> (e -> Action a) -> Action a #
MonadMask Action Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods mask :: ((forall a. Action a -> Action a) -> Action b) -> Action b # uninterruptibleMask :: ((forall a. Action a -> Action a) -> Action b) -> Action b # generalBracket :: Action a -> (a -> ExitCase b -> Action c) -> (a -> Action b) -> Action (b, c) #
MonadThrow Action Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods throwM :: Exception e => e -> Action a #
MonadUnliftIO Action Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods withRunInIO :: ((forall a. Action a -> IO a) -> IO b) -> Action b #

action :: Action a -> Rules () Source #

data Key Source #

Constructors

forall a.(Typeable a, Eq a, Hashable a, Show a) => Key a

Instances

Instances details

Show Key Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods showsPrec :: Int -> Key -> ShowS # show :: Key -> String # showList :: [Key] -> ShowS #
Eq Key Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods (==) :: Key -> Key -> Bool # (/=) :: Key -> Key -> Bool #
Hashable Key Source #
Instance details Defined in Development.IDE.Graph.Internal.Types Methods hashWithSalt :: Int -> Key -> Int # hash :: Key -> Int #