Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
.