Development.IDE.Graph.Rule

Defining builtin rules

Functions and types for defining new types of Shake rules.

addRule :: (RuleResult key ~ value, ShakeValue key, Typeable value, NFData value, Show value) => (key -> Maybe ByteString -> RunMode -> Action (RunResult value)) -> Rules ()

data RunMode

What mode a rule is running in, passed as an argument to BuiltinRun.

Constructors

RunDependenciesSame

My dependencies have not changed.

RunDependenciesChanged

At least one of my dependencies from last time have changed, or I have no recorded dependencies.

Instances

Eq RunMode

Defined in Development.Shake.Internal.Core.Types

Methods

(==) :: RunMode -> RunMode -> Bool

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

Show RunMode

Defined in Development.Shake.Internal.Core.Types

Methods

showsPrec :: Int -> RunMode -> ShowS

show :: RunMode -> String

showList :: [RunMode] -> ShowS

NFData RunMode

Defined in Development.Shake.Internal.Core.Types

Methods

rnf :: RunMode -> ()

data RunChanged

How the output of a rule has changed.

Constructors

ChangedNothing

Nothing has changed.

ChangedStore

The stored value has changed, but in a way that should be considered identical (used rarely).

ChangedRecomputeSame

I recomputed the value and it was the same.

ChangedRecomputeDiff

I recomputed the value and it was different.

Instances

Eq RunChanged

Defined in Development.Shake.Internal.Core.Types

Methods

(==) :: RunChanged -> RunChanged -> Bool

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

Show RunChanged

Defined in Development.Shake.Internal.Core.Types

Methods

showsPrec :: Int -> RunChanged -> ShowS

show :: RunChanged -> String

showList :: [RunChanged] -> ShowS

NFData RunChanged

Defined in Development.Shake.Internal.Core.Types

Methods

rnf :: RunChanged -> ()

data RunResult value

The result of BuiltinRun.

Constructors

RunResult

Fields

• runChanged :: RunChanged

  How has the RunResult changed from what happened last time.

• runStore :: ByteString

  The value to store in the Shake database.

• runValue :: value

  The value to return from apply.

Instances

Functor RunResult

Defined in Development.Shake.Internal.Core.Types

Methods

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

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

NFData value => NFData (RunResult value)

Defined in Development.Shake.Internal.Core.Types

Methods

rnf :: RunResult value -> ()

Calling builtin rules

Wrappers around calling Shake rules. In general these should be specialised to a builtin rule.

apply :: (RuleResult key ~ value, ShakeValue key, Typeable value) => [key] -> Action [value]

apply1 :: (RuleResult key ~ value, ShakeValue key, Typeable value) => key -> Action value