package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

merlin-lib
- Library merlin-lib.analysis
  - Merlin_analysis
    
    Ast_iterators
    
    Browse_misc
    
    Browse_tree
    
    Completion
    
    Construct
    
    Context
    
    Destruct
    
    Env_lookup
    
    Namespace
    
    Expansion
    
    Index_occurrences
    
    Lid_set
    
    Inlay_hints
    
    Jump
    
    Locate
    
    Misc_utils
    
    Path
    
    Ocamldoc
    
    Occurrences
    
    Outline
    
    Parsetree_utils
    
    Polarity_search
    
    PathSet
    
    Ppx_expand
    
    Ptyp_of_type
    
    Refactor_open
    
    Signature_help
    
    Syntax_doc
    
    Tail_analysis
    
    Test
    
    Foo
    
    Type_enclosing
    
    Type_search
    
    Type_utils
    
    Printtyp
    
    Doc
    
    Typed_hole
    
    Typedtree_utils
- Library merlin-lib.commands
  - Merlin_commands
    
    New_commands
    
    Query_json
- Library merlin-lib.config
  - Merlin_config
- Library merlin-lib.dot_protocol
  - Merlin_dot_protocol
    
    Directive
    
    Processed
    
    Raw
    
    S
    
    Commands
    
    Make
    
    Commands
    
    Blocking
    
    Commands
- Library merlin-lib.extend
  - Merlin_extend
    
    Extend_driver
    
    Extend_main
    
    Description
    
    Utils
    
    Reader
    
    Handshake
    
    Extend_protocol
    
    Reader
    
    V0
- Library merlin-lib.index_format
  - Merlin_index_format
    
    Granular_map
    
    S
    
    Make
    
    Granular_marshal
    
    Granular_set
    
    S
    
    Make
    
    Index_cache
    
    Index_format
    
    Lid
    
    Lid_set
    
    Stats
    
    Uid_set
    
    Uid_map
    
    Union_find
    
    Lid
    
    G
    
    Li
    
    Union_find
- Library 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
    
    Msource
    
    Digest
    
    Mtyper
    
    Phase_cache
    
    S
    
    Fingerprint
    
    With_cache
    
    Pparse
    
    Standard_library
- Library merlin-lib.ocaml_compression
  - Ocaml_compression
- Library merlin-lib.ocaml_merlin_specific
  - Merlin_specific
    
    Browse_raw
    
    Tast_helper
    
    Pat
    
    Typer_raw
- Library merlin-lib.ocaml_parsing
  - Ocaml_parsing
    
    Ast_helper
    
    Const
    
    Attr
    
    Typ
    
    Pat
    
    Exp
    
    Val
    
    Type
    
    Te
    
    Mty
    
    Mod
    
    Sig
    
    Str
    
    Md
    
    Ms
    
    Mtd
    
    Mb
    
    Opn
    
    Incl
    
    Vb
    
    Cty
    
    Ctf
    
    Cl
    
    Cf
    
    Ci
    
    Csig
    
    Cstr
    
    Rf
    
    Of
    
    Ast_iterator
    
    Ast_mapper
    
    Asttypes
    
    Attr_helper
    
    Builtin_attributes
    
    Docstrings
    
    WithMenhir
    
    Extend_helper
    
    Fake
    
    Lwt
    
    Meta
    
    Lexer
    
    Location
    
    Doc
    
    Location_aux
    
    Longident
    
    Msupport_parsing
    
    Parsetree
    
    Pprintast
    
    Doc
    
    Printast
    
    Syntaxerr
    
    Unit_info
    
    Artifact
- Library merlin-lib.ocaml_preprocess
  - Ocaml_preprocess
    
    Lexer_ident
    
    Lexer_raw
    
    MenhirLib
    
    General
    
    Convert
    
    Simplified
    
    IncrementalEngine
    
    INCREMENTAL_ENGINE
    
    SYMBOLS
    
    INSPECTION
    
    EVERYTHING
    
    EngineTypes
    
    TABLE
    
    Log
    
    MONOLITHIC_ENGINE
    
    INCREMENTAL_ENGINE_START
    
    ENGINE
    
    Engine
    
    Make
    
    ErrorReports
    
    LexerUtil
    
    Printers
    
    Make
    
    InfiniteArray
    
    PackedIntArray
    
    RowDisplacement
    
    LinearizedArray
    
    TableFormat
    
    TABLES
    
    InspectionTableFormat
    
    TABLES
    
    InspectionTableInterpreter
    
    Symbols
    
    Make
    
    TableInterpreter
    
    MakeEngineTable
    
    Log
    
    StaticVersion
    
    Parser_explain
    
    Parser_printer
    
    Parser_raw
    
    MenhirInterpreter
    
    Incremental
    
    Parser_recover
    
    Default
