package comby-kernel

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

Module Rule.MakeSource

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
Sourceval 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

<atom> ==, != <atom>

Sourceval 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>

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

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

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

| <match_arrow>

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

| <match_arrow>

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

| <match_arrow> | <match_arrow>

Sourceval 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> ,

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

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct