Module `Rule.Make`Source

Parameters

module Metasyntax : sig ... end

module External : sig ... end

Signature

Sourcemodule Template : sig ... end

Sourceval is_whitespace : char -> bool

Sourceval spaces : string Vangstrom.t

Sourceval spaces1 : string Vangstrom.t

Sourceval alphanum : char Vangstrom.t

Sourceval to_atom : string -> Matchers__.Types.Ast.atom

Sourceval char_token_s : string Vangstrom.t

Interpret escape sequences inside quotes

Sourceval quote : string -> string Vangstrom.t

With escape sequences

Sourceval raw : string -> string Vangstrom.t

Sourceval quoted_parser : string Vangstrom.t

Sourceval map_special : Core_kernel.String.t -> Matchers__.Types.Ast.atom

Sourceval up_to : 'a Vangstrom.t -> char list Vangstrom.t

Sourceval atom_up_to_spaces : unit -> Matchers__.Types.Ast.atom Vangstrom.t

Sourceval atom_up_to_terminal : unit -> Matchers__.Types.Ast.atom Vangstrom.t

Sourceval antecedent_parser : unit -> Matchers__.Types.Ast.atom Vangstrom.t

Sourceval value_to_open_brace : unit -> Matchers__.Types.Ast.atom Vangstrom.t

Sourceval value_to_comma : unit -> Matchers__.Types.Ast.atom Vangstrom.t

Sourceval rewrite_consequent_parser : unit -> Matchers__.Types.Ast.atom Vangstrom.t

Sourceval operator_parser : string Vangstrom.t

Source

val make_equality_expression : 
  Matchers__.Types.Ast.atom ->
  Core_kernel.String.t ->
  Matchers__.Types.Ast.atom ->
  Matchers__.Types.Ast.expression

Sourceval optional_trailing : Core_kernel.Char.t -> unit Vangstrom.t

Sourceval option_parser : Matchers__.Types.Ast.expression Vangstrom.t

Sourceval true' : Matchers__.Types.Ast.expression Vangstrom.t

Sourceval false' : Matchers__.Types.Ast.expression Vangstrom.t

Sourceval compare_parser : Matchers__.Types.Ast.expression Vangstrom.t

Source

val make_rewrite_expression : 
  Matchers__.Types.Ast.atom ->
  Matchers__.Types.Ast.atom ->
  Matchers__.Types.Ast.atom ->
  Matchers__.Types.Ast.expression

Sourceval rewrite_pattern_parser : Matchers__.Types.Ast.expression Vangstrom.t

rewrite <atom> <atom> -> <atom>

Source

val match_arrow_parser : 
  'a Vangstrom.t ->
  (Matchers__.Types.Ast.atom * 'a list) Vangstrom.t

<atom> -> atom , <expr>, ,

Source

val first_case_parser : 
  'a Vangstrom.t ->
  (Matchers__.Types.Ast.atom * 'a list) Vangstrom.t

| <match_arrow>

Source

val case_parser : 
  'a Vangstrom.t ->
  (Matchers__.Types.Ast.atom * 'a list) Vangstrom.t

| <match_arrow>

Source

val case_block : 
  'a Vangstrom.t ->
  (Matchers__.Types.Ast.atom * 'a list) list Vangstrom.t

| <match_arrow> | <match_arrow>

Source

val match_pattern_parser : 
  Matchers__.Types.Ast.expression Vangstrom.t ->
  Matchers__.Types.Ast.expression Vangstrom.t

match <atom> <case_parser>

Sourceval expression_parser : Matchers__.Types.Ast.expression Vangstrom.t

Sourceval parse : Matchers__.Types.Ast.expression list Vangstrom.t

where <expression> ,

Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/comby-kernel.matchers/Matchers/Rule/Make/index.html

Module `Rule.Make`Source

Parameters

Signature

package comby-kernel

Install

Dune Dependency

Authors

Maintainers

Sources

doc/comby-kernel.matchers/Matchers/Rule/Make/index.html

Module Rule.MakeSource

Parameters

Signature

Module `Rule.Make`Source