infernu-0.0.0.1: Type inference and checker for JavaScript (experimental)

Safe HaskellSafe-Inferred
LanguageHaskell2010

Infernu.Lib

Synopsis

Documentation

matchZip :: [a] -> [b] -> Maybe [(a, b)] Source

safeLookup :: Eq a => [(a, a)] -> a -> a Source

flipMap :: (Ord k, Ord v) => Map k v -> Map v (Set k) Source

Creates an inverse map. Multiple keys mapping to the same values are collected into Sets.

>>> flipMap $ Map.fromList [(1,2),(2,2)]
fromList [(2,fromList [1,2])]

splatMap :: Ord k => Map (Set k) a -> Map k a Source