Documentation
data StName c whereSource
StableName
of a (c (Full a))
with hidden result type
type History c = IntMap [(StName c, NodeId)]Source
A hash table from StName
to NodeId
(with hash
as the hashing
function). I.e. it is assumed that the StName
s at each entry all have the
same hash, and that this number is equal to the entry's key.
fresh :: (Enum a, MonadIO m) => IORef a -> m aSource
Return a fresh identifier from the given supply