package archetype

  1. Overview
  2. Docs

Module Archetype.Gen_michelsonSource

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 =
  1. | FieldNotFoundFor of string * string
  2. | UnsupportedTerm of string
  3. | StackEmptyDec
  4. | StackIdNotFound of string * string list
  5. | NoConcreteImplementationFor of string
  6. | TODO
Sourceval pp_error_desc : Format.formatter -> error_desc -> unit
Sourceval emit_error : error_desc -> 'a
Sourceval is_rat : (M.ntype * 'a) -> 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 = {
  1. function_p : (Ident.ident * (Ident.ident * T.type_) list) option;
}
Sourceval shape_entrypoints : ('a -> 'a -> 'a) -> 'a -> 'a list -> 'a
Sourceval to_one_type : T.type_ list -> T.type_
Sourceval to_one_type_or : T.type_ list -> T.type_
Sourceval to_one_data : T.data list -> T.data
Sourceval to_one_gen : 'a -> ('a -> 'a -> 'a) -> 'a list -> 'a
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 map_implem : (string * T.code list) list
Sourceval concrete_michelson : Archetype__Michelson.builtin -> T.code
Sourcetype env = {
  1. vars : Ident.ident list;
  2. fail : bool;
}
Sourceval mk_env : ?vars:Ident.ident list -> unit -> env
Sourceval fail_env : env -> env
Sourceval inc_env : env -> env
Sourceval dec_env : env -> env
Sourceval add_var_env : env -> Ident.ident -> env
Sourceval get_sp_for_id : env -> Tools.String.t -> int
Sourceval head_env : env -> Tools.String.t -> env
Sourceval print_env : ?str:string -> env -> Ppx_deriving_runtime.unit
Sourceval instruction_to_code : env -> T.instruction -> T.code * env
Sourceval process_data : T.data -> T.data
Sourceval 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