Haskell Hierarchical Libraries (haskell-src package)
Contents
Index
Language.Haskell.TH
Synopsis
data
Q
a
runQ
::
Quasi
m =>
Q
a -> m a
report
::
Bool
->
String
->
Q
()
recover
::
Q
a ->
Q
a ->
Q
a
reify
::
Name
->
Q
Info
currentModule
::
Q
String
runIO
::
IO
a ->
Q
a
data
Name
mkName
::
String
->
Name
newName
::
String
->
Q
Name
nameBase
::
Name
->
String
data
Dec
=
FunD
Name
[
Clause
]
|
ValD
Pat
Body
[
Dec
]
|
DataD
Cxt
Name
[
Name
] [
Con
] [
Name
]
|
NewtypeD
Cxt
Name
[
Name
]
Con
[
Name
]
|
TySynD
Name
[
Name
]
Type
|
ClassD
Cxt
Name
[
Name
] [
Dec
]
|
InstanceD
Cxt
Type
[
Dec
]
|
SigD
Name
Type
|
ForeignD
Foreign
data
Exp
=
VarE
Name
|
ConE
Name
|
LitE
Lit
|
AppE
Exp
Exp
|
InfixE
(
Maybe
Exp
)
Exp
(
Maybe
Exp
)
|
LamE
[
Pat
]
Exp
|
TupE
[
Exp
]
|
CondE
Exp
Exp
Exp
|
LetE
[
Dec
]
Exp
|
CaseE
Exp
[
Match
]
|
DoE
[
Stmt
]
|
CompE
[
Stmt
]
|
ArithSeqE
Range
|
ListE
[
Exp
]
|
SigE
Exp
Type
|
RecConE
Name
[
FieldExp
]
|
RecUpdE
Exp
[
FieldExp
]
data
Con
=
NormalC
Name
[
StrictType
]
|
RecC
Name
[
VarStrictType
]
|
InfixC
StrictType
Name
StrictType
data
Type
=
ForallT
[
Name
]
Cxt
Type
|
VarT
Name
|
ConT
Name
|
TupleT
Int
|
ArrowT
|
ListT
|
AppT
Type
Type
type
Cxt
= [
Type
]
data
Match
=
Match
Pat
Body
[
Dec
]
data
Clause
=
Clause
[
Pat
]
Body
[
Dec
]
data
Body
=
GuardedB
[(
Exp
,
Exp
)]
|
NormalB
Exp
data
Stmt
=
BindS
Pat
Exp
|
LetS
[
Dec
]
|
NoBindS
Exp
|
ParS
[[
Stmt
]]
data
Range
=
FromR
Exp
|
FromThenR
Exp
Exp
|
FromToR
Exp
Exp
|
FromThenToR
Exp
Exp
Exp
data
Lit
=
CharL
Char
|
StringL
String
|
IntegerL
Integer
|
RationalL
Rational
|
IntPrimL
Integer
|
FloatPrimL
Rational
|
DoublePrimL
Rational
data
Pat
=
LitP
Lit
|
VarP
Name
|
TupP
[
Pat
]
|
ConP
Name
[
Pat
]
|
TildeP
Pat
|
AsP
Name
Pat
|
WildP
|
RecP
Name
[
FieldPat
]
|
ListP
[
Pat
]
type
FieldExp
= (
Name
,
Exp
)
type
FieldPat
= (
Name
,
Pat
)
data
Strict
=
IsStrict
|
NotStrict
data
Foreign
=
ImportF
Callconv
Safety
String
Name
Type
|
ExportF
Callconv
String
Name
Type
data
Callconv
=
CCall
|
StdCall
data
Safety
=
Unsafe
|
Safe
|
Threadsafe
data
Info
=
ClassI
Dec
|
ClassOpI
Name
Type
Name
Fixity
|
TyConI
Dec
|
DataConI
Name
Type
Name
Fixity
|
VarI
Name
Type
(
Maybe
Dec
)
Fixity
|
TyVarI
Name
Type
data
Fixity
=
Fixity
Int
FixityDirection
data
FixityDirection
=
InfixL
|
InfixR
|
InfixN
module
Language.Haskell.TH.THLib
Produced by
Haddock
version 0.6