Program (mavkit-protocol-alpha-libs.Mavryk_client_alpha.Client_proto

type t =
  Michelson_v1_parser.parsed Mavryk_micheline.Micheline_parser.parsing_result

type fresh_param

val encoding : t Mavryk_base.TzPervasives.Data_encoding.t

val load : 
  Mavryk_client_base.Client_context.wallet ->
  (string * t) list Mavryk_base.TzPervasives.tzresult Lwt.t

val set : 
  Mavryk_client_base.Client_context.wallet ->
  (string * t) list ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val find : 
  Mavryk_client_base.Client_context.wallet ->
  string ->
  t Mavryk_base.TzPervasives.tzresult Lwt.t

val find_opt : 
  Mavryk_client_base.Client_context.wallet ->
  string ->
  t option Mavryk_base.TzPervasives.tzresult Lwt.t

val rev_find : 
  Mavryk_client_base.Client_context.wallet ->
  t ->
  string option Mavryk_base.TzPervasives.tzresult Lwt.t

val rev_find_all : 
  Mavryk_client_base.Client_context.wallet ->
  t ->
  string list Mavryk_base.TzPervasives.tzresult Lwt.t

val name : 
  Mavryk_client_base.Client_context.wallet ->
  t ->
  string Mavryk_base.TzPervasives.tzresult Lwt.t

val mem : 
  Mavryk_client_base.Client_context.wallet ->
  string ->
  bool Mavryk_base.TzPervasives.tzresult Lwt.t

val add : 
  force:bool ->
  Mavryk_client_base.Client_context.wallet ->
  string ->
  t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val add_many : 
  Mavryk_client_base.Client_context.wallet ->
  (string * t) list ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

Similar to repeated calls to add, but more efficient. Always forces addition of new elements.

val del : 
  Mavryk_client_base.Client_context.wallet ->
  string ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val update : 
  Mavryk_client_base.Client_context.wallet ->
  string ->
  t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val of_source : string -> t Mavryk_base.TzPervasives.tzresult Lwt.t

val to_source : t -> string Mavryk_base.TzPervasives.tzresult Lwt.t

val alias_parameter : 
  unit ->
  (string * t, Mavryk_client_base.Client_context.wallet) Mavryk_clic.parameter

val alias_param : 
  ?name:string ->
  ?desc:string ->
  ('a, Mavryk_client_base.Client_context.wallet as 'b) Mavryk_clic.params ->
  ((string * t) -> 'a, 'b) Mavryk_clic.params

val aliases_param : 
  ?name:string ->
  ?desc:string ->
  ('a, Mavryk_client_base.Client_context.wallet as 'b) Mavryk_clic.params ->
  ((string * t) list -> 'a, 'b) Mavryk_clic.params

val fresh_alias_param : 
  ?name:string ->
  ?desc:string ->
  ('a, < .. > as 'obj) Mavryk_clic.params ->
  (fresh_param -> 'a, 'obj) Mavryk_clic.params

val force_switch : unit -> (bool, _) Mavryk_clic.arg

val of_fresh : 
  Mavryk_client_base.Client_context.wallet ->
  bool ->
  fresh_param ->
  string Mavryk_base.TzPervasives.tzresult Lwt.t

val parse_source_string : 
  Mavryk_client_base.Client_context.wallet ->
  string ->
  t Mavryk_base.TzPervasives.tzresult Lwt.t

val source_param : 
  ?name:string ->
  ?desc:string ->
  ('a, Mavryk_client_base.Client_context.wallet as 'obj) Mavryk_clic.params ->
  (t -> 'a, 'obj) Mavryk_clic.params

val source_arg : 
  ?long:string ->
  ?placeholder:string ->
  ?doc:string ->
  unit ->
  (t option, Mavryk_client_base.Client_context.wallet as 'obj) Mavryk_clic.arg

val autocomplete : 
  Mavryk_client_base.Client_context.wallet ->
  string list Mavryk_base.TzPervasives.tzresult Lwt.t