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

Lambda simplification.

Warning: this module is unstable and part of compiler-libs.

val simplify_lambda : Lambda.lambda -> Lambda.lambda

val split_default_wrapper : 
  id:Ident.t ->
  kind:Lambda.function_kind ->
  params:(Ident.t * Lambda.value_kind) list ->
  return:Lambda.value_kind ->
  body:Lambda.lambda ->
  attr:Lambda.function_attribute ->
  loc:Lambda.scoped_location ->
  (Ident.t * Lambda.lambda) list