archetype 1.2.0 · OCaml Package

type 'a with_annot = {

node : 'a;
annotation : Ident.ident option;

}

val pp_with_annot : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a with_annot ->
  Ppx_deriving_runtime.unit

val show_with_annot : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a with_annot ->
  Ppx_deriving_runtime.string

type type_node =

| Taddress
| Tbig_map of type_ * type_
| Tbool
| Tbytes
| Tchain_id
| Tcontract of type_
| Tint
| Tkey
| Tkey_hash
| Tlambda of type_ * type_
| Tlist of type_
| Tmap of type_ * type_
| Tmutez
| Tnat
| Toperation
| Toption of type_
| Tor of type_ * type_
| Tpair of type_ * type_
| Tset of type_
| Tsignature
| Tstring
| Ttimestamp
| Tunit

and type_ = type_node with_annot

val pp_type_node : 
  Ppx_deriving_runtime.Format.formatter ->
  type_node ->
  Ppx_deriving_runtime.unit

val show_type_node : type_node -> Ppx_deriving_runtime.string

val pp_type_ : 
  Ppx_deriving_runtime.Format.formatter ->
  type_ ->
  Ppx_deriving_runtime.unit

val show_type_ : type_ -> Ppx_deriving_runtime.string

type data =

| Dint of Core.big_int
| Dstring of string
| Dbytes of string
| Dunit
| Dtrue
| Dfalse
| Dpair of data * data
| Dleft of data
| Dright of data
| Dsome of data
| Dnone
| Dlist of data list
| Dplist of (data * data) list

val pp_data : 
  Ppx_deriving_runtime.Format.formatter ->
  data ->
  Ppx_deriving_runtime.unit

val show_data : data -> Ppx_deriving_runtime.string

type code =

| SEQ of code list
| DROP of int
| DUP
| SWAP
| DIG of int
| DUG of int
| PUSH of type_ * data
| SOME
| NONE of type_
| UNIT
| IF_NONE of code list * code list
| PAIR
| CAR
| CDR
| UNPAIR
| LEFT of type_
| RIGHT of type_
| IF_LEFT of code list * code list
| NIL of type_
| CONS
| IF_CONS of code list * code list
| SIZE
| EMPTY_SET of type_
| EMPTY_MAP of type_ * type_
| EMPTY_BIG_MAP of type_ * type_
| MAP of code list
| ITER of code list
| MEM
| GET
| UPDATE
| IF of code list * code list
| LOOP of code list
| LOOP_LEFT of code list
| LAMBDA of type_ * type_ * code list
| EXEC
| DIP of int * code list
| ASSERT_EQ
| ASSERT_NEQ
| ASSERT_LT
| ASSERT_LE
| ASSERT_GT
| ASSERT_GE
| FAILWITH
| CAST
| RENAME
| CONCAT
| SLICE
| PACK
| UNPACK of type_
| ADD
| SUB
| MUL
| EDIV
| ABS
| ISNAT
| INT
| NEG
| LSL
| LSR
| OR
| AND
| XOR
| NOT
| COMPARE
| EQ
| NEQ
| LT
| GT
| LE
| GE
| SELF
| CONTRACT of type_ * Ident.ident option
| TRANSFER_TOKENS
| SET_DELEGATE
| CREATE_ACCOUNT
| CREATE_CONTRACT of code list
| IMPLICIT_ACCOUNT
| NOW
| AMOUNT
| BALANCE
| CHECK_SIGNATURE
| BLAKE2B
| SHA256
| SHA512
| HASH_KEY
| STEPS_TO_QUOTA
| SOURCE
| SENDER
| ADDRESS
| CHAIN_ID

val pp_code : 
  Ppx_deriving_runtime.Format.formatter ->
  code ->
  Ppx_deriving_runtime.unit

val show_code : code -> Ppx_deriving_runtime.string

type z_operator =

