package comby-kernel

You can search for identifiers within the package.

in-package search v0.2.0

A match engine for structural code search and replace that supports ~every language

Install

Dune Dependency

github.com Readme Edit opam file Versions (2)

Authors

R

Rijnard van Tonder

Maintainers

R

rvantonder@gmail.com

Sources

1.4.1.tar.gz

md5=cd732f90664bc686eaa1134f42c8f7cd

sha512=81c7cd1d70cddee4d1679710a95c50d22f8dc60e48f24554009a5f944eb23e9124ca9aa99357b9879a5a60ca2dbcf976011f53afb442a7f15642e509255a0326

doc/comby-kernel.language/Language/Alpha_rule/index.html

Module `Language.Alpha_rule`Source

Sourcemodule Configuration = Matchers.Configuration

Sourcetype t = Ast.t

Sourcetype result = bool * Match.environment option

Sourcetype options = Options.t

Sourceval options : Ast.t -> Options.t

Sourceval sat : ('a * 'b) -> 'a

Sourceval result_env : ('a * 'b) -> 'b

Sourceval match_configuration_of_syntax : string -> Configuration.t

Source

val merge_match_environments : 
  Match.t list ->
  Match.Environment.t ->
  Match.Environment.t list

Sourcetype rewrite_context = {

variable : string;

}

Sourceval counter : unit -> string

Source

val apply : 
  ?matcher:(module Matchers.Matcher.S) ->
  ?substitute_in_place:bool ->
  ?fresh:(unit -> string) ->
  Ast.expression list ->
  Match.Environment.t ->
  bool * Match.Environment.t option

Source

val make_equality_expression : 
  Core_kernel.String.t ->
  Ast.atom ->
  Ast.atom ->
  (Ast.expression, 'a) MParser.t

Source

val create : 
  string ->
  (Ast.expression list, Core_kernel.Error.t) Core_kernel._result

package comby-kernel

Install

Dune Dependency

Authors

Maintainers

Sources

doc/comby-kernel.language/Language/Alpha_rule/index.html

Module Language.Alpha_ruleSource

Module `Language.Alpha_rule`Source