package comby-kernel

  1. Overview
  2. Docs
package comby-kernel
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
val quote : string -> string Vangstrom.t
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
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
val match_arrow_parser : 'a Vangstrom.t -> (Matchers__.Types.Ast.atom * 'a list) Vangstrom.t
val first_case_parser : 'a Vangstrom.t -> (Matchers__.Types.Ast.atom * 'a list) Vangstrom.t
val case_parser : 'a Vangstrom.t -> (Matchers__.Types.Ast.atom * 'a list) Vangstrom.t
val case_block : 'a Vangstrom.t -> (Matchers__.Types.Ast.atom * 'a list) list Vangstrom.t
val match_pattern_parser : Matchers__.Types.Ast.expression Vangstrom.t -> Matchers__.Types.Ast.expression Vangstrom.t
val expression_parser : Matchers__.Types.Ast.expression Vangstrom.t
val parse : Matchers__.Types.Ast.expression list Vangstrom.t
val create : string -> (Matchers__.Types.Ast.expression list, Core_kernel.Error.t) Core_kernel._result