If I want to extend List with additional functions, I can just do: include module type of List val flat_map : ('a -> 'b list) -> 'a list -> 'b list include List let flat_map f l = flatten (map f) l and that’s fine. But if I want to extend Format, this simple trick doesn’t work so well, because t…

Easy peasy! There is an OCaml idiom for that: include module type of struct include Format end To understand why that works, you need a bit of knowledge on the module type system. The basic idea is the following: the struct include X end dance forces the typechecker to “strengthen” the module sign…

Extend existing module

Learning

c-cube January 6, 2018, 2:26pm 7

really neat, thank you!

Topic		Replies	Views
Combining independent extension functors Learning module , functor	5	784	September 23, 2020
How to include module-type with variant-type? Learning module	2	860	May 5, 2021
Extending a module with Ctypes Learning	0	333	April 9, 2023
Using module type of with module aliases in OCaml 4.07.* Learning	2	1417	January 11, 2019
Create copy of module with modified submodule Learning module	11	2014	April 27, 2018

Extend existing module

Related Topics