search

janestreet / core_kernel

Jane Street's standard library overlay (kernel)
MIT License
219 stars 63 forks source link

Provide Base's M functor for collections #72

Closed leviroth closed 6 years ago

leviroth commented 6 years ago

In Base, collection modules such as Set and Map contain a functor M which is useful for referring to the type of a collection produced by a comparator:

type 'a int_map = 'a Map.M(Int).t

However, this doesn't appear to be a part of the Core versions of Set and Map. It would be nice to have, especially now that Core is going in Base's direction of not requiring a new module for each key type.

yminsky commented 6 years ago

I think this is just an omission on our part. I've been running into the same thing as I've been looking at using Base more in RWO. I'll see if we can get this resolved.

hhugo commented 6 years ago

This believe this has been fixed