@@ -201,6 +201,9 @@ setValues state key file val = modifyVar state $ \inVal -> do
201 f = concatMap fst . Map.elems
201 f = concatMap fst . Map.elems
202 return (outVal, (f <$> Map.lookup file inVal, f $ outVal Map.! file))
202 return (outVal, (f <$> Map.lookup file inVal, f $ outVal Map.! file))
204+-- | The outer Maybe is Nothing if this function hasn't been computed before
205+-- the inner Maybe is Nothing if the result of the previous computation failed to produce
204getValues :: forall k v. IdeRule k v => Var Values -> k -> FilePath -> IO (Maybe (Maybe v))
207getValues :: forall k v. IdeRule k v => Var Values -> k -> FilePath -> IO (Maybe (Maybe v))
205getValues state key file = do
208getValues state key file = do
206 vs <- readVar state
209 vs <- readVar state