Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data MetaTerm
- class ToMetaTerm a where
- toMetaTerm :: a -> MetaTerm
Documentation
A MetaTerm is a term with variables; used for Rewrite
rules
Instances
IsString MetaTerm Source # | |
Defined in Language.REST.MetaTerm fromString :: String -> MetaTerm # | |
Generic MetaTerm Source # | |
Show MetaTerm Source # | |
Eq MetaTerm Source # | |
Ord MetaTerm Source # | |
Defined in Language.REST.MetaTerm | |
Hashable MetaTerm Source # | |
Defined in Language.REST.MetaTerm | |
ToMetaTerm MetaTerm Source # | |
Defined in Language.REST.MetaTerm toMetaTerm :: MetaTerm -> MetaTerm Source # | |
type Rep MetaTerm Source # | |
Defined in Language.REST.MetaTerm type Rep MetaTerm = D1 ('MetaData "MetaTerm" "Language.REST.MetaTerm" "rest-rewrite-0.4.3-L4CHsmDzf4PMYNf7CqgfF" 'False) (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "RWApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Op) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MetaTerm]))) |
class ToMetaTerm a where Source #
Helper class, enabling conversion of RuntimeTerm
s to MetaTerm
s
toMetaTerm :: a -> MetaTerm Source #
Instances
ToMetaTerm MetaTerm Source # | |
Defined in Language.REST.MetaTerm toMetaTerm :: MetaTerm -> MetaTerm Source # | |
ToMetaTerm RuntimeTerm Source # | |
Defined in Language.REST.MetaTerm toMetaTerm :: RuntimeTerm -> MetaTerm Source # |