Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
union :: Ord a => c a -> c a -> c a Source
intersection :: Ord a => c a -> c a -> c a Source
difference :: Ord a => c a -> c a -> c a Source
class SetLike (subst name) => Substitutable subst name domain a where Source
Substitutable Map ExprVar Expr Expr Source | |
Substitutable Map TypeVar Type Prenex Source | |
Substitutable Map TypeVar Type Type Source | |
Substitutable Map TypeVar Type Context Source | |
(Functor f, Substitutable subst name domain a) => Substitutable subst name domain (f a) Source |