ddc-core-0.4.2.1: Disciplined Disciple Compiler core language and type checker.

Safe HaskellSafe
LanguageHaskell98

DDC.Core.Transform.Reannotate

Synopsis

Documentation

class Reannotate c where Source

Apply the given function to every annotation in a core thing.

Minimal complete definition

reannotateM

Methods

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