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 Annot : sig ... end

module Ast_mapper : sig ... end

The interface of a -ppx rewriter

module Bs_clflags : sig ... end

module Btype : sig ... end

module Builtin_attributes : sig ... end

Support for some of the builtin attributes

module Cmi_format : sig ... end

module Cmt2annot : sig ... end

module Cmt_format : sig ... end

cmt and cmti files format.

module Config : sig ... end

System configuration

module Ctype : sig ... end

module Datarepr : sig ... end

module Depend : sig ... end

Module dependencies.

module Env : sig ... end

module Envaux : sig ... end

module Errortrace : sig ... end

module Includeclass : sig ... end

module Includecore : sig ... end

module Includemod : sig ... end

module Includemod_errorprinter : sig ... end

module Lambda : sig ... end

module Lexer : sig ... end

The lexical analyzer

module Location : sig ... end

Source code locations (ranges of positions), used in parsetree.

module Matching : sig ... end

module Misc : sig ... end

Miscellaneous useful types and functions

module Mtype : sig ... end

module Oprint : sig ... end

module Parmatch : sig ... end

Detection of partial matches and unused match cases.

module Parse : sig ... end

Entry points in the parser

module Parser : sig ... end

module Patterns : sig ... end

module Persistent_env : sig ... end

module Predef : sig ... end

module Primitive : sig ... end

module Printlambda : sig ... end

module Printpat : sig ... end

module Printtyp : sig ... end

module Printtyped : sig ... end

module Rec_check : sig ... end

module Rescript_cpp : sig ... end

module Shape : sig ... end

module Signature_group : sig ... end

Iterate on signature by syntactic group of items

module Simplif : sig ... end

Lambda simplification.

module Stypes : sig ... end

module Subst : sig ... end

module Switch : sig ... end

module Tast_iterator : sig ... end

Allows the implementation of typed tree inspection using open recursion

module Tast_mapper : sig ... end

module Tmc : sig ... end

Tail-modulo-cons optimization.

module Translattribute : sig ... end

module Translclass : sig ... end

module Translcore : sig ... end

module Translmod : sig ... end

module Translobj : sig ... end

module Translprim : sig ... end

module Typeclass : sig ... end

module Typecore : sig ... end

module Typedecl : sig ... end

module Typedecl_immediacy : sig ... end

module Typedecl_properties : sig ... end

module Typedecl_separability : sig ... end

The OCaml runtime assumes for type-directed optimizations that all types are "separable". A type is "separable" if either all its inhabitants (the values of this type) are floating-point numbers, or none of them are.

module Typedecl_unboxed : sig ... end

module Typedecl_variance : sig ... end

module Typedtree : sig ... end

Abstract syntax tree after typing

module Typemod : sig ... end

Type-checking of the module language and typed ast hooks

module Typeopt : sig ... end

module Types : sig ... end

module Typetexp : sig ... end

module Untypeast : sig ... end

module Warnings : sig ... end

Warning definitions