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/src/comby-kernel.language/ast.ml.html

Source file `ast.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
open Core_kernel

type atom =
  | Variable of string
  | String of string
[@@deriving sexp]

type antecedent = atom
[@@deriving sexp]

type expression =
  | True
  | False
  | Option of string
  | Equal of atom * atom
  | Not_equal of atom * atom
  | Match of atom * (antecedent * consequent) list
  | RewriteTemplate of string
  | Rewrite of atom * (antecedent * expression)
and consequent = expression list
[@@deriving sexp]

let (=) left right = Equal (left, right)

let (<>) left right = Not_equal (left, right)

type t = expression list
[@@deriving sexp]

package comby-kernel

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/comby-kernel.language/ast.ml.html

Source file ast.ml

Source file `ast.ml`