Development.IDE.Graph.Internal.Types

Documentation

unwrapDynamic :: forall a. Typeable a => Dynamic -> a

type TheRules = HashMap TypeRep Dynamic

newtype Rules a

Constructors

Rules (ReaderT SRules IO a)

Instances

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

Functor Rules

Defined in Development.IDE.Graph.Internal.Types

Methods

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

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

MonadFail Rules

Defined in Development.IDE.Graph.Internal.Types

Methods

fail :: String -> 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

MonadIO Rules

Defined in Development.IDE.Graph.Internal.Types

Methods

liftIO :: IO 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

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

data SRules

Constructors

SRules

Fields

• rulesExtra :: !Dynamic
• rulesActions :: !(IORef [Action ()])
• rulesMap :: !(IORef TheRules)

newtype Action a

Constructors

Action

Fields

• fromAction :: ReaderT SAction IO a

Instances

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

Functor Action

Defined in Development.IDE.Graph.Internal.Types

Methods

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

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

MonadFail Action

Defined in Development.IDE.Graph.Internal.Types

Methods

fail :: String -> 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

MonadIO Action

Defined in Development.IDE.Graph.Internal.Types

Methods

liftIO :: IO a -> Action a

MonadThrow Action

Defined in Development.IDE.Graph.Internal.Types

Methods

throwM :: Exception e => e -> 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)

data SAction

Constructors

SAction

Fields

• actionDatabase :: !Database
• actionDeps :: !(IORef ResultDeps)

getDatabase :: Action Database

newtype Step

Constructors

Step Int

Instances

Eq Step

Defined in Development.IDE.Graph.Internal.Types

Methods

(==) :: Step -> Step -> Bool

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

Ord Step

Defined in Development.IDE.Graph.Internal.Types

Methods

compare :: Step -> Step -> Ordering

(<) :: Step -> Step -> Bool

(<=) :: Step -> Step -> Bool

(>) :: Step -> Step -> Bool

(>=) :: Step -> Step -> Bool

max :: Step -> Step -> Step

min :: Step -> Step -> Step

Hashable Step

Defined in Development.IDE.Graph.Internal.Types

Methods

hashWithSalt :: Int -> Step -> Int

hash :: Step -> Int

data Key

Constructors

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

Instances

Eq Key

Defined in Development.IDE.Graph.Internal.Types

Methods

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

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

Show Key

Defined in Development.IDE.Graph.Internal.Types

Methods

showsPrec :: Int -> Key -> ShowS

show :: Key -> String

showList :: [Key] -> ShowS

Hashable Key

Defined in Development.IDE.Graph.Internal.Types

Methods

hashWithSalt :: Int -> Key -> Int

hash :: Key -> Int

newtype Value

Constructors

Value Dynamic

data Database

Constructors

Database

Fields

• databaseExtra :: Dynamic
• databaseRules :: TheRules
• databaseStep :: !(IORef Step)
• databaseLock :: !Lock
• databaseIds :: !(IORef (Intern Key))
• databaseValues :: !(Ids (Key, Status))
• databaseReverseDeps :: !(Ids IntSet)
• databaseReverseDepsLock :: !Lock

data Status

Constructors

Clean Result

Dirty (Maybe Result)

Running (IO ()) Result (Maybe Result)

getResult :: Status -> Maybe Result

data Result

Constructors

Result

Fields

• resultValue :: !Value
• resultBuilt :: !Step

  the step when it was last recomputed

• resultChanged :: !Step

  the step when it last changed

• resultVisited :: !Step

  the step when it was last looked up

• resultDeps :: !ResultDeps
• resultExecution :: !Seconds

  How long it took, last time it ran

• resultData :: ByteString

data ResultDeps

Constructors

UnknownDeps

AlwaysRerunDeps ![Id]

ResultDeps ![Id]

Instances

Semigroup ResultDeps

Defined in Development.IDE.Graph.Internal.Types

Methods

(<>) :: ResultDeps -> ResultDeps -> ResultDeps

sconcat :: NonEmpty ResultDeps -> ResultDeps

stimes :: Integral b => b -> ResultDeps -> ResultDeps

Monoid ResultDeps

Defined in Development.IDE.Graph.Internal.Types

Methods

mempty :: ResultDeps

mappend :: ResultDeps -> ResultDeps -> ResultDeps

mconcat :: [ResultDeps] -> ResultDeps

getResultDepsDefault :: [Id] -> ResultDeps -> [Id]

mapResultDeps :: ([Id] -> [Id]) -> ResultDeps -> ResultDeps

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.IDE.Graph.Internal.Types

Methods

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

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

Show RunMode

Defined in Development.IDE.Graph.Internal.Types

Methods

showsPrec :: Int -> RunMode -> ShowS

show :: RunMode -> String

showList :: [RunMode] -> ShowS

NFData RunMode

Defined in Development.IDE.Graph.Internal.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.IDE.Graph.Internal.Types

Methods

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

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

Show RunChanged

Defined in Development.IDE.Graph.Internal.Types

Methods

showsPrec :: Int -> RunChanged -> ShowS

show :: RunChanged -> String

showList :: [RunChanged] -> ShowS

Generic RunChanged

Defined in Development.IDE.Graph.Internal.Types

Associated Types

type Rep RunChanged :: Type -> Type

Methods

from :: RunChanged -> Rep RunChanged x

to :: Rep RunChanged x -> RunChanged

ToJSON RunChanged

Defined in Development.IDE.Graph.Internal.Types

Methods

toJSON :: RunChanged -> Value

toEncoding :: RunChanged -> Encoding

toJSONList :: [RunChanged] -> Value

toEncodingList :: [RunChanged] -> Encoding

FromJSON RunChanged

Defined in Development.IDE.Graph.Internal.Types

Methods

parseJSON :: Value -> Parser RunChanged

parseJSONList :: Value -> Parser [RunChanged]

NFData RunChanged

Defined in Development.IDE.Graph.Internal.Types

Methods

rnf :: RunChanged -> ()

type Rep RunChanged

Defined in Development.IDE.Graph.Internal.Types

type Rep RunChanged = D1 ('MetaData "RunChanged" "Development.IDE.Graph.Internal.Types" "hls-graph-1.5.1.0-EAZh0rVyJtSGu7R5uEVC7V" 'False) ((C1 ('MetaCons "ChangedNothing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChangedStore" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ChangedRecomputeSame" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChangedRecomputeDiff" 'PrefixI 'False) (U1 :: Type -> Type)))

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.IDE.Graph.Internal.Types

Methods

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

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

NFData value => NFData (RunResult value)

Defined in Development.IDE.Graph.Internal.Types

Methods

rnf :: RunResult value -> ()