Documentation
HState | |
|
MonadState (HState t) (Herbrand t) | |
Monad m => MonadState (HState t) (HerbrandT t m) |
updateState :: (HTerm t, MonadState (HState t) m) => (HState t -> HState t) -> m ()Source
newvarH :: (HTerm t, MonadState (HState t) m) => m tSource
shallow_normalize :: (HTerm t, MonadState (HState t) m) => t -> m tSource
normalize :: (HTerm t, MonadState (HState t) m) => t -> m tSource