Safe Haskell	None

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
BuiltIn	A builtin thing

Instances

Constructors

L
Fields locatedLoc :: SrcSpan locatedInner :: a

Instances

Eq a => Eq (Located a)
Ord b => Ord (Located b)
Show a => Show (Located a)
PrettyPrintable a => PrettyPrintable (Located a)

Constructors

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

Instances

(Applicative m, Monad m) => MonadicPrettyPrintable m TCExp
TypeCheckable TCSType Type
TypeCheckable TCSTypeScheme TypeScheme
TypeCheckable TCInteractiveStmt ()
TypeCheckable TCAssertion ()
TypeCheckable TCExp Type
TypeCheckable TCPat Type
TypeCheckable TCMatch Type
TypeCheckable TCDecl [(Name, Type)]
TypeCheckable TCDataTypeClause (Name, [Type])
PrettyPrintable [b] => PrettyPrintable [Annotated a b]
TypeCheckable (AnCSPMFile Name) ()
Eq b => Eq (Annotated a b)
Ord b => Ord (Annotated a b)
Show b => Show (Annotated a b)
Hashable b => Hashable (Annotated a b)
PrettyPrintable b => PrettyPrintable (Annotated a b)
FreeVars a => FreeVars (Annotated b a)
BoundNames a => BoundNames (Annotated b a)
Desugarable a => Desugarable (Annotated () a)
Desugarable a => Desugarable (Annotated (Maybe Type, PType) 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)