Safe Haskell	Safe
Language	Haskell98

DDC.Core.Flow.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.

Minimal complete definition

Methods

deannotate :: (a -> Maybe a) -> c1 a n -> c2 a n Source #

Instances

Deannotate Exp Exp Source #
Methods deannotate :: (a -> Maybe a) -> Exp a n -> Exp a n Source #
Deannotate Lets Lets Source #
Methods deannotate :: (a -> Maybe a) -> Lets a n -> Lets a n Source #
Deannotate Alt Alt Source #
Methods deannotate :: (a -> Maybe a) -> Alt a n -> Alt a n Source #
Deannotate Cast Cast Source #
Methods deannotate :: (a -> Maybe a) -> Cast a n -> Cast a n Source #
Deannotate Witness Witness Source #
Methods deannotate :: (a -> Maybe a) -> Witness a n -> Witness a n Source #