package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

sha256=2cea46f12397fa6e31ef0c0d4f5e11c1cfd916ee49420694005c95ebb3aa24bc

sha512=e94abb9ae38149245337db033e2c3891c7ec772168e99abf1bda0216a894c0854e7170b56fe88eba83ec98f2ebc0f5c7c723e8db14f59eeb6dd348bec12c6d62

Sourcetype result =

| Resolved of Shape.Uid.t
(*
Shape reduction succeeded and a uid was found
*)
| Resolved_alias of Shape.Uid.t * result
(*
Reduction led to an alias
*)
| Unresolved of Shape.t
(*
Result still contains Comp_unit terms
*)
| Approximated of Shape.Uid.t option
(*
Reduction failed: it can arrive with first-class modules for example
*)
| Internal_error_missing_uid
(*
Reduction succeeded but no uid was found, this should never happen
*)

The result of reducing a shape and looking for its uid

Sourceval print_result : Format.formatter -> result -> unit

Sourcemodule Make (_ : sig ... end) : sig ... end

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

Sourceval local_reduce : Env.t -> Shape.t -> Shape.t

local_reduce will not reduce shapes that require loading external compilation units.

Sourceval local_reduce_for_uid : Env.t -> Shape.t -> result

local_reduce_for_uid will not reduce shapes that require loading external compilation units.