package melange-compiler-libs

You can search for identifiers within the package.

in-package search v0.2.0

melange-compiler-libs
- Melange_compiler_libs
  - Annot
  - Ast_mapper
  - Bs_clflags
  - Btype
    
    For_copy
    
    TransientTypeMap
    
    TypeHash
    
    TypeMap
    
    TypePairs
    
    TypeSet
  - Builtin_attributes
  - Cmi_format
  - Cmt2annot
  - Cmt_format
  - Config
  - Ctype
  - Datarepr
  - Depend
  - Env
  - Envaux
  - Errortrace
    
    Subtype
  - Includeclass
  - Includecore
  - Includemod
    
    Error
    
    FieldMap
    
    Functor_app_diff
    
    Defs
    
    Functor_inclusion_diff
    
    Defs
  - Includemod_errorprinter
  - Lambda
  - Lexer
  - Location
  - Matching
  - Misc
    
    Color
    
    Error_style
    
    Int_literal_converter
    
    LongString
    
    Magic_number
    
    Stdlib
    
    Array
    
    List
    
    Option
    
    String
    
    Map
    
    Set
    
    Tbl
  - Mtype
  - Oprint
  - Parmatch
    
    Compat
    
    _
  - Parse
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Patterns
    
    General
    
    Half_simple
    
    Head
    
    Non_empty_row
    
    Simple
  - Persistent_env
    
    Consistbl
    
    Persistent_signature
  - Predef
  - Primitive
  - Printlambda
  - Printpat
  - Printtyp
    
    Conflicts
    
    Naming_context
    
    Out_name
    
    Subtype
  - Printtyped
  - Rec_check
  - Rescript_cpp
  - Shape
    
    Item
    
    Map
    
    Make_reduce
    
    Context
    
    Map
    
    Sig_component_kind
    
    Uid
    
    Map
    
    Set
    
    T
    
    Tbl
  - Signature_group
  - Simplif
  - Stypes
  - Subst
    
    Lazy
  - Switch
    
    CtxStore
    
    A
    
    CtxStored
    
    Make
    
    Arg
    
    S
    
    Store
    
    A
    
    Stored
  - Tast_iterator
  - Tast_mapper
  - Tmc
  - Translattribute
  - Translclass
  - Translcore
  - Translmod
  - Translobj
  - Translprim
  - 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
  - Warnings

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Consistbl : 
  module type of struct include Consistbl.Make(Misc.Stdlib.String) end

type error =

| Illegal_renaming of Misc.modname * Misc.modname * Misc.filepath
| Inconsistent_import of Misc.modname * Misc.filepath * Misc.filepath
| Need_recursive_types of Misc.modname
| Depend_on_unsafe_string_unit of Misc.modname

exception Error of error

val report_error : Format.formatter -> error -> unit

module Persistent_signature : sig ... end

type can_load_cmis =

| Can_load_cmis
| Cannot_load_cmis of Lazy_backtrack.log

type 'a t

val empty : unit -> 'a t

val clear : 'a t -> unit

val clear_missing : 'a t -> unit

val fold : 'a t -> (Misc.modname -> 'a -> 'b -> 'b) -> 'b -> 'b

val read : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  Misc.modname ->
  Misc.filepath ->
  'a

val find : 'a t -> (Persistent_signature.t -> 'a) -> Misc.modname -> 'a

val find_in_cache : 'a t -> Misc.modname -> 'a option

val check : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  loc:Location.t ->
  Misc.modname ->
  unit

val looked_up : 'a t -> Misc.modname -> bool

val is_imported : 'a t -> Misc.modname -> bool

val is_imported_opaque : 'a t -> Misc.modname -> bool

val register_import_as_opaque : 'a t -> Misc.modname -> unit

val make_cmi : 
  'a t ->
  Misc.modname ->
  Types.signature ->
  Misc.alerts ->
  Cmi_format.cmi_infos

val save_cmi : 
  ?check_exists:unit ->
  'a t ->
  Persistent_signature.t ->
  'a ->
  unit

val can_load_cmis : 'a t -> can_load_cmis

val set_can_load_cmis : 'a t -> can_load_cmis -> unit

val without_cmis : 'a t -> ('b -> 'c) -> 'b -> 'c

val import_crcs : 'a t -> source:Misc.filepath -> Misc.crcs -> unit

val imports : 'a t -> Misc.crcs

val crc_of_unit : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  Misc.modname ->
  Digest.t

val add_delayed_check_forward : ((unit -> unit) -> unit) ref