zip package:ghc

Generates the in-scope set for the Subst from the types in the incoming environment. No TyVars, please!

Generates the in-scope set for the Subst from the types in the incoming environment. No CoVars or Ids, please!

The InScopeSet is just a thunk so with a bit of luck it'll never be evaluated

When a key is found in both maps, apply a function to the key and values to produce an action and use its result in the merged map.

When a key is found in both maps, apply a function to the key and values and use the result in the merged map.

zipWithMatched
:: (Key -> x -> y -> z)
-> SimpleWhenMatched x y z

When a key is found in both maps, apply a function to the key and values, perform the resulting action, and maybe use the result in the merged map. This is the fundamental WhenMatched tactic.

When a key is found in both maps, apply a function to the key and values and maybe use the result in the merged map.

zipWithMaybeMatched
:: (Key -> x -> y -> Maybe z)
-> SimpleWhenMatched x y z

This has the effect of making the two lists have equal length by dropping the tail of the longer one.

zipWith3M for NonEmpty lists.