Language.Grammars.AspectAG

Rules

type Att att val

data Fam l ho c p

type Chi ch atts

type Rule lf hof sc ip l ho ic sp l' ho' ic' sp'

emptyRule

instdef

locdef

inhdef

syndef

inhmod

synmod

inhupd

synupd

Monadic

class At l m v

lhs

loc

def

instdefM

locdefM

inhdefM

syndefM

inh

syn

inhmodM

synmodM

inhupdM

synupdM

Rules Composition

ext

adapt

rename

mapChildren

fixCst

graft

agMacro

(~~>)

(==>)

(-->)

(<.>)

ignore

noChild

withChild

withChildAtt

Aspects

type Prd prd rule

(.+.)

Semantic Functions

sem_Lit

knit

class SemType t nt

Common Patterns

copy

use

chain

Defining Aspects

inhAspect

synAspect

chnAspect

attAspect

defAspect

class Defs att nts vals ic ic'

Others

class ListNT nt tHd tTl