package comby-kernel

  1. Overview
  2. Docs
package comby-kernel
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Metasyntax : sig ... end
module External : sig ... end

Signature

module Template : sig ... end
val is_whitespace : char -> bool
val spaces : string Vangstrom.t
val spaces1 : string Vangstrom.t
val alphanum : char Vangstrom.t
val to_atom : string -> Matchers__.Types.Ast.atom
val char_token_s : string Vangstrom.t

Interpret escape sequences inside quotes

val quote : string -> string Vangstrom.t

With escape sequences

val raw : string -> string Vangstrom.t
val quoted_parser : string Vangstrom.t
val map_special : Core_kernel.String.t -> Matchers__.Types.Ast.atom
val up_to : 'a Vangstrom.t -> char list Vangstrom.t
val atom_up_to_spaces : unit -> Matchers__.Types.Ast.atom Vangstrom.t
val atom_up_to_terminal : unit -> Matchers__.Types.Ast.atom Vangstrom.t
val antecedent_parser : unit -> Matchers__.Types.Ast.atom Vangstrom.t
val value_to_open_brace : unit -> Matchers__.Types.Ast.atom Vangstrom.t
val value_to_comma : unit -> Matchers__.Types.Ast.atom Vangstrom.t
val rewrite_consequent_parser : unit -> Matchers__.Types.Ast.atom Vangstrom.t
val operator_parser : string Vangstrom.t
val make_equality_expression : Matchers__.Types.Ast.atom -> Core_kernel.String.t -> Matchers__.Types.Ast.atom -> Matchers__.Types.Ast.expression
val optional_trailing : Core_kernel.Char.t -> unit Vangstrom.t
val option_parser : Matchers__.Types.Ast.expression Vangstrom.t
val true' : Matchers__.Types.Ast.expression Vangstrom.t
val false' : Matchers__.Types.Ast.expression Vangstrom.t
val compare_parser : Matchers__.Types.Ast.expression Vangstrom.t

<atom> ==, != <atom>

val make_rewrite_expression : Matchers__.Types.Ast.atom -> Matchers__.Types.Ast.atom -> Matchers__.Types.Ast.atom -> Matchers__.Types.Ast.expression
val rewrite_pattern_parser : Matchers__.Types.Ast.expression Vangstrom.t

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

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

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

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

| <match_arrow>

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

| <match_arrow>

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

| <match_arrow> | <match_arrow>

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

match <atom> <case_parser>

val expression_parser : Matchers__.Types.Ast.expression Vangstrom.t
val parse : Matchers__.Types.Ast.expression list Vangstrom.t

where <expression> ,

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