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.17.1-501.tbz

sha256=376707aa871f09e9639456d3fbe4b89a21c9ad75c774e94cbbbe67f842b0a500

sha512=a11ea4b8e3520b3ee41ae8198cda34b2816b8dfcdcb99350ef29689a7d62bb66d17ffa075c551aa56d521120b55e6db14a106a31f7b3970ed2aa07e1db3c9b88

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