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.16-414.tbz

sha256=c5e91975f3df56849e1b306f356c31709a2b139d7d57634b8d21e473266fcf2d

sha512=1d2db379b496dc0b95874f312011cce1a48f6808e098f1aff768de0eef0caff222adc17ab61b85c7aac8d889bf9d829fb5d0211267c7a85572ce201c1cbcb990

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