| 3 | | module Pugs.Types.Rule where |
| 4 | | |
| 5 | | import {-# SOURCE #-} Pugs.AST |
| 6 | | import Pugs.Internals |
| 7 | | import Pugs.Types |
| 8 | | |
| 9 | | class (Typeable a) => Class a where |
| 10 | | iType :: a -> Type |
| 11 | | iType = const $ mkType "Rule" |
| 12 | | fetch :: a -> Eval VRule |
| 13 | | store :: a -> VRule -> Eval () |
| 14 | | match :: a -> VStr -> Eval (MatchResult Val) |
| | 2 | class (Typeable a) => RuleClass a where |
| | 3 | rule_iType :: a -> Type |
| | 4 | rule_iType = const $ mkType "Rule" |
| | 5 | rule_fetch :: a -> Eval VRule |
| | 6 | rule_store :: a -> VRule -> Eval () |
| | 7 | rule_match :: a -> VStr -> Eval (MatchResult Val) |