| Znow
| Zamount
| Zbalance
| Zsource
| Zsender
| Zaddress
| Zchain_id
| Zself_address
| Znone of type_

val pp_z_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  z_operator ->
  Ppx_deriving_runtime.unit

val show_z_operator : z_operator -> Ppx_deriving_runtime.string

type un_operator =

| Ucar
| Ucdr
| Uleft of type_
| Uright of type_
| Uneg
| Uint
| Unot
| Uabs
| Uisnat
| Usome
| Usize
| Upack
| Uunpack of type_
| Ublake2b
| Usha256
| Usha512
| Uhash_key
| Ufail
| Ucontract of type_ * Ident.ident option

val pp_un_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  un_operator ->
  Ppx_deriving_runtime.unit

val show_un_operator : un_operator -> Ppx_deriving_runtime.string

type bin_operator =

| Badd
| Bsub
| Bmul
| Bediv
| Blsl
| Blsr
| Bor
| Band
| Bxor
| Bcompare
| Bget
| Bmem
| Bconcat
| Bcons
| Bpair

val pp_bin_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  bin_operator ->
  Ppx_deriving_runtime.unit

val show_bin_operator : bin_operator -> Ppx_deriving_runtime.string

type ter_operator =

| Tcheck_signature
| Tslice
| Tupdate
| Ttransfer_tokens

val pp_ter_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  ter_operator ->
  Ppx_deriving_runtime.unit

val show_ter_operator : ter_operator -> Ppx_deriving_runtime.string

type cmp_operator =

| Ceq
| Cne
| Cgt
| Cge
| Clt
| Cle

val pp_cmp_operator : 
  Ppx_deriving_runtime.Format.formatter ->
  cmp_operator ->
  Ppx_deriving_runtime.unit

val show_cmp_operator : cmp_operator -> Ppx_deriving_runtime.string

type builtin =

| Bmin of type_
| Bmax of type_
| Bfloor
| Bceil
| BlistContains of type_
| BlistNth of type_
| Btostring of type_
| Bratcmp
| Bratnorm
| Brataddsub
| Bratdiv
| Bratmul
| Bratuminus
| Bratabs
| Brattez
| Bratdur

val pp_builtin : 
  Ppx_deriving_runtime.Format.formatter ->
  builtin ->
  Ppx_deriving_runtime.unit

val show_builtin : builtin -> Ppx_deriving_runtime.string

type instruction =

| Iseq of instruction list
| IletIn of Ident.ident * instruction * instruction * bool
| Ivar of Ident.ident
| Icall of Ident.ident * instruction list * bool
| Iassign of Ident.ident * instruction
| IassignRec of Ident.ident * int * int * instruction
| Iif of instruction * instruction * instruction * type_
| Iifnone of instruction * instruction * Ident.ident * instruction
| Iifcons of instruction * instruction * instruction
| Iwhile of instruction * instruction
| Iiter of Ident.ident list * instruction * instruction
| Izop of z_operator
| Iunop of un_operator * instruction
| Ibinop of bin_operator * instruction * instruction
| Iterop of ter_operator * instruction * instruction * instruction
| Iconst of type_ * data
| Icompare of cmp_operator * instruction * instruction
| Iset of type_ * instruction list
| Ilist of type_ * instruction list
| Imap of type_ * type_ * (instruction * instruction) list
| Irecord of instruction list
| Irecupdate of instruction * int * (int * instruction) list
| Ifold of Ident.ident * Ident.ident option * Ident.ident * instruction * instruction * instruction
| Imichelson of instruction list * code * Ident.ident list

val pp_instruction : 
  Ppx_deriving_runtime.Format.formatter ->
  instruction ->
  Ppx_deriving_runtime.unit

val show_instruction : instruction -> Ppx_deriving_runtime.string

type implem =

| Concrete of (Ident.ident * type_) list * instruction
| Abstract of builtin

val pp_implem : 
  Ppx_deriving_runtime.Format.formatter ->
  implem ->
  Ppx_deriving_runtime.unit

