YhcSource codeContentsIndex
Type.Subst
Synopsis
class Substitute a where
subst :: NTSubst -> a -> a
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
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
show/hide 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