hls-graph-1.7.0.0: Haskell Language Server internal graph API
Safe HaskellNone
LanguageHaskell2010

Development.IDE.Graph.Internal.Database

Synopsis

Documentation

incDatabase :: Database -> Maybe [Key] -> IO () Source #

Increment the step and mark dirty. Assumes that the database is not running a build

build :: forall key value. (RuleResult key ~ value, Typeable key, Show key, Hashable key, Eq key, Typeable value) => Database -> Stack -> [key] -> IO ([Key], [value]) Source #

Unwrap and build a list of keys in parallel

getDirtySet :: Database -> IO [(Key, Int)] Source #

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

getKeysAndVisitAge :: Database -> IO [(Key, Int)] Source #

Returns ann approximation of the database keys, annotated with how long ago (in # builds) they were visited