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

Safe HaskellSafe-Inferred

DDC.Core.Transform.Annotate

Synopsis

Documentation

class Annotate c1 c2 | c1 -> c2 whereSource

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 nSource

Instances