Safe Haskell	None

QuickAnnotate

Description

QuickAnnotate Module

Synopsis

Documentation

Type of source location data

class Annotatable a where

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

Methods

annotate :: Loc -> a -> a

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'