Util.Annotated

Documentation

data SrcLoc

Constructors

SrcLoc

Fields

srcLocFile :: String

srcLocLine :: !Int

srcLocCol :: !Int

NoLoc

Instances

Eq SrcLoc

Ord SrcLoc

data SrcSpan

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

Eq SrcSpan

Ord SrcSpan

Show SrcSpan

PrettyPrintable SrcSpan

srcSpanStart :: SrcSpan -> SrcLoc

srcSpanEnd :: SrcSpan -> SrcLoc

combineSpans :: SrcSpan -> SrcSpan -> SrcSpan

data Located a

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)

data Annotated a b

Constructors

An

Fields

loc :: SrcSpan

annotation :: a

inner :: b

Instances

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)

dummyAnnotation :: a

unAnnotate :: Annotated a b -> b