Language.Haskell.Names.Annotated

Documentation

data Scoped l

A pair of the name information and original annotation. Used as an annotation type for AST.

Constructors

Scoped (NameInfo l) l

Instances

Functor Scoped

Typeable1 Scoped

Foldable Scoped

Traversable Scoped

Eq l => Eq (Scoped l)

Data l => Data (Scoped l)

Ord l => Ord (Scoped l)

Show l => Show (Scoped l)

SrcInfo l => SrcInfo (Scoped l)

Typeable a => Resolvable (Scoped a)

data NameInfo l

Constructors

GlobalValue (SymValueInfo OrigName)

global value

GlobalType (SymTypeInfo OrigName)

global type

LocalValue SrcLoc

local value, and location where it is bound

TypeVar SrcLoc

type variable, and location where it is bound

Binder

here the name is bound

Import Table

import declaration, and the table of symbols that it introduces

ImportPart Symbols

part of an import declaration

Export Symbols

export declaration, and the symbols it exports

None

no annotation

ScopeError (Error l)

scope error

Instances

Functor NameInfo

Typeable1 NameInfo

Foldable NameInfo

Traversable NameInfo

Eq l => Eq (NameInfo l)

Data l => Data (NameInfo l)

Ord l => Ord (NameInfo l)

Show l => Show (NameInfo l)

annotate :: forall a l. (Resolvable (a (Scoped l)), Functor a, Typeable l) => Scope -> a l -> a (Scoped l)