Constructor index (API)

[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]

Constructor index


A
alt(ATerm , ATerm ) n/a signature.str
amb(ATerm ) n/a signature.str
appl(ATerm , ATerm ) n/a signature.str
AsFix2(ATerm ) n/a config.str
AsFix2ME(ATerm ) n/a config.str
assoc(ATerm ) n/a signature.str
assoc(ATerm ) n/a signature.str
AssociativityFilter(ATerm ) n/a filter.str
ast(ATerm ) n/a constructor.str
attrs(ATerm ) n/a signature.str
avoid(ATerm ) n/a signature.str
B
bracket(ATerm ) n/a signature.str
C
cf(ATerm ) n/a signature.str
char(ATerm ) n/a signature.str
char-class(ATerm ) n/a signature.str
character(ATerm ) n/a signature.str
cilit(ATerm ) n/a signature.str
Comment(ATerm ) n/a anno.str
Conc(ATerm , ATerm ) n/a conc.str
Conc(ATerm , ATerm , ATerm ) n/a conc.str
cons(ATerm ) n/a signature.str
D
DirectEagernessFilter(ATerm ) n/a filter.str
E
EagernessFilter(ATerm ) n/a filter.str
empty(ATerm ) n/a signature.str
F
FromApp(ATerm ) n/a markers.str
FromMetaExpr(ATerm ) n/a markers.str
FromMetaListExpr(ATerm ) n/a markers.str
FromStrategy(ATerm ) n/a markers.str
FromTerm(ATerm ) n/a markers.str
func(ATerm , ATerm ) n/a signature.str
I
InjectionCountFilter(ATerm ) n/a filter.str
Ins(ATerm ) n/a conc.str
iter(ATerm ) n/a signature.str
iter-sep(ATerm , ATerm ) n/a signature.str
iter-star(ATerm ) n/a signature.str
iter-star-sep(ATerm , ATerm ) n/a signature.str
L
layout(ATerm ) n/a layout.str
layout(ATerm ) n/a signature.str
left(ATerm ) n/a signature.str
lex(ATerm ) n/a signature.str
list(ATerm ) n/a signature.str
lit(ATerm ) n/a signature.str
lit(ATerm ) n/a signature.str
Location(ATerm , ATerm , ATerm , ATerm ) n/a anno.str
M
meta-listvar(ATerm ) n/a markers.str
meta-var(ATerm ) n/a markers.str
N
no-attrs(ATerm ) n/a signature.str
non-assoc(ATerm ) n/a signature.str
O
opt(ATerm ) n/a signature.str
P
parametrized-sort(ATerm , ATerm ) n/a signature.str
ParseTable(ATerm ) n/a parse-table.str
parsetree(ATerm , ATerm ) n/a signature.str
prefer(ATerm ) n/a signature.str
PriorityFilter(ATerm ) n/a filter.str
prod(ATerm , ATerm , ATerm ) n/a signature.str
R
range(ATerm , ATerm ) n/a signature.str
reject(ATerm ) n/a signature.str
RejectFilter(ATerm ) n/a filter.str
right(ATerm ) n/a signature.str
S
seq(ATerm ) n/a tuple.str
seq(ATerm , ATerm ) n/a signature.str
Snoc(ATerm , ATerm ) n/a conc.str
sort(ATerm ) n/a signature.str
strategy(ATerm , ATerm ) n/a signature.str
T
term(ATerm ) n/a signature.str
ToBuild(ATerm ) n/a markers.str
ToMetaExpr(ATerm ) n/a markers.str
ToMetaListExpr(ATerm ) n/a markers.str
ToStrategy(ATerm ) n/a markers.str
ToTerm(ATerm ) n/a markers.str
tuple(ATerm , ATerm ) n/a signature.str
V
varsym(ATerm ) n/a signature.str