- Library merlin-lib.ocaml_typing
  - Ocaml_typing
    
    Annot
    
    Btype
    
    TypeSet
    
    TransientTypeMap
    
    TypeMap
    
    TypeHash
    
    TypePairs
    
    For_copy
    
    Cmi_cache
    
    Cmi_format
    
    Cmt_cache
    
    Cmt_format
    
    Ctype
    
    Pattern_env
    
    Datarepr
    
    Env
    
    Envaux
    
    Errortrace
    
    Subtype
    
    Errortrace_report
    
    Ident
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Includeclass
    
    Includecore
    
    Includemod
    
    Error
    
    FieldMap
    
    Functor_inclusion_diff
    
    Defs
    
    Functor_app_diff
    
    Defs
    
    Includemod_errorprinter
    
    Lambda
    
    Magic_numbers
    
    Cmi
    
    Style
    
    Msupport
    
    Mtype
    
    Natural
    
    Array
    
    S_no_zero
    
    Map
    
    Set
    
    Tbl
    
    Array
    
    S
    
    Map
    
    Set
    
    Tbl
    
    Array
    
    Make
    
    Map
    
    Set
    
    Tbl
    
    Array
    
    Make_no_zero
    
    Map
    
    Set
    
    Tbl
    
    Array
    
    Oprint
    
    Out_type
    
    Out_name
    
    Ident_names
    
    Ident_conflicts
    
    Variable_names
    
    Internal_names
    
    Outcometree
    
    Parmatch
    
    Compat
    
    Path
    
    Map
    
    Set
    
    Patterns
    
    Non_empty_row
    
    Simple
    
    Half_simple
    
    General
    
    Head
    
    Persistent_env
    
    Consistbl
    
    Persistent_signature
    
    Predef
    
    Primitive
    
    Printpat
    
    Compat
    
    Printtyp
    
    Doc
    
    Printtyped
    
    Rawprinttyp
    
    Saved_parts
    
    Shape
    
    Uid
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Sig_component_kind
    
    Item
    
    Map
    
    Map
    
    Shape_reduce
    
    Make
    
    Short_paths
    
    Desc
    
    Basis
    
    Short_paths_graph
    
    String_map
    
    Ident
    
    Ident_map
    
    Ident_set
    
    Path
    
    Path_map
    
    Path_set
    
    Desc
    
    Type
    
    Class_type
    
    Module_type
    
    Module
    
    Sort
    
    Age
    
    Map
    
    Set
    
    Tbl
    
    Array
    
    Dependency
    
    Map
    
    Set
    
    Tbl
    
    Array
    
    Origin
    
    Type
    
    Class_type
    
    Module_type
    
    Module
    
    Diff
    
    Item
    
    Component
    
    Graph
    
    Signature_group
    
    Stypes
    
    Subst
    
    Unsafe
    
    Lazy
    
    Tast_iterator
    
    Tast_mapper
    
    Type_immediacy
    
    Violation
    
    Typeclass
    
    Typecore
    
    Datatype_kind
    
    Typedecl
    
    Typedecl_immediacy
    
    Typedecl_properties
    
    Typedecl_separability
    
    Typedecl_unboxed
    
    Typedecl_variance
    
    Typedtree
    
    Uid
    
    Typemod
    
    Signature_names
    
    Sig_component_kind
    
    Typeopt
    
    Types
    
    Transient_expr
    
    TransientTypeOps
    
    TransientTypeHash
    
    Uid
    
    MethSet
    
    VarSet
    
    Meths
    
    Vars
    
    Variance
    
    Separability
    
    Typetexp
    
    TyVarEnv
    
    Untypeast
    
    Value_rec_check
    
    Value_rec_types
