| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Development.IDE.Graph.Internal.Rules
Synopsis
- type family RuleResult key
- action :: Action a -> Rules ()
- addRule :: forall key value. (RuleResult key ~ value, Typeable key, Hashable key, Eq key, Typeable value) => (key -> Maybe ByteString -> RunMode -> Action (RunResult value)) -> Rules ()
- runRule :: TheRules -> Key -> Maybe ByteString -> RunMode -> Action (RunResult Value)
- runRules :: Dynamic -> Rules () -> IO (TheRules, [Action ()])
Documentation
type family RuleResult key Source #
The type mapping between the key or a rule and the resulting value.