lablqml 0.7 · OCaml Package

val dummy_loc : Ppxlib.Location.t

type stream_item = Ppxlib.arg_label * Ppxlib.expression

type 'a parse_result =

| Failed
| Parsed of 'a * stream_item list

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

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

val pnil : unit parser

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

val args_end : unit parser

val named_string : string -> string parser

val name : string parser

val the_ident : string -> unit parser

val pident : string parser

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

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

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

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

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

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

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

val loc : Ppxlib.Location.t

type prop_name = string

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

val show_prop_name : prop_name -> string

type prop_typ = string

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

val show_prop_typ : prop_typ -> string

type prop_info = {

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

}

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

val show_prop_info : prop_info -> string

val make_prop_info : unit -> prop_info

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

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

val parse_body : prop_info parser

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

type info = {

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

}

val empty_info : info

type prop_item = prop_name * prop_typ * prop_info

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

val show_prop_item : prop_item -> string

type data_item =

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

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

val show_data_item : data_item -> string

val show_data_items : data_item list -> string

val parse_props : data_item parser

val all : info parser

val qmlargs : Ppxlib.expression -> unit parse_result

val singleton : Ppxlib.expression -> unit parse_result

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

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

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

package lablqml