package comby

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

Dune Dependency

github.com Readme Edit opam file Versions (5)

Authors

R

Rijnard van Tonder

Maintainers

R

rvantonder@gmail.com

Sources

1.3.0.tar.gz

md5=617a80e8673c3f811403f09701c08a25

sha512=2f8f82c119210ae0efd7f3eefdd992d6b52655575233dfab74662d9a9854ce4aafcd4fe01dad17ba310e38f28ee1437be2f3c4af4f6952a97bb19e1400fc709a

doc/comby.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;

}

Source

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

Source

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

Source

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

package comby

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Language.Alpha_ruleSource

Module `Language.Alpha_rule`Source