Module `Archetype.Gen_michelson`Source

Sourcemodule M = Model

Sourcemodule T = Michelson

Sourcemodule MapString : sig ... end

Sourceexception Anomaly of string

Sourceval complete_tree_entrypoints : bool

Sourceval with_macro : bool

Sourcetype error_desc =

| FieldNotFoundFor of string * string
| UnsupportedTerm of string
| StackEmptyDec
| StackIdNotFound of string * string list
| StackIdNotPopulated of string * string list
| NoConcreteImplementationFor of string
| TODO

Sourceval show_error_desc : error_desc -> Ppx_deriving_runtime.string

Sourceval pp_error_desc : Format.formatter -> error_desc -> unit

Sourceval emit_error : error_desc -> 'a

Sourceval is_rat : (M.ntype * 'a) -> bool

Sourceval is_ticket_type : M.model -> M.type_ -> bool

Sourceval get_fun_name : Archetype__Michelson.builtin -> Ident.ident

Sourceval operations : string

Sourceval fun_result : string

Sourceval mk_fannot : string -> string

Sourceval rar : T.type_ -> T.type_

Sourcetype env_ir = {

function_p : (Ident.ident * (Ident.ident * T.type_) list) option;

}

Sourceval remove_annot : T.type_ -> T.type_node T.with_annot

Sourceval shape_entrypoints : ('a -> 'a -> 'a) -> 'a -> 'a list -> 'a

Sourceval to_one_gen : 'a -> ('a -> 'a -> 'a) -> 'a list -> 'a

Sourceval to_one_type_or : T.type_ list -> T.type_

Sourceval to_one_nary_gen : 'a -> ('a list -> 'a) -> 'a list -> 'a

Sourceval to_one_type : T.type_ list -> T.type_

Sourceval to_one_data : T.data list -> T.data

Sourceval to_type : M.model -> ?annotation:Ident.ident -> M.type_ -> T.type_

Sourceval to_simple_data : M.model -> M.mterm -> T.data option

Sourceval to_ir : M.model -> T.ir

Sourceval data_map_bytes_nat : T.data list

Sourceval data_map_nat_bytes : T.data list

Sourceval map_implem : (string * T.code list) list

Sourceval concrete_michelson : T.builtin -> T.code

Sourcetype stack_item = {

id : string;
populated : bool;

}

Source

val pp_stack_item : 
  Ppx_deriving_runtime.Format.formatter ->
  stack_item ->
  Ppx_deriving_runtime.unit

Sourceval show_stack_item : stack_item -> Ppx_deriving_runtime.string

Sourcetype var_location =

| VLstorage
| VLargument
| VLlocal

Source

val pp_var_location : 
  Ppx_deriving_runtime.Format.formatter ->
  var_location ->
  Ppx_deriving_runtime.unit

Sourceval show_var_location : var_location -> Ppx_deriving_runtime.string

Sourcetype env = {

stack : stack_item list;
vars : (string * var_location) list;
fail : bool;

}

Source

val pp_env : 
  Ppx_deriving_runtime.Format.formatter ->
  env ->
  Ppx_deriving_runtime.unit

Sourceval show_env : env -> Ppx_deriving_runtime.string

Source

val process_debug : 
  ?decl_bound:T.decl_bound ->
  ?loc:Location.t ->
  env ->
  T.debug option

Source

val assign_last_seq_gen : 
  (T.debug option -> T.debug option) ->
  T.code list ->
  T.code list

Sourceval assign_last_seq : T.debug option -> T.code list -> T.code list

Source

val mk_env : 
  ?stack:stack_item list ->
  ?vars:(string * var_location) list ->
  unit ->
  env

Sourceval fail_env : env -> env

Sourceval inc_env : env -> env

Sourceval dec_env : env -> env

Sourceval add_var_env : env -> string -> env

Sourceval get_sp_for_id : env -> Tools.String.t -> int

Sourceval index_of_id_in_env : env -> Tools.String.t -> int

Sourceval rm_var_env : env -> Tools.String.t -> env

Sourceval populate_env : env -> Tools.String.t -> env

Sourceval dig_env : env -> Tools.String.t -> env

Sourceval dug_env : env -> Tools.String.t -> env

Sourceval get_pos_stack_item : env -> Tools.String.t -> int * stack_item

Sourceval print_env : ?str:string -> env -> Ppx_deriving_runtime.unit

Sourceval print_code : ?str:string -> T.code -> Ppx_deriving_runtime.unit

Sourceval instruction_to_code : env -> T.instruction -> T.code * env

Sourceval process_data : T.data -> T.data

Source

val build_view : 
  (Ident.ident * T.type_ * T.data) list ->
  T.func ->
  T.view_struct

Sourceval to_michelson : T.ir -> T.michelson

Sourceval generate_offchain_view : T.ir -> T.offchain_view list

package archetype

Module Archetype.Gen_michelsonSource

Module `Archetype.Gen_michelson`Source