To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
-
comby
-
-
comby.configuration
-
comby.interactive
-
comby.patdiff
-
comby.patdiff_kernel
-
-
comby.pipeline
-
comby.statistics
Library
Module
Module type
Parameter
Class
Class type
Rewrite
Defines rewrite operations.
val all :
?source:string ->
?metasyntax:metasyntax ->
?external_handler:External.t ->
?fresh:(unit -> string) ->
?filepath:string ->
rewrite_template:string ->
match' list ->
replacement optionall source metasyntax external fresh rewrite_template matches substitutes rewrite_template with each match in matches to create a rewrite result. If source is specified, each rewrite result is substituted in-place in the source. If source is not specified, rewritten matches are newline-separated. If metasyntax is defined, the rewrite template will respect custom metasyntax definitions.
If the rewrite template contains the syntax :id(), then it is substituted with fresh values. fresh may be specified to supply custom fresh values. If not specified, fresh variables are generated in increasing rank starting with 1, and incremented. See substitute for more.
val substitute :
?metasyntax:metasyntax ->
?external_handler:External.t ->
?fresh:(unit -> string) ->
?filepath:string ->
string ->
Match.environment ->
stringsubstitute metasyntax external fresh template environment substitutes template with the variable and value pairs in the environment. It returns the result after substitution. If metasyntax is defined, the rewrite template will respect custom metasyntax definitions.
The syntax :id() is substituted with fresh values. If fresh is not specified, the default behavior substitutes :id() starting with 1, and subsequent :id() values increment the ID. If fresh is set, substitutes the pattern :id() with the value of fresh () as the hole is encountered, left to right. An experimental external callback is a general callback for handling external properties in the rewrite template.