Language.Syntactic.Sharing.StableName

Documentation

data StName c where

StableName of a (c (Full a)) with hidden result type

Constructors

StName :: Typeable a => StableName (c (Full a)) -> StName c

Instances

Eq (StName c)

stCast :: forall a b c. (Typeable a, Typeable b) => StableName (c (Full a)) -> Maybe (StableName (c (Full b)))

hash :: StName c -> Int

type History c = IntMap [(StName c, NodeId)]

lookHistory :: History c -> StName c -> Maybe NodeId

remember :: StName c -> NodeId -> History c -> History c

fresh :: (Enum a, MonadIO m) => IORef a -> m a

Return a fresh identifier from the given supply