Module `Myparser.Testdemo`Source

Sourceval dummy_loc : Ppxlib.Location.t

Sourcetype stream_item = Ppxlib.arg_label * Ppxlib.expression

Sourcetype 'a parse_result =

| Failed
| Parsed of 'a * stream_item list

Sourcetype 'a parser = stream_item list -> 'a parse_result

Sourceval return : 'a -> stream_item list -> 'a parse_result

Sourceval pnil : unit parser

val myparse : 
  ('a, 'b, 'c parse_result) Ppxlib.Ast_pattern.t ->
  'b ->
  'a ->
  'c parse_result

Sourceval args_end : unit parser

Sourceval named_string : string -> string parser

Sourceval name : string parser

Sourceval the_ident : string -> unit parser

Sourceval pident : string parser

Sourceval (>>=) : 'a parser -> ('a -> 'b parser) -> 'b parser

Sourceval many : 'a parser -> 'a list parser

Sourceval (>>) : 'a parser -> 'b parser -> 'b parser

Sourceval (<*) : 'a parser -> 'b parser -> 'a parser

Source

val (<|>) : 
  ('a -> 'b parse_result) ->
  ('a -> 'b parse_result) ->
  'a ->
  'b parse_result

Sourceval choice : ('a -> 'b parse_result) list -> 'a -> 'b parse_result

Source

val wrap : 
  ('a -> 'b parse_result) ->
  (stream_item list -> 'c parse_result) ->
  'a ->
  onfail:'d ->
  ('b -> 'c -> 'd) ->
  'd

Sourceval loc : Ppxlib.Location.t

Sourcetype prop_name = string

Sourceval pp_prop_name : Ppx_show_runtime.Format.formatter -> prop_name -> unit

Sourceval show_prop_name : prop_name -> string

Sourcetype prop_typ = string

Sourceval pp_prop_typ : Ppx_show_runtime.Format.formatter -> prop_typ -> unit

Sourceval show_prop_typ : prop_typ -> string

Sourcetype prop_info = {

mutable p_read : string option;
mutable p_write : string option;
mutable p_notify : string option;

}

Sourceval pp_prop_info : Ppx_show_runtime.Format.formatter -> prop_info -> unit

Sourceval show_prop_info : prop_info -> string

Sourceval make_prop_info : unit -> prop_info

Sourceval prop_head : Ppxlib.expression -> (prop_name * prop_typ) parse_result

Source

val try_ : 
  (stream_item list -> 'a parse_result) ->
  stream_item list ->
  'a option parse_result

Sourceval parse_body : prop_info parser

Source

val wrap_prop : 
  Ppxlib.expression ->
  ((prop_name * prop_typ) -> prop_info -> 'a) ->
  onfail:'a ->
  'a

Sourcetype info = {

mutable is_singleton : bool;
mutable name : string option;
mutable namespace : string option;
mutable props : (prop_name * prop_typ * prop_info) list;

}

Sourceval empty_info : info

Sourcetype prop_item = prop_name * prop_typ * prop_info

Sourceval pp_prop_item : Ppx_show_runtime.Format.formatter -> prop_item -> unit

Sourceval show_prop_item : prop_item -> string

Sourcetype data_item =

| ISingleton of bool
| IProp of prop_item
| IName of string
| INamespace of string

Sourceval pp_data_item : Ppx_show_runtime.Format.formatter -> data_item -> unit

Sourceval show_data_item : data_item -> string

Sourceval show_data_items : data_item list -> string

Sourceval parse_props : data_item parser

Sourceval all : info parser

Sourceval qmlargs : Ppxlib.expression -> unit parse_result

Sourceval singleton : Ppxlib.expression -> unit parse_result

Sourceval wrap_qml : Ppxlib.expression -> (info -> 'a) -> onfail:'a -> 'a

Sourceval wrap_singleton : Ppxlib.expression -> (info -> 'a) -> onfail:'a -> 'a

Sourceval parse_singleton : Ppxlib.expression -> info Base.Option.t

package lablqml

Module Myparser.TestdemoSource

Module `Myparser.Testdemo`Source