Safe Haskell | None |
---|
Language.Syntactic.Sharing.StableName
Documentation
data StName c where
StableName
of a (c (Full a))
with hidden result type
Constructors
StName :: StableName (c (Full a)) -> StName c |
lookHistory :: History c -> StName c -> Maybe NodeId
Lookup a name in the history