Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- class Reannotate c where
- reannotate :: (a -> b) -> c a n -> c b n
- reannotateM :: forall m a b n. Monad m => (a -> m b) -> c a n -> m (c b n)
Documentation
class Reannotate c where Source
Apply the given function to every annotation in a core thing.
reannotate :: (a -> b) -> c a n -> c b n Source
reannotateM :: forall m a b n. Monad m => (a -> m b) -> c a n -> m (c b n) Source