effective-aspects-mzv-0.1.0.1: A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl.

Safe HaskellNone

AOP.Internal.PolyTypeableUtils

Synopsis

Documentation

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

Monad andmap

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

Applies a function on the first component of a pair

isLessGeneral :: TypeRep -> TypeRep -> BoolSource

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