AutoProof.Internal.Utils.MapUtils

Description

Miscellaneous map-related functions.

Synopsis

Documentation

toMap :: (Ord k, Foldable t) => t (k, v) -> Map k v Source #

Convert a foldable collection of (key, value) pairs into a map.

>>> set = Set.fromList [("a", 0), ("b", 1)]
>>> toMap set
fromList [("a",0),("b",1)]