package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

merlin-lib.analysis
- Merlin_analysis
  - Browse_misc
  - Browse_tree
  - Completion
  - Construct
  - Context
  - Destruct
  - Expansion
  - Jump
  - Locate
    
    Namespace
  - Misc_utils
    
    Compat
    
    Path
  - Namespaced_path
    
    Id
    
    Namespace
  - Ocamldoc
  - Outline
  - Polarity_search
    
    PathSet
  - Ptyp_of_type
  - Refactor_open
  - Syntax_doc
  - Tail_analysis
  - Type_enclosing
  - Type_utils
    
    Printtyp
merlin-lib.commands
- Merlin_commands
  - New_commands
  - Query_json
merlin-lib.config
- Merlin_config
merlin-lib.dot_protocol
- Merlin_dot_protocol
  - Blocking
    
    Commands
  - Directive
    
    Processed
    
    Raw
  - Make
    
    Chan
    
    Commands
    
    IO
    
    O
  - S
    
    Commands
merlin-lib.extend
- Merlin_extend
  - Extend_driver
  - Extend_main
    
    Description
    
    Handshake
    
    Reader
    
    Utils
  - Extend_protocol
    
    Reader
    
    V0
merlin-lib.kernel
- Merlin_kernel
  - Extension
  - Mbrowse
  - Mconfig
    
    Verbosity
  - Mconfig_dot
    
    Configurator
  - Mocaml
  - Mpipeline
  - Mppx
  - Mreader
  - Mreader_explain
  - Mreader_extend
  - Mreader_lexer
  - Mreader_parser
  - Mreader_recover
    
    Make
    
    Dump
    
    Parser
    
    Recovery
  - Msource
    
    Digest
  - Mtyper
  - Phase_cache
    
    S
    
    Fingerprint
    
    With_cache
    
    Phase
    
    Fingerprint
  - Pparse
  - Standard_library
merlin-lib.ocaml_merlin_specific
- Merlin_specific
  - Browse_raw
  - Tast_helper
    
    Pat
  - Typer_raw
merlin-lib.ocaml_parsing
- Ocaml_parsing
  - Ast_helper
    
    Attr
    
    Cf
    
    Ci
    
    Cl
    
    Const
    
    Csig
    
    Cstr
    
    Ctf
    
    Cty
    
    Exp
    
    Incl
    
    Mb
    
    Md
    
    Mod
    
    Ms
    
    Mtd
    
    Mty
    
    Of
    
    Opn
    
    Pat
    
    Rf
    
    Sig
    
    Str
    
    Te
    
    Typ
    
    Type
    
    Val
    
    Vb
  - Ast_iterator
  - Ast_mapper
  - Asttypes
  - Attr_helper
  - Builtin_attributes
  - Docstrings
    
    WithMenhir
  - Extend_helper
  - Fake
    
    Lwt
    
    Meta
  - Location
  - Location_aux
  - Longident
  - Msupport_parsing
  - Parsetree
  - Pprintast
  - Printast
  - Syntaxerr
merlin-lib.ocaml_preprocess
- Ocaml_preprocess
  - Lexer_ident
  - Lexer_raw
  - MenhirLib
    
    Convert
    
    Simplified
    
    Engine
    
    Make
    
    T
    
    Log
    
    EngineTypes
    
    ENGINE
    
    INCREMENTAL_ENGINE_START
    
    MONOLITHIC_ENGINE
    
    TABLE
    
    Log
    
    ErrorReports
    
    General
    
    IncrementalEngine
    
    EVERYTHING
    
    INCREMENTAL_ENGINE
    
    INSPECTION
    
    SYMBOLS
    
    InfiniteArray
    
    InspectionTableFormat
    
    TABLES
    
    InspectionTableInterpreter
    
    Make
    
    E
    
    ET
    
    Log
    
    IT
    
    TT
    
    Symbols
    
    T
    
    LexerUtil
    
    LinearizedArray
    
    PackedIntArray
    
    Printers
    
    Make
    
    I
    
    User
    
    RowDisplacement
    
    StaticVersion
    
    TableFormat
    
    TABLES
    
    TableInterpreter
    
    MakeEngineTable
    
    Log
    
    T
  - Parser_explain
  - Parser_printer
  - Parser_raw
    
    Incremental
    
    MenhirInterpreter
  - Parser_recover
    
    Default
