QuickAnnotate-0.6: Annotation Framework

Safe HaskellNone

QuickAnnotate

Description

QuickAnnotate Module

Synopsis

Documentation

type Loc = StringSource

Type of source location data

class Annotatable a whereSource

Annotatable is used for overloading the annotate function added by the preprocessor.

Methods

annotate :: Loc -> a -> aSource

Instances

Annotatable a

By default all types that do not derive Annotatable expilicitly are annotated by id.

Annotatable b => Annotatable (a -> b)

The annotate function ignores types of the arguments in a function (abstraction) and annotates the returned value based on its type. For example: 'annotate ( x y -> x )' is equal to 'x y -> annotate x'