Documentation
SrcLoc | |
| |
NoLoc |
SrcSpanOneLine | |
| |
SrcSpanMultiLine | |
| |
SrcSpanPoint | |
| |
Unknown |
srcSpanStart :: SrcSpan -> SrcLocSource
srcSpanEnd :: SrcSpan -> SrcLocSource
combineSpans :: SrcSpan -> SrcSpan -> SrcSpanSource
L | |
|
Locatable Located | |
Eq a => Eq (Located a) | |
Show a => Show (Located a) | |
PrettyPrintable a => PrettyPrintable (Located a) |
An | |
|
TypeCheckable PInteractiveStmt () | |
TypeCheckable PExp Type | |
TypeCheckable PPat Type | |
TypeCheckable PMatch Type | |
TypeCheckable PModule () | |
TypeCheckable PDecl [(Name, Type)] | |
TypeCheckable PDataTypeClause (Name, [Type]) | |
PrettyPrintable [b] => PrettyPrintable [Annotated a b] | |
Locatable (Annotated a) | |
TypeCheckable [PModule] () | |
Eq b => Eq (Annotated a b) | |
Show b => Show (Annotated a b) | |
PrettyPrintable b => PrettyPrintable (Annotated a b) | |
Desugarable a => Desugarable (Annotated b a) | |
Desugarable a => Desugarable (Annotated Type a) | |
Evaluatable a => Evaluatable (Annotated b a) | |
Bindable a => Bindable (Annotated b a) | |
Compressable a => Compressable (Annotated () a) | |
Compressable a => Compressable (Annotated (Maybe SymbolTable, PSymbolTable) a) | |
Compressable a => Compressable (Annotated (Maybe Type, PType) a) | |
FreeVars a => FreeVars (Annotated b a) | |
Dependencies a => Dependencies (Annotated b a) |
unAnnotate :: Annotated a b -> bSource