DDC.Core.Transform.Reannotate

Documentation

class Reannotate c where

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

reannotateM :: forall m a b n. Monad m => (a -> m b) -> c a n -> m (c b n)

Instances

Reannotate Witness

Methods

reannotate :: (a -> b) -> Witness a n -> Witness b n

reannotateM :: Monad m => (a -> m b) -> Witness a n -> m (Witness b n)

Reannotate Cast

Methods

reannotate :: (a -> b) -> Cast a n -> Cast b n

reannotateM :: Monad m => (a -> m b) -> Cast a n -> m (Cast b n)

Reannotate Alt

Methods

reannotate :: (a -> b) -> Alt a n -> Alt b n

reannotateM :: Monad m => (a -> m b) -> Alt a n -> m (Alt b n)

Reannotate Lets

Methods

reannotate :: (a -> b) -> Lets a n -> Lets b n

reannotateM :: Monad m => (a -> m b) -> Lets a n -> m (Lets b n)

Reannotate Exp

Methods

reannotate :: (a -> b) -> Exp a n -> Exp b n

reannotateM :: Monad m => (a -> m b) -> Exp a n -> m (Exp b n)

Reannotate Module

Methods

reannotate :: (a -> b) -> Module a n -> Module b n

reannotateM :: Monad m => (a -> m b) -> Module a n -> m (Module b n)