val show_implem : implem -> Ppx_deriving_runtime.string

type func = {

name : Ident.ident;
targ : type_;
tret : type_;
body : implem;

}

val pp_func : 
  Ppx_deriving_runtime.Format.formatter ->
  func ->
  Ppx_deriving_runtime.unit

val show_func : func -> Ppx_deriving_runtime.string

type entry = {

name : Ident.ident;
args : (Ident.ident * type_) list;
eargs : (Ident.ident * type_) list;
body : instruction;

}

val pp_entry : 
  Ppx_deriving_runtime.Format.formatter ->
  entry ->
  Ppx_deriving_runtime.unit

val show_entry : entry -> Ppx_deriving_runtime.string

type ir = {

storage_type : type_;
storage_data : data;
storage_list : (Ident.ident * type_) list;
with_operations : bool;
parameter : type_;
funs : func list;
entries : entry list;

}

val pp_ir : 
  Ppx_deriving_runtime.Format.formatter ->
  ir ->
  Ppx_deriving_runtime.unit

val show_ir : ir -> Ppx_deriving_runtime.string

type michelson = {

storage : type_;
parameter : type_;
code : code;

}

val pp_michelson : 
  Ppx_deriving_runtime.Format.formatter ->
  michelson ->
  Ppx_deriving_runtime.unit

val show_michelson : michelson -> Ppx_deriving_runtime.string

val mk_type : ?annotation:Ident.ident -> type_node -> type_

val mk_func : Ident.ident -> type_ -> type_ -> implem -> func

val mk_entry : 
  Ident.ident ->
  (Ident.ident * type_) list ->
  (Ident.ident * type_) list ->
  instruction ->
  entry

val mk_ir : 
  type_ ->
  data ->
  (Ident.ident * type_) list ->
  ?with_operations:bool ->
  type_ ->
  func list ->
  entry list ->
  ir

val mk_michelson : type_ -> type_ -> code -> michelson

val toperation : type_

val tunit : type_

val tstring : type_

val tnat : type_

val tint : type_

val tbool : type_

val tmutez : type_

val tpair : type_ -> type_ -> type_

val tor : type_ -> type_ -> type_

val trat : type_

val tlist : type_ -> type_

val tset : type_ -> type_

val tmap : type_ -> type_ -> type_

val tlambda : type_ -> type_ -> type_

val itrue : instruction

val ifalse : instruction

val iint : Core.big_int -> instruction

val inat : Core.big_int -> instruction

val istring : string -> instruction

val imutez : Core.big_int -> instruction

val isome : instruction -> instruction

val inone : type_ -> instruction

val iunit : instruction

val icar : instruction -> instruction

val icdr : instruction -> instruction

val ifail : string -> instruction

val iskip : instruction

val ileft : type_ -> instruction -> instruction

val iright : type_ -> instruction -> instruction

val ieq : instruction -> instruction -> instruction

val iadd : instruction -> instruction -> instruction

val isub : instruction -> instruction -> instruction

val imul : instruction -> instruction -> instruction

val idiv : instruction -> instruction -> instruction

val imod : instruction -> instruction -> instruction

val ctrue : code

val cfalse : code

val cint : Core.big_int -> code

val cnat : Core.big_int -> code

val cstring : string -> code

val cfail : string -> code

val cskip : code

val cmp_ident : Tools.String.t -> Tools.String.t -> bool

val cmp_type : type_ -> type_ -> bool

val cmp_data : data -> data -> bool

val cmp_code : code -> code -> bool

val cmp_builtin : builtin -> builtin -> bool

val map_data : (data -> data) -> data -> data

val map_code_gen : 
  (code -> code) ->
  (data -> data) ->
  (type_ -> type_) ->
  code ->
  code

val map_code : (code -> code) -> code -> code

val map_seq : (code list -> code list) -> code -> code

module Utils : sig ... end

package archetype