invariant_map library

Provide an extension type IMap as a replacement for the built-in class Map as a type, with better type safety.

Extensions

IMapExtension on Map<K, V>

Extension methods used with regular Map objects in order to concisely obtain an expression of type IMap, and in order to validate the invariance.

Typedefs

IMap<K, V> = _IMap<K, V, _Inv<(K, V)>>

A replacement for the built-in class Map that offers improved type safety because it is invariant in its type parameters.