package comby

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Rule

package comby

comby
- Comby
  - Match
    
    Environment
    
    Location
    
    Range
  - Matchers
    
    Alpha
    
    Assembly
    
    Bash
    
    C
    
    CSS
    
    C_nested_comments
    
    Clojure
    
    Coq
    
    Csharp
    
    Dart
    
    Dhall
    
    Dyck
    
    Elixir
    
    Elm
    
    Erlang
    
    Fortran
    
    Fsharp
    
    Generic
    
    Go
    
    GraphQL
    
    Haskell
    
    Html
    
    JSON
    
    JSONC
    
    Java
    
    Javascript
    
    Jsx
    
    Julia
    
    Kotlin
    
    Latex
    
    Lisp
    
    Move
    
    Nim
    
    OCaml
    
    Paren
    
    Pascal
    
    Php
    
    Python
    
    Reason
    
    Ruby
    
    Rust
    
    SQL
    
    Scala
    
    Solidity
    
    Swift
    
    Text
    
    Tsx
    
    Typescript
    
    Xml
    
    Zig
    
    Configuration
    
    Hole
    
    Matcher
    
    S
    
    Metasyntax
    
    S
    
    Syntax
    
    S
  - Pipeline
    
    Specification
  - Replacement
  - Rewrite
  - Rule
comby.camlzip
- Camlzip
  - Gzip
  - Zip
  - Zlib
comby.configuration
- Configuration
comby.interactive
- Interactive
  - Diff
comby.patdiff
- Patdiff
  - Compare_core
  - Configuration
    
    On_disk
    
    V0
    
    V1
  - Patdiff_core
  - Private
comby.patdiff_kernel
- Patdiff_kernel
  - Ansi_output
    
    Rule
  - Ascii_output
    
    Rule
  - Comparison_result
  - Configuration
    
    Fields
    
    Direct
    
    Private
  - Diff_input
    
    Fields
    
    Direct
  - File_name
  - Float_tolerance
  - Format
    
    Color
    
    Gray24
    
    Map
    
    Key
    
    Provide_hash
    
    Provide_of_sexp
    
    Key
    
    Tree
    
    Provide_of_sexp
    
    K
    
    RGB6
    
    Set
    
    Elt
    
    Named
    
    Provide_hash
    
    Provide_of_sexp
    
    Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    Elt
    
    Location_style
    
    Rule
    
    Affix
    
    Rules
    
    Style
    
    Map
    
    Key
    
    Provide_hash
    
    Provide_of_sexp
    
    Key
    
    Tree
    
    Provide_of_sexp
    
    K
    
    Set
    
    Elt
    
    Named
    
    Provide_hash
    
    Provide_of_sexp
    
    Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    Elt
  - Html_output
    
    Private
    
    Make
    
    Mtime
    
    Rule
    
    Without_mtime
    
    Rule
  - Hunks
  - Import
  - Is_binary
  - Output
    
    S
    
    Rule
  - Patdiff_core
    
    Private
    
    Make
    
    Output_impls
    
    S
    
    Without_unix
  - Should_keep_whitespace
comby.pipeline
- Pipeline
comby.statistics
- Statistics
  - Time

Legend:
Library
Module
Module type
Parameter
Class
Class type

Rule

Defines types and operations for match rules.

type t

type result

val sat : result -> bool

sat result returns true if a result of a rule is satisfied.

val result_env : result -> Match.environment option

result_env returns a match environment associated with a rule result.

val create : string -> t Core.Or_error.t

create parses and creates a rule.

val apply : 
  ?matcher:(module Matchers.Matcher.S) ->
  ?substitute_in_place:bool ->
  ?fresh:(unit -> string) ->
  t ->
  Match.environment ->
  result

apply matcher substitute_in_place fresh rule env applies a rule according to some matcher for existing matches in env. If substitute_in_place is true, rewrite rules substitute their values in place (default true). fresh introduces fresh variables for evaluating rules.