Safe Haskell | Safe-Inferred |
---|
- class Deannotate c1 c2 | c1 -> c2 where
- deannotate :: (a -> Maybe a) -> c1 a n -> c2 a n
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.
deannotate :: (a -> Maybe a) -> c1 a n -> c2 a nSource