package merlin-lib

  1. Overview
  2. Docs
package merlin-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Subst.UnsafeSource

Unsafe substitutions introduced by with constraints, local substitutions (type t := int * int) or recursive module check.

Sourceval add_modtype : Ident.t -> Types.module_type -> 'any subst -> t

Replacing a module type name S by a non-path signature is unsafe as the packed module type (module S) becomes ill-formed.

Sourceval add_modtype_path : Path.t -> Types.module_type -> 'any subst -> t
Sourceval add_type_path : Path.t -> Path.t -> t -> t

Deep editing inside a module type require to retypecheck the module, for applicative functors in path and module aliases.

Sourceval add_type_function : Path.t -> params:Types.type_expr list -> body:Types.type_expr -> t -> t
Sourceval add_module_path : Path.t -> Path.t -> t -> t
Sourcetype error =
  1. | Fcm_type_substituted_away of Path.t * Types.module_type
type 'a res := ('a, error) result
Sourceval compose : t -> t -> t res

Composition of substitutions is eager and fails when the two substitution are incompatible, for example module type t := sig end is not compatible with module type s := sig type t=(module t) end

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct