Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.MetaTerm

Documentation

data MetaTerm Source #

Constructors

Var String
RWApp Op [MetaTerm]

Instances

Instances details

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 #
Show MetaTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods showsPrec :: Int -> MetaTerm -> ShowS # show :: MetaTerm -> String # showList :: [MetaTerm] -> ShowS #
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 #
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.3.0-C58P8WPn3kHJiQCBn16Zwt" '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 #

Methods

toMetaTerm :: a -> MetaTerm Source #

Instances

Instances details

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

termOps :: ToMetaTerm a => a -> Set Op Source #