Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.MetaTerm

Synopsis

data MetaTerm
- = Var String
- | RWApp Op [MetaTerm]
class ToMetaTerm a where
- toMetaTerm :: a -> MetaTerm

Documentation

data MetaTerm Source #

A MetaTerm is a term with variables; used for Rewrite rules

Constructors

Var String
RWApp Op [MetaTerm]

Instances

Instances details

IsString MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods fromString :: String -> MetaTerm #
Generic MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm Associated Types type Rep MetaTerm :: Type -> Type # Methods from :: MetaTerm -> Rep MetaTerm x # to :: Rep MetaTerm x -> MetaTerm #
Show MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods showsPrec :: Int -> MetaTerm -> ShowS # show :: MetaTerm -> String # showList :: [MetaTerm] -> ShowS #
Eq MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods (==) :: MetaTerm -> MetaTerm -> Bool # (/=) :: MetaTerm -> MetaTerm -> Bool #
Ord MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods compare :: MetaTerm -> MetaTerm -> Ordering # (<) :: MetaTerm -> MetaTerm -> Bool # (<=) :: MetaTerm -> MetaTerm -> Bool # (>) :: MetaTerm -> MetaTerm -> Bool # (>=) :: MetaTerm -> MetaTerm -> Bool # max :: MetaTerm -> MetaTerm -> MetaTerm # min :: MetaTerm -> MetaTerm -> MetaTerm #
Hashable MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods hashWithSalt :: Int -> MetaTerm -> Int # hash :: MetaTerm -> Int #
ToMetaTerm MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods toMetaTerm :: MetaTerm -> MetaTerm Source #
type Rep MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm type Rep MetaTerm = D1 ('MetaData "MetaTerm" "Language.REST.MetaTerm" "rest-rewrite-0.4.1-nnmMncO1JP25mfUNet9Kl" '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 RuntimeTerms to MetaTerms

Methods

toMetaTerm :: a -> MetaTerm Source #

Instances

Instances details

ToMetaTerm MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods toMetaTerm :: MetaTerm -> MetaTerm Source #
ToMetaTerm RuntimeTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods toMetaTerm :: RuntimeTerm -> MetaTerm Source #