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

Minimal complete definition

annotate

Methods

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

Instances

Annotate Cast Cast

Methods

annotate :: a -> Cast a n -> Cast a n

Annotate Witness Witness

Methods

annotate :: a -> Witness a n -> Witness a n

Annotate Alt Alt

Methods

annotate :: a -> Alt a n -> Alt a n

Annotate Lets Lets

Methods

annotate :: a -> Lets a n -> Lets a n

Annotate Exp Exp

Methods

annotate :: a -> Exp a n -> Exp a n