DDC.Core.Transform.Annotate

Documentation

class Annotate c1 c2 | c1 -> c2 where

Convert the Simple version of the AST to the Annot version, using a the provided default annotation value.

Methods

annotate :: a -> c1 a n -> c2 a n

Instances

Annotate Cast Cast

Annotate Witness Witness

Annotate Alt Alt

Annotate Lets Lets

Annotate Exp Exp