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

Safe HaskellSafe
LanguageHaskell98

DDC.Core.Transform.Deannotate

Synopsis

Documentation

class Deannotate c1 c2 | c1 -> c2 where Source

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 n Source