Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newDatabase :: Dynamic -> TheRules -> IO Database
- incDatabase :: Database -> Maybe [Key] -> IO ()
- build :: forall key value. (RuleResult key ~ value, Typeable key, Show key, Hashable key, Eq key, Typeable value) => Database -> [key] -> IO ([Id], [value])
- getDirtySet :: Database -> IO [(Id, (Key, Int))]
- getKeysAndVisitAge :: Database -> IO [(Key, Int)]
Documentation
build :: forall key value. (RuleResult key ~ value, Typeable key, Show key, Hashable key, Eq key, Typeable value) => Database -> [key] -> IO ([Id], [value]) Source #
Unwrap and build a list of keys in parallel