package tezos-protocol-007-PsDELPH1
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Script_ir_translator/index.html
Module Tezos_raw_protocol_007_PsDELPH1.Script_ir_translatorSource
Source
type ex_comparable_ty = | Ex_comparable_ty : 'a Script_typed_ir.comparable_ty -> ex_comparable_ty
Source
type ('arg, 'storage) code = {code : (('arg, 'storage) Script_typed_ir.pair, (Script_typed_ir.operation Script_typed_ir.boxed_list, 'storage) Script_typed_ir.pair) Script_typed_ir.lambda;arg_type : 'arg Script_typed_ir.ty;storage_type : 'storage Script_typed_ir.ty;root_name : Script_typed_ir.field_annot option;
}Source
type tc_context = | Lambda : tc_context| Dip : 'a Script_typed_ir.stack_ty * tc_context -> tc_context| Toplevel : {storage_type : 'sto Script_typed_ir.ty;param_type : 'param Script_typed_ir.ty;root_name : Script_typed_ir.field_annot option;legacy_create_contract_literal : bool;
} -> tc_context
Source
type 'bef judgement = | Typed : ('bef, 'aft) Script_typed_ir.descr -> 'bef judgement| Failed : {descr : 'aft. 'aft Script_typed_ir.stack_ty -> ('bef, 'aft) Script_typed_ir.descr;
} -> 'bef judgement
Source
type type_logger =
int ->
(Alpha_context.Script.expr * Alpha_context.Script.annot) list ->
(Alpha_context.Script.expr * Alpha_context.Script.annot) list ->
unitSource
val set_size :
'elt Script_typed_ir.set ->
Alpha_context.Script_int.n Alpha_context.Script_int.numSource
val map_fold :
('key -> 'value -> 'acc -> 'acc) ->
('key, 'value) Script_typed_ir.map ->
'acc ->
'accSource
val map_update :
'a ->
'b option ->
('a, 'b) Script_typed_ir.map ->
('a, 'b) Script_typed_ir.mapSource
val map_size :
('a, 'b) Script_typed_ir.map ->
Alpha_context.Script_int.n Alpha_context.Script_int.numSource
val empty_big_map :
'a Script_typed_ir.comparable_ty ->
'b Script_typed_ir.ty ->
('a, 'b) Script_typed_ir.big_mapSource
val big_map_mem :
Alpha_context.context ->
'key ->
('key, 'value) Script_typed_ir.big_map ->
(bool * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val big_map_get :
Alpha_context.context ->
'key ->
('key, 'value) Script_typed_ir.big_map ->
('value option * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val big_map_update :
'key ->
'value option ->
('key, 'value) Script_typed_ir.big_map ->
('key, 'value) Script_typed_ir.big_mapSource
val ty_eq :
Alpha_context.context ->
Alpha_context.Script.location ->
'ta Script_typed_ir.ty ->
'tb Script_typed_ir.ty ->
(('ta Script_typed_ir.ty, 'tb Script_typed_ir.ty) eq * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresultSource
val parse_data :
?type_logger:type_logger ->
Alpha_context.context ->
legacy:bool ->
'a Script_typed_ir.ty ->
Alpha_context.Script.node ->
('a * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val parse_instr :
?type_logger:type_logger ->
tc_context ->
Alpha_context.context ->
legacy:bool ->
Alpha_context.Script.node ->
'bef Script_typed_ir.stack_ty ->
('bef judgement * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val parse_packable_ty :
Alpha_context.context ->
legacy:bool ->
Alpha_context.Script.node ->
(ex_ty * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresultSource
val parse_parameter_ty :
Alpha_context.context ->
legacy:bool ->
Alpha_context.Script.node ->
(ex_ty * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresultSource
val parse_ty :
Alpha_context.context ->
legacy:bool ->
allow_big_map:bool ->
allow_operation:bool ->
allow_contract:bool ->
Alpha_context.Script.node ->
(ex_ty * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresultWe expose parse_ty for convenience to external tools. Please use specialized versions such as parse_packable_ty and parse_parameter_ty if possible.
Source
val parse_toplevel :
legacy:bool ->
Alpha_context.Script.expr ->
(Alpha_context.Script.node
* Alpha_context.Script.node
* Alpha_context.Script.node
* Script_typed_ir.field_annot option)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresultSource
val add_field_annot :
Script_typed_ir.field_annot option ->
Script_typed_ir.var_annot option ->
Alpha_context.Script.node ->
Alpha_context.Script.nodeSource
val parse_code :
?type_logger:type_logger ->
Alpha_context.context ->
legacy:bool ->
code:Alpha_context.Script.lazy_expr ->
(ex_code * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val parse_storage :
?type_logger:type_logger ->
Alpha_context.context ->
legacy:bool ->
'storage Script_typed_ir.ty ->
storage:Alpha_context.Script.lazy_expr ->
('storage * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val parse_script :
?type_logger:type_logger ->
Alpha_context.context ->
legacy:bool ->
Alpha_context.Script.t ->
(ex_script * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tCombines parse_code and parse_storage
Source
val parse_contract :
legacy:bool ->
Alpha_context.context ->
Alpha_context.Script.location ->
'a Script_typed_ir.ty ->
Alpha_context.Contract.t ->
entrypoint:string ->
(Alpha_context.context * 'a Script_typed_ir.typed_contract)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val parse_contract_for_script :
legacy:bool ->
Alpha_context.context ->
Alpha_context.Script.location ->
'a Script_typed_ir.ty ->
Alpha_context.Contract.t ->
entrypoint:string ->
(Alpha_context.context * 'a Script_typed_ir.typed_contract option)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val find_entrypoint :
't Script_typed_ir.ty ->
root_name:Script_typed_ir.field_annot option ->
string ->
((Alpha_context.Script.node -> Alpha_context.Script.node) * ex_ty)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresultSource
val list_entrypoints :
't Script_typed_ir.ty ->
Alpha_context.context ->
root_name:Script_typed_ir.field_annot option ->
(Michelson_v1_primitives.prim list list
* (Michelson_v1_primitives.prim list * Alpha_context.Script.node)
Entrypoints_map.t)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresultSource
val collect_big_maps :
Alpha_context.context ->
'a Script_typed_ir.ty ->
'a ->
(big_map_ids * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresultSource
val extract_big_map_diff :
Alpha_context.context ->
unparsing_mode ->
temporary:bool ->
to_duplicate:big_map_ids ->
to_update:big_map_ids ->
'a Script_typed_ir.ty ->
'a ->
('a * Alpha_context.Contract.big_map_diff option * Alpha_context.context)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.t