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

Safe HaskellSafe-Inferred

DDC.Core.Transform.Deannotate

Synopsis

Documentation

class Deannotate c1 c2 | c1 -> c2 whereSource

Convert the Annot version of the AST to the Simple version, using the provided function to decide when to keep the annotation.

Methods

deannotate :: (a -> Maybe a) -> c1 a n -> c2 a nSource