package archetype

You can search for identifiers within the package.

in-package search v0.2.0

package archetype

archetype
- Archetype
  - Ast
    
    Utils
  - Binding
  - Compile
  - Core
    
    Format
  - Error
  - Gen_api_storage
  - Gen_contract_interface
  - Gen_debug_trace
  - Gen_decompile
    
    Decomp_dir
    
    Decomp_model
  - Gen_extra
  - Gen_michelson
    
    MapString
  - Gen_model
  - Gen_storage
  - Gen_transform
    
    MapString
    
    SetString
  - Ident
    
    Mid
    
    Sid
    
    ident_iter
    
    ident_map
    
    ident_reduce
    
    ident_reduce2
  - Io
  - Lexer
  - Location
    
    location_iter
    
    location_map
    
    location_reduce
    
    location_reduce2
  - Lsp
  - Micheline
  - Micheline_printer
  - Micheline_tools
  - Michelson
    
    Utils
  - Michelson_lexer
  - Michelson_parser
    
    Incremental
    
    MenhirInterpreter
  - Model
    
    Utils
  - Mtools
  - Mtyping
    
    Env
    
    Contract
    
    Stack
    
    Ty
  - Opt_model
  - Options
  - ParseError
  - ParseTree
    
    iter
    
    map
    
    reduce
    
    reduce2
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Position
  - Printer_ast
  - Printer_michelson
  - Printer_model
  - Printer_model_tools
  - Printer_pt
  - Printer_tools
  - Pt_helper
  - PureLexer
    
    Lexer
  - Symbol
  - Tools
    
    Bool
    
    List
    
    Exn
    
    Map
    
    Make
    
    S
    
    Mint
    
    Mstr
    
    Option
    
    Set
    
    Make
    
    S
    
    Sint
    
    Sstr
    
    String
  - Typing
    
    Env
    
    Asset
    
    Context
    
    Event
    
    Function
    
    FunctionProperties
    
    Import
    
    Label
    
    Local
    
    Record
    
    State
    
    Tentry
    
    Type
    
    Var
    
    Micheline
    
    Type
    
    Michelson
  - UF
    
    UF
  - Ufind
    
    Data
    
    Item
    
    Make
    
    D
    
    I
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

module T = Michelson

module B = Ast

module M = Model

module A = ParseTree

type env = {

name : string;
type_storage : T.type_ option;
type_parameter : T.type_ option;
storage_list : (Ident.ident * T.type_) list;
parameter_list : (Ident.ident * T.type_) list;

}

val mk_env : ?name:string -> 'a -> env

val remove_prefix_annot : string -> string

val get_annot_from_type : T.type_ -> string option

val is_valid_name : string -> bool

val parse_micheline : ?ijson:bool -> Core.from_input -> T.obj_micheline * env

val to_michelson : (T.obj_micheline * env) -> T.michelson * env

val tycheck_michelson : (T.michelson * env) -> T.michelson * env

module Decomp_dir : sig ... end

val to_dir : (T.michelson * env) -> T.dprogram * env

val ttype_to_mtype : T.type_ -> M.type_

val data_to_mterm : 
  ?omap_var:(Ident.ident -> M.mterm) ->
  ?t:T.type_ ->
  ?ft:(T.type_ -> M.type_) ->
  T.data ->
  M.mterm

module Decomp_model : sig ... end

val dir_to_model : (T.dprogram * env) -> M.model * env

val to_archetype : (M.model * env) -> A.archetype