effective-aspects- A monadic embedding of aspect oriented programming

Safe HaskellNone




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