Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package ego
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
This module encodes patterns (for both matching and transformation) over Sexprs and is part of Ego.Basic's API for expressing syntactic rewrites.
val pp : Format.formatter -> t -> unitpp fmt s pretty prints the query s.
val show : t -> stringshow s converts the query s to a string
val of_sexp : Sexplib0.Sexp.t -> tof_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"]val to_sexp : t -> Sexplib0.Sexp.tto_sexp s converts a pattern back into an s-expression. This is idempotent with of_sexp.