Safe Haskell | None |
---|
- data StName c where
- StName :: Typeable a => StableName (c (Full a)) -> 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
Documentation
StableName
of a (c (
) with hidden result type
Full
a)
StName :: Typeable a => StableName (c (Full a)) -> StName c |
stCast :: forall a b c. (Typeable a, Typeable b) => StableName (c (Full a)) -> Maybe (StableName (c (Full b)))Source