Safe Haskell | Safe-Infered |
---|
AOP.Internal.PolyTypeableUtils
- mmap :: Monad m => (a -> a' -> m Bool) -> [a] -> [a'] -> m Bool
- first :: (a -> a') -> (a, b) -> (a', b)
- isLessGeneral :: TypeRep -> TypeRep -> Bool
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 one-way unification from t1 to t2