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

Safe HaskellSafe-Inferred

DDC.Core.Transform.Reannotate

Synopsis

Documentation

class Reannotate c whereSource

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

Methods

reannotate :: (a -> b) -> c a n -> c b nSource