- Library merlin-lib.ocaml_utils
  - Ocaml_utils
    
    Build_path_prefix_map
    
    Clflags
    
    Compiler_pass
    
    Compression
    
    Config
    
    Consistbl
    
    Make
    
    Diffing
    
    Defs
    
    Define
    
    Parameters
    
    S
    
    Simple
    
    Left_variadic
    
    Right_variadic
    
    Diffing_with_keys
    
    Define
    
    Parameters
    
    Simple
    
    Directory_content_cache
    
    Identifiable
    
    Thing
    
    Pair
    
    S
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Make
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Lazy_backtrack
    
    Linkdeps
    
    Load_path
    
    Dir
    
    Local_store
    
    Tbl
    
    Warnings
- Library merlin-lib.os_ipc
  - Os_ipc
- Library merlin-lib.query_commands
  - Query_commands
- Library merlin-lib.query_protocol
  - Query_protocol
    
    Compl
- Library merlin-lib.sherlodoc
  - Merlin_sherlodoc
    
    Name_cost
    
    Query
    
    Type_distance
    
    Type_expr
    
    Type_lexer
    
    Type_parsed
    
    Type_parser
    
    Type_polarity
- Library merlin-lib.utils
  - Merlin_utils
    
    File_cache
    
    Make
    
    File_id
    
    Format_doc
    
    Doc
    
    Lib_config
    
    Json
    
    System
    
    Logger
    
    Marg
    
    Misc
    
    Int_literal_converter
    
    String
    
    Map
    
    Set
    
    Tbl
    
    Color
    
    Style
    
    Utf8_lexeme
    
    Ppxsetup
    
    Sexp
    
    Stamped_hashtable
    
    Std
    
    Json
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    List
    
    Lazy
    
    Option
    
    Infix
    
    Result
    
    String
    
    Set
    
    Map
    
    Format
    
    Lexing
    
    Char
    
    Glob
    
    Shell
    
    System
