|
|
|
|
| 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 |