merlin-lib.ocaml_typing
- Ocaml_typing
  - Annot
  - Btype
    
    For_copy
    
    TransientTypeMap
    
    TypeHash
    
    TypeMap
    
    TypePairs
    
    TypeSet
  - Cmi_cache
  - Cmi_format
  - Cmt_cache
  - Cmt_format
  - Ctype
  - Datarepr
  - Env
  - Envaux
  - Errortrace
    
    Subtype
  - Ident
    
    Map
    
    Set
    
    T
    
    Tbl
  - Includeclass
  - Includecore
  - Includemod
    
    Error
    
    FieldMap
    
    Functor_app_diff
    
    Defs
    
    Functor_inclusion_diff
    
    Defs
  - Includemod_errorprinter
  - Magic_numbers
    
    Cmi
  - Msupport
  - Mtype
  - Natural
    
    Array
    
    Make
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    Make_no_zero
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    S
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    S_no_zero
    
    Array
    
    Map
    
    Set
    
    Tbl
  - Oprint
  - Outcometree
  - Parmatch
    
    Compat
    
    _
  - Path
    
    Map
    
    Set
  - Patterns
    
    General
    
    Half_simple
    
    Head
    
    Non_empty_row
    
    Simple
  - Persistent_env
    
    Consistbl
    
    Persistent_signature
  - Predef
  - Primitive
  - Printpat
  - Printtyp
    
    Conflicts
    
    Naming_context
    
    Out_name
    
    Subtype
  - Printtyped
  - Rec_check
  - Saved_parts
  - Shape
    
    Item
    
    Map
    
    Make_reduce
    
    Context
    
    Map
    
    Sig_component_kind
    
    Uid
    
    Map
    
    Set
    
    T
    
    Tbl
  - Short_paths
    
    Basis
  - Short_paths_graph
    
    Age
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    Class_type
    
    Component
    
    Dependency
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    Desc
    
    Class_type
    
    Module
    
    Module_type
    
    Type
    
    Diff
    
    Item
    
    Graph
    
    Ident
    
    Ident_map
    
    Ident_set
    
    Module
    
    Module_type
    
    Origin
    
    Path
    
    Path_map
    
    Path_set
    
    Sort
    
    String_map
    
    Type
  - Signature_group
  - Stypes
  - Subst
    
    Lazy
  - Tast_iterator
  - Tast_mapper
  - Type_immediacy
    
    Violation
  - Typeclass
  - Typecore
    
    Datatype_kind
  - Typedecl
  - Typedecl_immediacy
  - Typedecl_properties
  - Typedecl_separability
  - Typedecl_unboxed
  - Typedecl_variance
  - Typedtree
  - Typemod
    
    Sig_component_kind
    
    Signature_names
  - Typeopt
  - Types
    
    MethSet
    
    Meths
    
    Separability
    
    TransientTypeOps
    
    Transient_expr
    
    VarSet
    
    Variance
    
    Vars
  - Typetexp
  - Untypeast
merlin-lib.ocaml_utils
- Ocaml_utils
  - Build_path_prefix_map
  - Clflags
  - Config
  - Consistbl
    
    Make
    
    Module_name
    
    Map
    
    Set
    
    Tbl
  - Diffing
    
    Define
    
    D
    
    Left_variadic
    
    _
    
    Parameters
    
    Right_variadic
    
    _
    
    S
    
    Simple
    
    _
    
    Defs
  - Diffing_with_keys
    
    Define
    
    D
    
    Parameters
    
    Simple
    
    _
  - Directory_content_cache
  - Identifiable
    
    Make
    
    Map
    
    Set
    
    T
    
    Tbl
    
    Pair
    
    A
    
    B
    
    S
    
    Map
    
    Set
    
    T
    
    Tbl
    
    Thing
  - Lazy_backtrack
  - Load_path
    
    Dir
  - Local_store
  - Tbl
  - Warnings
merlin-lib.os_ipc
- Os_ipc
merlin-lib.query_commands
- Query_commands
merlin-lib.query_protocol
- Query_protocol
  - Compl
merlin-lib.utils
- Merlin_utils
  - File_cache
    
    Make
    
    Input
  - File_id
  - Lib_config
    
    Json
    
    System
  - Logger
  - Marg
  - Misc
    
    Color
    
    Int_literal_converter
    
    LongString
    
    String
    
    Map
    
    Set
    
    Tbl
  - Ppxsetup
  - Sexp
  - Stamped_hashtable
  - Std
    
    Char
    
    Format
    
    Glob
    
    Hashtbl
    
    Json
    
    Lexing
    
    List
    
    Lazy
    
    Option
    
    Infix
    
    Result
    
    Shell
    
    String
    
    Map
    
    Set
    
    System

Legend:
Library
Module
Module type
Parameter
Class
Class type

Browse_node offers a uniform interface to traverse constructions from * TypedTree. * * Mutually recursive types from TypedTree are wrapped into different * constructors of the type node. * Then the fold function traverses one-level of sub-nodes. * * In the meantime, the most specific environment and location are threaded * (FIXME: should these two be managed separately?). * * Finally BrowseT module a node into a tree which structure mimics * the recursive structure of the TypedTree node. *

type constructor_declaration = Ocaml_typing.Typedtree.constructor_declaration

type node =