- Sources
  - merlin-lib.analysis
    
    ast_iterators.ml
    
    browse_misc.ml
    
    browse_tree.ml
    
    completion.ml
    
    construct.ml
    
    context.ml
    
    destruct.ml
    
    env_lookup.ml
    
    expansion.ml
    
    index_occurrences.ml
    
    inlay_hints.ml
    
    jump.ml
    
    locate.ml
    
    merlin_analysis.ml
    
    misc_utils.ml
    
    ocamldoc.ml
    
    occurrences.ml
    
    outline.ml
    
    parsetree_utils.ml
    
    polarity_search.ml
    
    ppx_expand.ml
    
    ptyp_of_type.ml
    
    refactor_open.ml
    
    signature_help.ml
    
    syntax_doc.ml
    
    tail_analysis.ml
    
    test.ml
    
    type_enclosing.ml
    
    type_search.ml
    
    type_utils.ml
    
    typed_hole.ml
    
    typedtree_utils.ml
  - merlin-lib.commands
    
    merlin_commands.ml
    
    new_commands.ml
    
    query_json.ml
  - merlin-lib.config
    
    merlin_config.ml
  - merlin-lib.dot_protocol
    
    merlin_dot_protocol.ml
  - merlin-lib.extend
    
    extend_driver.ml
    
    extend_main.ml
    
    extend_protocol.ml
    
    merlin_extend.ml
  - merlin-lib.index_format
    
    granular_map.ml
    
    granular_marshal.ml
    
    granular_set.ml
    
    index_cache.ml
    
    index_format.ml
    
    lid.ml
    
    merlin_index_format.ml
    
    union_find.ml
  - merlin-lib.kernel
    
    extension.ml
    
    mbrowse.ml
    
    mconfig.ml
    
    mconfig_dot.ml
    
    merlin_kernel.ml
    
    mocaml.ml
    
    mpipeline.ml
    
    mppx.ml
    
    mreader.ml
    
    mreader_explain.ml
    
    mreader_extend.ml
    
    mreader_lexer.ml
    
    mreader_parser.ml
    
    mreader_recover.ml
    
    msource.ml
    
    mtyper.ml
    
    phase_cache.ml
    
    pparse.ml
    
    standard_library.ml
  - merlin-lib.ocaml_compression
    
    ocaml_compression.ml
  - merlin-lib.ocaml_merlin_specific
    
    browse_raw.ml
    
    merlin_specific.ml
    
    tast_helper.ml
    
    typer_raw.ml
  - merlin-lib.ocaml_parsing
    
    ast_helper.ml
    
    ast_iterator.ml
    
    ast_mapper.ml
    
    asttypes.ml
    
    attr_helper.ml
    
    builtin_attributes.ml
    
    docstrings.ml
    
    extend_helper.ml
    
    fake.ml
    
    lexer.ml
    
    location.ml
    
    location_aux.ml
    
    longident.ml
    
    msupport_parsing.ml
    
    ocaml_parsing.ml
    
    pprintast.ml
    
    printast.ml
    
    syntaxerr.ml
    
    unit_info.ml
  - merlin-lib.ocaml_preprocess
    
    lexer_ident.ml
    
    lexer_raw.ml
    
    menhirLib.ml
    
    ocaml_preprocess.ml
    
    parser_explain.ml
    
    parser_printer.ml
    
    parser_raw.ml
    
    parser_recover.ml
  - merlin-lib.ocaml_typing
    
    btype.ml
    
    cmi_cache.ml
    
    cmi_format.ml
    
    cmt_cache.ml
    
    cmt_format.ml
    
    ctype.ml
    
    datarepr.ml
    
    env.ml
    
    envaux.ml
    
    errortrace.ml
    
    errortrace_report.ml
    
    ident.ml
    
    includeclass.ml
    
    includecore.ml
    
    includemod.ml
    
    includemod_errorprinter.ml
    
    lambda.ml
    
    magic_numbers.ml
    
    msupport.ml
    
    mtype.ml
    
    natural.ml
    
    ocaml_typing.ml
    
    oprint.ml
    
    out_type.ml
    
    parmatch.ml
    
    path.ml
    
    patterns.ml
    
    persistent_env.ml
    
    predef.ml
    
    primitive.ml
    
    printpat.ml
    
    printtyp.ml
    
    printtyped.ml
    
    rawprinttyp.ml
    
    saved_parts.ml
    
    shape.ml
    
    shape_reduce.ml
    
    short_paths.ml
    
    short_paths_graph.ml
    
    signature_group.ml
    
    stypes.ml
    
    subst.ml
    
    tast_iterator.ml
    
    tast_mapper.ml
    
    type_immediacy.ml
    
    typeclass.ml
    
    typecore.ml
    
    typedecl.ml
    
    typedecl_immediacy.ml
    
    typedecl_properties.ml
    
    typedecl_separability.ml
    
    typedecl_unboxed.ml
    
    typedecl_variance.ml
    
    typedtree.ml
    
    typemod.ml
    
    typeopt.ml
    
    types.ml
    
    typetexp.ml
    
    untypeast.ml
    
    value_rec_check.ml
  - merlin-lib.ocaml_utils
    
    build_path_prefix_map.ml
    
    clflags.ml
    
    compression.ml
    
    config.ml
    
    consistbl.ml
    
    diffing.ml
    
    diffing_with_keys.ml
    
    directory_content_cache.ml
    
    identifiable.ml
    
    lazy_backtrack.ml
    
    linkdeps.ml
    
    load_path.ml
    
    local_store.ml
    
    ocaml_utils.ml
    
    tbl.ml
    
    warnings.ml
  - merlin-lib.os_ipc
    
    os_ipc.ml
  - merlin-lib.query_commands
    
    query_commands.ml
  - merlin-lib.query_protocol
    
    query_protocol.ml
  - merlin-lib.sherlodoc
    
    merlin_sherlodoc.ml
    
    name_cost.ml
    
    query.ml
    
    type_distance.ml
    
    type_expr.ml
    
    type_lexer.ml
    
    type_parsed.ml
    
    type_parser.ml
    
    type_polarity.ml
  - merlin-lib.utils
    
    file_cache.ml
    
    file_id.ml
    
    format_doc.ml
    
    lib_config.ml
    
    logger.ml
    
    marg.ml
    
    merlin_utils.ml
    
    misc.ml
    
    ppxsetup.ml
    
    sexp.ml
    
    stamped_hashtable.ml
    
    std.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Ocaml_typing.Value_rec_check`Source

val is_valid_recursive_expression : 
  Ident.t list ->
  Typedtree.expression ->
  Value_rec_types.recursive_binding_kind option

Sourceval is_valid_class_expr : Ident.t list -> Typedtree.class_expr -> bool

package merlin-lib

Module Ocaml_typing.Value_rec_checkSource

Module `Ocaml_typing.Value_rec_check`Source