Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.RuntimeTerm

Synopsis

data RuntimeTerm = App Op [RuntimeTerm]
class ToRuntimeTerm a where
- toRuntimeTerm :: a -> RuntimeTerm
subTerms :: RuntimeTerm -> [(RuntimeTerm, RuntimeTerm -> RuntimeTerm)]
contains :: RuntimeTerm -> RuntimeTerm -> Bool

Documentation

data RuntimeTerm Source #

Ground terms

Constructors

App Op [RuntimeTerm]

Instances

Instances details

Generic RuntimeTerm Source #
Instance details Defined in Language.REST.RuntimeTerm Associated Types type Rep RuntimeTerm :: Type -> Type # Methods from :: RuntimeTerm -> Rep RuntimeTerm x # to :: Rep RuntimeTerm x -> RuntimeTerm #
Show RuntimeTerm Source #
Instance details Defined in Language.REST.RuntimeTerm Methods showsPrec :: Int -> RuntimeTerm -> ShowS # show :: RuntimeTerm -> String # showList :: [RuntimeTerm] -> ShowS #
Eq RuntimeTerm Source #
Instance details Defined in Language.REST.RuntimeTerm Methods (==) :: RuntimeTerm -> RuntimeTerm -> Bool # (/=) :: RuntimeTerm -> RuntimeTerm -> Bool #
Ord RuntimeTerm Source #
Instance details 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 #
Hashable RuntimeTerm Source #
Instance details Defined in Language.REST.RuntimeTerm Methods hashWithSalt :: Int -> RuntimeTerm -> Int # hash :: RuntimeTerm -> Int #
ToMetaTerm RuntimeTerm Source #
Instance details Defined in Language.REST.MetaTerm Methods toMetaTerm :: RuntimeTerm -> MetaTerm Source #
ToRuntimeTerm RuntimeTerm Source #
Instance details Defined in Language.REST.RuntimeTerm Methods toRuntimeTerm :: RuntimeTerm -> RuntimeTerm Source #
Monad m => RewriteRule m Rewrite RuntimeTerm Source #
Instance details Defined in Language.REST.Internal.Rewrite Methods apply :: RuntimeTerm -> Rewrite -> m (HashSet RuntimeTerm) Source #
type Rep RuntimeTerm Source #
Instance details Defined in Language.REST.RuntimeTerm type Rep RuntimeTerm = D1 ('MetaData "RuntimeTerm" "Language.REST.RuntimeTerm" "rest-rewrite-0.4.3-L4CHsmDzf4PMYNf7CqgfF" '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 Source #

Transformable to a ground term

Methods

toRuntimeTerm :: a -> RuntimeTerm Source #

Instances

Instances details

ToRuntimeTerm Op Source #
Instance details Defined in Language.REST.RuntimeTerm Methods toRuntimeTerm :: Op -> RuntimeTerm Source #
ToRuntimeTerm RuntimeTerm Source #
Instance details Defined in Language.REST.RuntimeTerm Methods toRuntimeTerm :: RuntimeTerm -> RuntimeTerm Source #

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

subTerms t returns a list of pairs (s, f), where s is a subterm of t, and f is a function that takes a replacement s' for s, and generates a new term where s is replaced with s' in t. Also includes the pair (t, id), representing the term itself. TODO: Consider more efficient implementations

contains :: RuntimeTerm -> RuntimeTerm -> Bool Source #

t contains u iff t == u or u is a subterm of t