| Dummy
| Pattern : _ Ocaml_typing.Typedtree.general_pattern -> node
| Expression of Ocaml_typing.Typedtree.expression
| Case : _ Ocaml_typing.Typedtree.case -> node
| Class_expr of Ocaml_typing.Typedtree.class_expr
| Class_structure of Ocaml_typing.Typedtree.class_structure
| Class_field of Ocaml_typing.Typedtree.class_field
| Class_field_kind of Ocaml_typing.Typedtree.class_field_kind
| Module_expr of Ocaml_typing.Typedtree.module_expr
| Module_type_constraint of Ocaml_typing.Typedtree.module_type_constraint
| Structure of Ocaml_typing.Typedtree.structure
| Signature of Ocaml_typing.Typedtree.signature
| Structure_item of Ocaml_typing.Typedtree.structure_item * Ocaml_typing.Env.t
| Signature_item of Ocaml_typing.Typedtree.signature_item * Ocaml_typing.Env.t
| Module_binding of Ocaml_typing.Typedtree.module_binding
| Value_binding of Ocaml_typing.Typedtree.value_binding
| Module_type of Ocaml_typing.Typedtree.module_type
| Module_declaration of Ocaml_typing.Typedtree.module_declaration
| Module_type_declaration of Ocaml_typing.Typedtree.module_type_declaration
| With_constraint of Ocaml_typing.Typedtree.with_constraint
| Core_type of Ocaml_typing.Typedtree.core_type
| Package_type of Ocaml_typing.Typedtree.package_type
| Row_field of Ocaml_typing.Typedtree.row_field
| Value_description of Ocaml_typing.Typedtree.value_description
| Type_declaration of Ocaml_typing.Typedtree.type_declaration
| Type_kind of Ocaml_typing.Typedtree.type_kind
| Type_extension of Ocaml_typing.Typedtree.type_extension
| Extension_constructor of Ocaml_typing.Typedtree.extension_constructor
| Label_declaration of Ocaml_typing.Typedtree.label_declaration
| Constructor_declaration of Ocaml_typing.Typedtree.constructor_declaration
| Class_type of Ocaml_typing.Typedtree.class_type
| Class_signature of Ocaml_typing.Typedtree.class_signature
| Class_type_field of Ocaml_typing.Typedtree.class_type_field
| Class_declaration of Ocaml_typing.Typedtree.class_declaration
| Class_description of Ocaml_typing.Typedtree.class_description
| Class_type_declaration of Ocaml_typing.Typedtree.class_type_declaration
| Binding_op of Ocaml_typing.Typedtree.binding_op
| Include_description of Ocaml_typing.Typedtree.include_description
| Include_declaration of Ocaml_typing.Typedtree.include_declaration
| Open_description of Ocaml_typing.Typedtree.open_description
| Open_declaration of Ocaml_typing.Typedtree.open_declaration
| Method_call of Ocaml_typing.Typedtree.expression * Ocaml_typing.Typedtree.meth * Ocaml_parsing.Location.t
| Record_field of [ `Expression of Ocaml_typing.Typedtree.expression | `Pattern of Ocaml_typing.Typedtree.pattern ] * Ocaml_typing.Types.label_description * Ocaml_parsing.Longident.t Ocaml_parsing.Location.loc
| Module_binding_name of Ocaml_typing.Typedtree.module_binding
| Module_declaration_name of Ocaml_typing.Typedtree.module_declaration
| Module_type_declaration_name of Ocaml_typing.Typedtree.module_type_declaration

val fold_node : 
  (Ocaml_typing.Env.t -> node -> 'a -> 'a) ->
  Ocaml_typing.Env.t ->
  node ->
  'a ->
  'a

Accessors for information specific to a node

val node_update_env : Ocaml_typing.Env.t -> node -> Ocaml_typing.Env.t

val node_real_loc : 
  Ocaml_parsing.Location.t ->
  node ->
  Ocaml_parsing.Location.t

val node_merlin_loc : 
  Ocaml_parsing.Location.t ->
  node ->
  Ocaml_parsing.Location.t

val node_attributes : node -> Ocaml_typing.Typedtree.attribute list

val has_attr : name:string -> node -> bool

val string_of_node : node -> string

val node_paths : node -> Ocaml_typing.Path.t Ocaml_parsing.Location.loc list

val node_paths_and_longident : 
  node ->
  (Ocaml_typing.Path.t Ocaml_parsing.Location.loc * Ocaml_parsing.Longident.t)
    list

val node_is_constructor : 
  node ->
  [ `Description of Ocaml_typing.Types.constructor_description
  | `Declaration of Ocaml_typing.Typedtree.constructor_declaration
  | `Extension_constructor of Ocaml_typing.Typedtree.extension_constructor ]
    Ocaml_parsing.Location.loc
    option

val node_of_binary_part : 
  Ocaml_typing.Env.t ->
  Ocaml_typing.Cmt_format.binary_part ->
  node

val all_holes : 
  (Ocaml_typing.Env.t * node) ->
  (Ocaml_parsing.Location.t
   * Ocaml_typing.Env.t
   * [ `Exp of Ocaml_typing.Types.type_expr
     | `Mod of Ocaml_typing.Types.module_type ])
    list