Module `Trace_main.Config`

val version : string

val datadir : string

val libdir : string

val confdir : string

type 'a param

type !'a parser = string -> [ `Error of string | `Ok of 'a ]

type 'a converter

val converter : 
  'a parser ->
  (Format.formatter -> 'a -> unit) ->
  'a ->
  'a converter

val deprecated : string

val param : 
  'a converter ->
  ?deprecated:string ->
  ?default:'a ->
  ?as_flag:'a ->
  ?docv:string ->
  ?doc:string ->
  ?synonyms:string list ->
  string ->
  'a param

val param_all : 
  'a converter ->
  ?deprecated:string ->
  ?default:'a list ->
  ?as_flag:'a ->
  ?docv:string ->
  ?doc:string ->
  ?synonyms:string list ->
  string ->
  'a list param

val flag : 
  ?deprecated:string ->
  ?docv:string ->
  ?doc:string ->
  ?synonyms:string list ->
  string ->
  bool param

val determined : 'a param -> 'a Bap_future.Std.future

type reader = {

get : 'a. 'a param -> 'a;

}

val when_ready : (reader -> unit) -> unit

type manpage_block = [

| `I of string * string
| `Noblank
| `P of string
| `Pre of string
| `S of string

]

val manpage : manpage_block list -> unit

val bool : bool converter

val char : char converter

val int : int converter

val nativeint : nativeint converter

val int32 : int32 converter

val int64 : int64 converter

val float : float converter

val string : string converter

val enum : (string * 'a) list -> 'a converter

val doc_enum : ?quoted:bool -> (string * 'a) list -> string

val file : string converter

val dir : string converter

val non_dir_file : string converter

val list : ?sep:char -> 'a converter -> 'a list converter

val array : ?sep:char -> 'a converter -> 'a array converter

val pair : ?sep:char -> 'a converter -> 'b converter -> ('a * 'b) converter

val t2 : ?sep:char -> 'a converter -> 'b converter -> ('a * 'b) converter

val t3 : 
  ?sep:char ->
  'a converter ->
  'b converter ->
  'c converter ->
  ('a * 'b * 'c) converter

val t4 : 
  ?sep:char ->
  'a converter ->
  'b converter ->
  'c converter ->
  'd converter ->
  ('a * 'b * 'c * 'd) converter

val some : ?none:string -> 'a converter -> 'a option converter

Install

Dune Dependency

Authors

Maintainers

Sources

doc/bap-plugin-trace/Trace_main/Config/index.html

Module `Trace_main.Config`

package bap-trace

Install

Dune Dependency

Authors

Maintainers

Sources

doc/bap-plugin-trace/Trace_main/Config/index.html

Module Trace_main.Config

Module `Trace_main.Config`