Language.REST.RuntimeTerm

Documentation

data RuntimeTerm

Constructors

App Op [RuntimeTerm]

Instances

Eq RuntimeTerm

Defined in Language.REST.RuntimeTerm

Methods

(==) :: RuntimeTerm -> RuntimeTerm -> Bool

(/=) :: RuntimeTerm -> RuntimeTerm -> Bool

Ord RuntimeTerm

Defined in Language.REST.RuntimeTerm

Methods

compare :: RuntimeTerm -> RuntimeTerm -> Ordering

(<) :: RuntimeTerm -> RuntimeTerm -> Bool

(<=) :: RuntimeTerm -> RuntimeTerm -> Bool

(>) :: RuntimeTerm -> RuntimeTerm -> Bool

(>=) :: RuntimeTerm -> RuntimeTerm -> Bool

max :: RuntimeTerm -> RuntimeTerm -> RuntimeTerm

min :: RuntimeTerm -> RuntimeTerm -> RuntimeTerm

Show RuntimeTerm

Defined in Language.REST.RuntimeTerm

Methods

showsPrec :: Int -> RuntimeTerm -> ShowS

show :: RuntimeTerm -> String

showList :: [RuntimeTerm] -> ShowS

Generic RuntimeTerm

Defined in Language.REST.RuntimeTerm

Associated Types

type Rep RuntimeTerm :: Type -> Type

Methods

from :: RuntimeTerm -> Rep RuntimeTerm x

to :: Rep RuntimeTerm x -> RuntimeTerm

Hashable RuntimeTerm

Defined in Language.REST.RuntimeTerm

Methods

hashWithSalt :: Int -> RuntimeTerm -> Int

hash :: RuntimeTerm -> Int

ToRuntimeTerm RuntimeTerm

Defined in Language.REST.RuntimeTerm

Methods

toRuntimeTerm :: RuntimeTerm -> RuntimeTerm

ToMetaTerm RuntimeTerm

Defined in Language.REST.MetaTerm

Methods

toMetaTerm :: RuntimeTerm -> MetaTerm

Monad m => RewriteRule m Rewrite RuntimeTerm

Defined in Language.REST.Internal.Rewrite

Methods

apply :: RuntimeTerm -> Rewrite -> m (HashSet RuntimeTerm)

type Rep RuntimeTerm

Defined in Language.REST.RuntimeTerm

type Rep RuntimeTerm = D1 ('MetaData "RuntimeTerm" "Language.REST.RuntimeTerm" "rest-rewrite-0.3.0-C58P8WPn3kHJiQCBn16Zwt" 'False) (C1 ('MetaCons "App" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Op) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RuntimeTerm])))

class ToRuntimeTerm a where

Methods

toRuntimeTerm :: a -> RuntimeTerm

Instances

ToRuntimeTerm Op

Defined in Language.REST.RuntimeTerm

Methods

toRuntimeTerm :: Op -> RuntimeTerm

ToRuntimeTerm RuntimeTerm

Defined in Language.REST.RuntimeTerm

Methods

toRuntimeTerm :: RuntimeTerm -> RuntimeTerm

subTerms :: RuntimeTerm -> [(RuntimeTerm, RuntimeTerm -> RuntimeTerm)]