Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Eq Rewrite Source # | |
Ord Rewrite Source # | |
Defined in Language.REST.Internal.Rewrite | |
Show Rewrite Source # | |
Generic Rewrite Source # | |
Hashable Rewrite Source # | |
Defined in Language.REST.Internal.Rewrite | |
Monad m => RewriteRule m Rewrite RuntimeTerm Source # | |
Defined in Language.REST.Internal.Rewrite apply :: RuntimeTerm -> Rewrite -> m (HashSet RuntimeTerm) Source # | |
type Rep Rewrite Source # | |
Defined in Language.REST.Internal.Rewrite type Rep Rewrite = D1 ('MetaData "Rewrite" "Language.REST.Internal.Rewrite" "rest-rewrite-0.3.0-C58P8WPn3kHJiQCBn16Zwt" 'False) (C1 ('MetaCons "Rewrite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetaTerm) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetaTerm) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))))) |