package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'b reduce2 = 'b reduce2
inherit VisitorsRuntime.reduce2
inherit Archetype.Location.location_reduce2
inherit Archetype.Ident.ident_reduce2
method visit_Pwild : 'c -> 'd
method visit_Pref : 'c -> pname Archetype.Location.loced -> pname Archetype.Location.loced -> lident list -> lident list -> 'd
method fail_pattern_unloc : 'c -> pattern_unloc -> pattern_unloc -> 'd
method visit_pattern_unloc : 'c -> pattern_unloc -> pattern_unloc -> 'd
method visit_PIdent : 'c -> Archetype.Ident.ident -> Archetype.Ident.ident -> 'd
method visit_PCons : 'c -> 'd
method visit_PNil : 'c -> 'd
method visit_PSome : 'c -> 'd
method visit_PNone : 'c -> 'd
method visit_PLeft : 'c -> 'd
method visit_PRight : 'c -> 'd
method fail_pname : 'c -> pname -> pname -> 'd
method visit_pname : 'c -> pname -> pname -> 'd
method visit_FIsimple : 'c -> lident -> lident -> 'd
method visit_FIdouble : 'c -> lident -> lident -> lident -> lident -> 'd
method fail_for_ident_unloc : 'c -> for_ident_unloc -> for_ident_unloc -> 'd
method visit_for_ident_unloc : 'c -> for_ident_unloc -> for_ident_unloc -> 'd
method visit_TTsimple : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_TTcontract : 'c -> expr -> expr -> expr -> expr -> lident -> lident -> type_t -> type_t -> expr -> expr -> 'd
method visit_TTentry : 'c -> expr -> expr -> lident -> lident -> expr -> expr -> 'd
method visit_TTentry2 : 'c -> expr -> expr -> lident -> lident -> expr -> expr -> lident -> lident -> expr -> expr -> 'd
method visit_TTself : 'c -> expr -> expr -> lident -> lident -> expr list -> expr list -> 'd
method visit_TToperation : 'c -> expr -> expr -> 'd
method fail_transfer_t : 'c -> transfer_t -> transfer_t -> 'd
method visit_transfer_t : 'c -> transfer_t -> transfer_t -> 'd
method visit_MIstring : 'c -> string -> string -> 'd
method visit_MIint : 'c -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'd
method visit_MIbytes : 'c -> string -> string -> 'd
method visit_MIprim : 'c -> string -> string -> micheline_t list -> micheline_t list -> string list -> string list -> 'd
method visit_MIseq : 'c -> micheline_t list -> micheline_t list -> 'd
method fail_micheline_t : 'c -> micheline_t -> micheline_t -> 'd
method visit_micheline_t : 'c -> micheline_t -> micheline_t -> 'd
method visit_MKexpr : 'c -> expr -> expr -> 'd
method visit_MKself : 'c -> 'd
method fail_method_kind : 'c -> method_kind -> method_kind -> 'd
method visit_method_kind : 'c -> method_kind -> method_kind -> 'd
method visit_Eterm : 'c -> (id_scope * lident) -> (id_scope * lident) -> 'd
method visit_Eliteral : 'c -> literal -> literal -> 'd
method visit_Earray : 'c -> id_scope -> id_scope -> expr list -> expr list -> 'd
method visit_Erecord : 'c -> id_scope -> id_scope -> record_item list -> record_item list -> 'd
method visit_Etuple : 'c -> expr list -> expr list -> 'd
method visit_Edot : 'c -> expr -> expr -> (id_scope * lident) -> (id_scope * lident) -> 'd
method visit_Equestiondot : 'c -> expr -> expr -> (id_scope * lident) -> (id_scope * lident) -> 'd
method visit_Esqapp : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_Emulticomp : 'c -> expr -> expr -> (comparison_operator Archetype.Location.loced * expr) list -> (comparison_operator Archetype.Location.loced * expr) list -> 'd
method visit_Eapp : 'c -> function_ -> function_ -> expr list -> expr list -> 'd
method visit_Eappt : 'c -> function_ -> function_ -> type_t list -> type_t list -> expr list -> expr list -> 'd
method visit_Emethod : 'c -> method_kind -> method_kind -> lident -> lident -> expr list -> expr list -> 'd
method visit_Etransfer : 'c -> transfer_t -> transfer_t -> 'd
method visit_Edetach : 'c -> lident -> lident -> expr -> expr -> expr -> expr -> 'd
method visit_Edorequire : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_Edofailif : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_Efail : 'c -> expr -> expr -> 'd
method visit_Efailsome : 'c -> expr -> expr -> 'd
method visit_Eassign : 'c -> assignment_operator -> assignment_operator -> expr -> expr -> expr -> expr -> 'd
method visit_Eassignopt : 'c -> expr -> expr -> expr -> expr -> expr -> expr -> 'd
method visit_Eif : 'c -> expr -> expr -> expr -> expr -> expr option -> expr option -> 'd
method visit_Eiter : 'c -> lident -> lident -> expr option -> expr option -> expr -> expr -> expr -> expr -> 'd
method visit_Ewhile : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_Eseq : 'c -> expr -> expr -> expr -> expr -> 'd
method visit_Eletin : 'c -> lident -> lident -> type_t option -> type_t option -> expr -> expr -> expr -> expr -> expr option -> expr option -> 'd
method visit_Evar : 'c -> lident -> lident -> type_t option -> type_t option -> expr -> expr -> bool -> bool -> 'd
method visit_Evaropt : 'c -> lident -> lident -> type_t option -> type_t option -> expr -> expr -> expr option -> expr option -> bool -> bool -> 'd
method visit_Ematchwith : 'c -> expr -> expr -> branch list -> branch list -> 'd
method visit_Efold : 'c -> expr -> expr -> lident -> lident -> expr -> expr -> 'd
method visit_Emap : 'c -> expr -> expr -> lident -> lident -> expr -> expr -> 'd
method visit_Erecupdate : 'c -> expr -> expr -> (lident * expr) list -> (lident * expr) list -> 'd
method visit_Ereturn : 'c -> expr -> expr -> 'd
method visit_Eoption : 'c -> option_ -> option_ -> 'd
method visit_Eor : 'c -> or_ -> or_ -> 'd
method visit_Elambda : 'c -> type_t option -> type_t option -> lident -> lident -> type_t option -> type_t option -> expr -> expr -> 'd
method visit_Elambda_michelson : 'c -> type_t -> type_t -> type_t -> type_t -> micheline_t -> micheline_t -> 'd
method visit_Eentrypoint : 'c -> type_t -> type_t -> expr -> expr -> expr -> expr -> expr option -> expr option -> 'd
method visit_Ecallview : 'c -> type_t -> type_t -> expr -> expr -> expr -> expr -> expr -> expr -> 'd
method visit_Eunpack : 'c -> type_t -> type_t -> expr -> expr -> 'd
method visit_Eemit : 'c -> type_t -> type_t -> expr -> expr -> 'd
method visit_Eself : 'c -> lident -> lident -> 'd
method visit_Eternary : 'c -> expr -> expr -> expr -> expr -> expr -> expr -> 'd
method visit_Eany : 'c -> 'd
method visit_Enothing : 'c -> 'd
method visit_Eunit : 'c -> 'd
method visit_Etz_expr : 'c -> string -> string -> 'd
method visit_Emicheline : 'c -> micheline_t -> micheline_t -> 'd
method visit_Emicheline_expr : 'c -> type_t -> type_t -> micheline_t -> micheline_t -> expr list -> expr list -> 'd
method visit_Einvalid : 'c -> 'd
method fail_expr_unloc : 'c -> expr_unloc -> expr_unloc -> 'd
method visit_expr_unloc : 'c -> expr_unloc -> expr_unloc -> 'd
method visit_branch : 'c -> branch -> branch -> 'd
method visit_Added : 'e -> 'd
method visit_After : 'e -> 'd
method visit_Before : 'e -> 'd
method visit_Fixed : 'e -> 'd
method visit_Removed : 'e -> 'd
method visit_Stable : 'e -> 'd
method fail_scope : 'e -> scope -> scope -> 'd
method visit_scope : 'e -> scope -> scope -> 'd
method visit_OSome : 'c -> expr -> expr -> 'd
method visit_ONone : 'c -> type_t option -> type_t option -> 'd
method fail_option_ : 'c -> option_ -> option_ -> 'd
method visit_option_ : 'c -> option_ -> option_ -> 'd
method visit_Oleft : 'c -> type_t option -> type_t option -> type_t -> type_t -> expr -> expr -> 'd
method visit_Oright : 'c -> type_t -> type_t -> type_t option -> type_t option -> expr -> expr -> 'd
method fail_or_ : 'c -> or_ -> or_ -> 'd
method visit_or_ : 'c -> or_ -> or_ -> 'd
method visit_Fident : 'c -> (id_scope * lident) -> (id_scope * lident) -> 'd
method visit_Foperator : 'c -> operator Archetype.Location.loced -> operator Archetype.Location.loced -> 'd
method fail_function_ : 'c -> function_ -> function_ -> 'd
method visit_function_ : 'c -> function_ -> function_ -> 'd
method visit_Lint : 'c -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'd
method visit_Lnat : 'c -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'd
method visit_Ldecimal : 'c -> string -> string -> 'd
method visit_Ltz : 'c -> string -> string -> 'd
method visit_Lmtz : 'c -> string -> string -> 'd
method visit_Lutz : 'c -> string -> string -> 'd
method visit_Laddress : 'c -> string -> string -> 'd
method visit_Lstring : 'c -> string -> string -> 'd
method visit_Lbool : 'c -> bool -> bool -> 'd
method visit_Lduration : 'c -> string -> string -> 'd
method visit_Ldate : 'c -> string -> string -> 'd
method visit_Lbytes : 'c -> string -> string -> 'd
method visit_Lpercent : 'c -> string -> string -> 'd
method visit_LnumberFr : 'c -> Archetype.Core.big_int -> Archetype.Core.big_int -> 'd
method visit_LbytesFr : 'c -> string -> string -> 'd
method visit_LbytesG1 : 'c -> string -> string -> 'd
method visit_LbytesG2 : 'c -> string -> string -> 'd
method fail_literal : 'c -> literal -> literal -> 'd
method visit_literal : 'c -> literal -> literal -> 'd
method visit_record_item : 'c -> record_item -> record_item -> 'd
method visit_expr : 'c -> expr -> expr -> 'd
method visit_lident_typ : 'c -> lident_typ -> lident_typ -> 'd
method visit_Ffield : 'c -> lident -> lident -> type_t -> type_t -> expr option -> expr option -> 'd
method visit_field_unloc : 'c -> field_unloc -> field_unloc -> 'd
method visit_args : 'c -> args -> args -> 'd
method visit_VVonchain : 'c -> 'd
method visit_VVoffchain : 'c -> 'd
method visit_VVonoffchain : 'c -> 'd
method visit_VVnone : 'c -> 'd
method fail_view_visibility : 'c -> view_visibility -> view_visibility -> 'd
method visit_view_visibility : 'c -> view_visibility -> view_visibility -> 'd
method visit_s_function : 'c -> s_function -> s_function -> 'd
method visit_entry_properties : 'c -> entry_properties -> entry_properties -> 'd
method visit_transition : 'c -> transition -> transition -> 'd
method visit_parameter : 'c -> (lident * type_t * expr option * bool) Archetype.Location.loced -> (lident * type_t * expr option * bool) Archetype.Location.loced -> 'd
method visit_parameters : 'c -> parameters -> parameters -> 'd
method visit_Muri : 'c -> string Archetype.Location.loced -> string Archetype.Location.loced -> 'd
method visit_Mjson : 'c -> string Archetype.Location.loced -> string Archetype.Location.loced -> 'd
method fail_metadata : 'c -> metadata -> metadata -> 'd
method visit_metadata : 'c -> metadata -> metadata -> 'd
method visit_VKvariable : 'c -> 'd
method visit_VKconstant : 'c -> 'd
method fail_variable_kind : 'c -> variable_kind -> variable_kind -> 'd
method visit_variable_kind : 'c -> variable_kind -> variable_kind -> 'd
method visit_EKenum : 'c -> lident -> lident -> 'd
method visit_EKstate : 'c -> 'd
method fail_enum_kind : 'c -> enum_kind -> enum_kind -> 'd
method visit_enum_kind : 'c -> enum_kind -> enum_kind -> 'd
method visit_Darchetype : 'c -> lident -> lident -> parameters -> parameters -> metadata option -> metadata option -> 'd
method visit_Dimport : 'c -> lident option -> lident option -> lident -> lident -> 'd
method visit_Dvariable : 'c -> variable_decl -> variable_decl -> 'd
method visit_Denum : 'c -> enum_kind -> enum_kind -> enum_decl -> enum_decl -> 'd
method visit_Dasset : 'c -> asset_decl -> asset_decl -> 'd
method visit_Drecord : 'c -> record_decl -> record_decl -> 'd
method visit_Dentry : 'c -> entry_decl -> entry_decl -> 'd
method visit_Dgetter : 'c -> getter_decl -> getter_decl -> 'd
method visit_Dtransition : 'c -> transition_decl -> transition_decl -> 'd
method visit_Dnamespace : 'c -> namespace_decl -> namespace_decl -> 'd
method visit_Dfunction : 'c -> s_function -> s_function -> 'd
method visit_Dtype : 'c -> lident -> lident -> type_t -> type_t -> 'd
method visit_Devent : 'c -> record_decl -> record_decl -> 'd
method visit_Dinvalid : 'c -> 'd
method fail_declaration_unloc : 'c -> declaration_unloc -> declaration_unloc -> 'd
method visit_declaration_unloc : 'c -> declaration_unloc -> declaration_unloc -> 'd
method visit_variable_decl : 'c -> variable_decl -> variable_decl -> 'd
method visit_enum_decl : 'c -> enum_decl -> enum_decl -> 'd
method visit_asset_decl : 'c -> asset_decl -> asset_decl -> 'd
method visit_record_decl : 'c -> record_decl -> record_decl -> 'd
method visit_entry_decl : 'c -> entry_decl -> entry_decl -> 'd
method visit_getter_decl : 'c -> getter_decl -> getter_decl -> 'd
method visit_transition_decl : 'c -> transition_decl -> transition_decl -> 'd
method visit_namespace_decl : 'c -> namespace_decl -> namespace_decl -> 'd
method visit_MKMap : 'c -> 'd
method visit_MKBigMap : 'c -> 'd
method visit_MKIterableBigMap : 'c -> 'd
method fail_map_kind : 'c -> map_kind -> map_kind -> 'd
method visit_map_kind : 'c -> map_kind -> map_kind -> 'd
method visit_AOidentifiedby : 'c -> lident list -> lident list -> 'd
method visit_AOsortedby : 'c -> lident -> lident -> 'd
method visit_AOtoMapKind : 'c -> map_kind -> map_kind -> 'd
method fail_asset_option : 'c -> asset_option -> asset_option -> 'd
method visit_asset_option : 'c -> asset_option -> asset_option -> 'd
method visit_APOinit : 'c -> expr list -> expr list -> 'd
method visit_asset_post_option : 'c -> asset_post_option -> asset_post_option -> 'd
method visit_EOinitial : 'c -> 'd
method visit_enum_option : 'c -> enum_option -> enum_option -> 'd
method visit_declaration : 'c -> declaration -> declaration -> 'd
method visit_AOadd : 'c -> 'd
method visit_AOremove : 'c -> 'd
method visit_AOupdate : 'c -> 'd
method fail_asset_operation_enum : 'c -> asset_operation_enum -> asset_operation_enum -> 'd
method visit_asset_operation_enum : 'c -> asset_operation_enum -> asset_operation_enum -> 'd
method visit_AssetOperation : 'c -> asset_operation_enum list -> asset_operation_enum list -> expr option -> expr option -> 'd
method visit_asset_operation : 'c -> asset_operation -> asset_operation -> 'd
method visit_archetype_unloc : 'c -> declaration list -> declaration list -> 'd
method visit_archetype : 'c -> declaration list Archetype.Location.loced -> declaration list Archetype.Location.loced -> 'd
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct