|
|
|
|
Synopsis |
|
|
|
Documentation |
|
class Substitute a where |
subst does not just apply the mapping represented by the tree once,
but it applies the idempotent closure of the mapping!
substNT below only applies the mapping once.
| | Methods | subst :: NTSubst -> a -> a |
| | Instances | |
|
|
idSubst :: NTSubst |
|
substEnv :: Substitute b => NTSubst -> [(a, b)] -> [(a, b)] |
|
substCtxs :: Substitute a => NTSubst -> [a] -> [a] |
|
stripSubst :: NTSubst -> Id -> NTSubst |
|
addSubst :: NTSubst -> Id -> NT -> NTSubst |
|
applySubst :: NTSubst -> Id -> Maybe NT |
|
list2Subst :: [(Id, NT)] -> NTSubst |
|
strace :: String -> a -> a |
|
substNT :: [(Id, NT)] -> NT -> NT |
substNT only goes one step, used for (1->2),(2->1) substitutions in TypeCtx
|
|
Produced by Haddock version 0.8 |