| Stability | experimental |
|---|---|
| Maintainer | developer@flocc.net |
| Safe Haskell | None |
Compiler.Types2.Substitutions
Description
For more information please see http://www.flocc.net/
- type SubstMap t = Map t t
- emptySubstMap :: Map a a
- applySubsts :: Ord a => SubstMap a -> a -> a
- applySubstsMap :: (Ord a, Monad m, Mappable a) => SubstMap a -> a -> m a
- fromDisjointList :: Ord a => [(a, a)] -> SubstMap a
- composeSubsts :: (Ord a, Mappable a) => SubstMap a -> SubstMap a -> SubstMap a
Documentation
emptySubstMap :: Map a a
emptySubstMap is an empty set of substitutions
applySubsts :: Ord a => SubstMap a -> a -> a
applySubstsMap :: (Ord a, Monad m, Mappable a) => SubstMap a -> a -> m a
...
fromDisjointList :: Ord a => [(a, a)] -> SubstMap a
fromDisjointList takes a list of disjoint (Var id, VarsIn) pairs |and returns a VarSubsts.