Development.IDE.Graph

Documentation

shakeOptions :: ShakeOptions

data Rules a

Instances

MonadFail Rules

Defined in Development.IDE.Graph.Internal.Types

Methods

fail :: String -> Rules a

MonadIO Rules

Defined in Development.IDE.Graph.Internal.Types

Methods

liftIO :: IO a -> Rules a

Applicative Rules

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

Defined in Development.IDE.Graph.Internal.Types

Methods

fmap :: (a -> b) -> Rules a -> Rules b

(<$) :: a -> Rules b -> Rules a

Monad Rules

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)

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)

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

Instances

MonadFail Action

Defined in Development.IDE.Graph.Internal.Types

Methods

fail :: String -> Action a

MonadIO Action

Defined in Development.IDE.Graph.Internal.Types

Methods

liftIO :: IO a -> Action a

Applicative Action

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

Defined in Development.IDE.Graph.Internal.Types

Methods

fmap :: (a -> b) -> Action a -> Action b

(<$) :: a -> Action b -> Action a

Monad Action

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

Defined in Development.IDE.Graph.Internal.Types

Methods

catch :: Exception e => Action a -> (e -> Action a) -> Action a

MonadMask Action

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

Defined in Development.IDE.Graph.Internal.Types

Methods

throwM :: Exception e => e -> Action a

MonadUnliftIO Action

Defined in Development.IDE.Graph.Internal.Types

Methods

withRunInIO :: ((forall a. Action a -> IO a) -> IO b) -> Action b

action :: Action a -> Rules ()

data Key

Constructors

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

Instances

Show Key

Defined in Development.IDE.Graph.Internal.Types

Methods

showsPrec :: Int -> Key -> ShowS

show :: Key -> String

showList :: [Key] -> ShowS

Eq Key

Defined in Development.IDE.Graph.Internal.Types

Methods

(==) :: Key -> Key -> Bool

(/=) :: Key -> Key -> Bool

Hashable Key

Defined in Development.IDE.Graph.Internal.Types

Methods

hashWithSalt :: Int -> Key -> Int

hash :: Key -> Int

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

Configuration

data ShakeOptions

getShakeExtra :: Typeable a => Action (Maybe a)

getShakeExtraRules :: Typeable a => Rules (Maybe a)

newShakeExtra :: Typeable a => a -> Maybe Dynamic

Explicit parallelism

parallel :: [Action a] -> Action [a]

Oracle rules

type ShakeValue a = (Show a, Typeable a, Eq a, Hashable a, NFData a)

type family RuleResult key

The type mapping between the key or a rule and the resulting value.

Special rules

alwaysRerun :: Action ()

Always rerun this rule when dirty, regardless of the dependencies.

Batching

reschedule :: Double -> Action ()

Actions for inspecting the keys in the database

getDirtySet :: Action [(Key, Int)]

Returns the set of dirty keys annotated with their age (in # of builds)

getKeysAndVisitedAge :: Action [(Key, Int)]