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.2.2.tar.gz

md5=86fd3dcdaa792a5d871f695a082ad9b5

sha512=63af340d65f4ca37f00bee2a67c7a87822ef15c86051e6486c6eeb5d7fe310c845d4fff15625a72b48ceea89e14aff52dc678da1d43d2029f58b435885d568d8

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

Module `Language.Omega_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 (|>>) : 'a Angstrom.t -> ('a -> 'b) -> 'b Angstrom.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) ->
  ?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 Angstrom.t

Sourceval is_whitespace : char -> bool

Sourceval spaces : string Angstrom.t

Sourceval spaces1 : string Angstrom.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/Omega_rule/index.html

Module Language.Omega_ruleSource

Module `Language.Omega_rule`Source