Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Basic.Query
SourceThis module encodes patterns (for both matching and transformation) over Sexprs and is part of Ego.Basic
's API for expressing syntactic rewrites.
Encodes a pattern over S-expressions.
pp fmt s
pretty prints the query s
.
of_sexp s
builds a pattern from a s-expression
Note: Any atom prefixed with "?" will be treated as a pattern variable.
For example, the following pattern will match any multiplication expressions:
List [Atom "*"; Atom "?a"; Atom "?b"]