Util.Annotated

Documentation

Constructors

SrcLoc
Fields srcLocFile :: String srcLocLine :: !Int srcLocCol :: !Int
NoLoc

Instances

Eq SrcLoc
Ord SrcLoc

Constructors

SrcSpanOneLine
Fields srcSpanFile :: String srcSpanLine :: !Int srcSpanSCol :: !Int srcSpanECol :: !Int
SrcSpanMultiLine
Fields srcSpanFile :: String srcSpanSLine :: !Int srcSpanSCol :: !Int srcSpanELine :: !Int srcSpanECol :: !Int
SrcSpanPoint
Fields srcSpanFile :: String srcSpanLine :: !Int srcSpanCol :: !Int
Unknown

Instances

Constructors

L
Fields locatedLoc :: SrcSpan locatedInner :: a

Instances

Locatable Located
Eq a => Eq (Located a)
Show a => Show (Located a)
PrettyPrintable a => PrettyPrintable (Located a)

Constructors

An
Fields loc :: SrcSpan annotation :: a inner :: b

Instances

TypeCheckable TCInteractiveStmt ()
TypeCheckable TCExp Type
TypeCheckable TCPat Type
TypeCheckable TCMatch Type
TypeCheckable TCModule ()
TypeCheckable TCDecl [(Name, Type)]
TypeCheckable TCDataTypeClause (Name, [Type])
PrettyPrintable [b] => PrettyPrintable [Annotated a b]
Locatable (Annotated a)
TypeCheckable [TCModule] ()
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)
FreeVars a => FreeVars (Annotated b a)
Bindable a => Bindable (Annotated b a)
FreeVars a => FreeVars (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)
Renamable e1 e2 => Renamable (Annotated a e1) (Annotated a e2)