package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (10)

Authors

T

The Merlin team

Maintainers

D

defree@gmail.com

Sources

merlin-4.19-414.tbz

sha256=60a630f59203a9ce7047a5f04d0f239945960dac6f38102922e328b6d2657384

sha512=19f8ec152356873e29c05b971a529146bb7079929037c2b35a5c0afb0b3adf662341ee8527282c5fdd16de391d01c2c469fc8629af9e0ae443fa9f42472b70bb

doc/merlin-lib.ocaml_typing/Ocaml_typing/Shape/index.html

Module `Ocaml_typing.Shape`Source

Sourcemodule Uid : sig ... end

Sourcemodule Sig_component_kind : sig ... end

Sourcemodule Item : sig ... end

Sourcetype var = Ident.t

Sourcetype t = {

uid : Uid.t option;
desc : desc;

}

Sourceand desc =

| Var of var
| Abs of var * t
| App of t * t
| Struct of t Item.Map.t
| Leaf
| Proj of t * Item.t
| Comp_unit of string

Sourceval print : Format.formatter -> t -> unit

Sourceval for_unnamed_functor_param : var

Sourceval fresh_var : ?name:string -> Uid.t -> var * t

Sourceval var : Uid.t -> Ident.t -> t

Sourceval abs : ?uid:Uid.t -> var -> t -> t

Sourceval app : ?uid:Uid.t -> t -> arg:t -> t

Sourceval str : ?uid:Uid.t -> t Item.Map.t -> t

Sourceval proj : ?uid:Uid.t -> t -> Item.t -> t

Sourceval leaf : Uid.t -> t

Sourceval decompose_abs : t -> (var * t) option

Sourceval for_persistent_unit : string -> t

Sourceval leaf_for_unpack : t

Sourcemodule Map : sig ... end

Sourceval dummy_mod : t

Source

val of_path : 
  find_shape:(Sig_component_kind.t -> Ident.t -> t) ->
  namespace:Sig_component_kind.t ->
  Path.t ->
  t

Sourceval set_uid_if_none : t -> Uid.t -> t

Sourcemodule Make_reduce (Context : sig ... end) : sig ... end

The Make_reduce functor is used to generate a reduction function for shapes.

Sourceval local_reduce : t -> t