AOP.Internal.PolyTypeableUtils

Documentation

mmap :: Monad m => (a -> a' -> m Bool) -> [a] -> [a'] -> m Bool

Monad andmap

first :: (a -> a') -> (a, b) -> (a', b)

Applies a function on the first component of a pair

isLessGeneral :: TypeRep -> TypeRep -> Bool

Returns True iff t1 is less general than t2 | We use a hashmap to compute a substitution from t2 to t1