Language.Haskell.TH

Synopsis

Documentation

Instances

Monad Q
Functor Q
Quasi Q

runQ :: Quasi m => Q a -> m aSource

report :: Bool -> String -> Q ()Source

recover :: Q a -> Q a -> Q aSource

reify :: Name -> Q Info Source

reify looks up information about the Name

currentModule :: Q String Source

currentModule gives you the name of the module in which this computation is spliced.

runIO :: IO a -> Q aSource

The runIO function lets you run an I/O computation in the Q monad. Take care: you are guaranteed the ordering of calls to runIO within a single Q computation, but not about the order in which splices are run.

Note: for various murky reasons, stdout and stderr handles are not necesarily flushed when the compiler finishes running, so you should flush them yourself.

data Name Source

Instances

Eq Name
Data Name
Ord Name
Show Name
Typeable Name
Ppr Name

mkName :: String -> Name Source

newName :: String -> Q Name Source

nameBase :: Name -> String Source

nameModule :: Name -> Maybe String Source

tupleTypeName :: Int -> Name Source

tupleDataName :: Int -> Name Source

data Dec Source

Constructors

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] [FunDep] [Dec]
InstanceD Cxt Type [Dec]
SigD Name Type
ForeignD Foreign

Instances

Eq Dec
Data Dec
Show Dec
Typeable Dec
Ppr Dec

data Exp Source

Constructors

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]

Instances

Eq Exp
Data Exp
Show Exp
Typeable Exp
Ppr Exp

data Con Source

Constructors

NormalC Name [StrictType]
RecC Name [VarStrictType]
InfixC StrictType Name StrictType
ForallC [Name] Cxt Con

Instances

Eq Con
Data Con
Show Con
Typeable Con
Ppr Con

data Type Source

Constructors

ForallT [Name] Cxt Type
VarT Name
ConT Name
TupleT Int
ArrowT
ListT
AppT Type Type

Instances

Eq Type
Data Type
Show Type
Typeable Type
Ppr Type

type Cxt = [Type]Source

data Match Source

Constructors

Match Pat Body [Dec]

Instances

Eq Match
Data Match
Show Match
Typeable Match
Ppr Match

data Clause Source

Constructors

Clause [Pat] Body [Dec]

Instances

Eq Clause
Data Clause
Show Clause
Typeable Clause
Ppr Clause

data Body Source

Constructors

GuardedB [(Guard, Exp)]
NormalB Exp

Instances

Eq Body
Data Body
Show Body
Typeable Body

data Guard Source

Constructors

NormalG Exp
PatG [Stmt]

Instances

Eq Guard
Data Guard
Show Guard
Typeable Guard

data Stmt Source

Constructors

BindS Pat Exp
LetS [Dec]
NoBindS Exp
ParS [[Stmt]]

Instances

Eq Stmt
Data Stmt
Show Stmt
Typeable Stmt
Ppr Stmt

data Range Source

Constructors

FromR Exp
FromThenR Exp Exp
FromToR Exp Exp
FromThenToR Exp Exp Exp

Instances

Eq Range
Data Range
Show Range
Typeable Range
Ppr Range

data Lit Source

Constructors

CharL Char
StringL String
IntegerL Integer
RationalL Rational
IntPrimL Integer
FloatPrimL Rational
DoublePrimL Rational

Instances

Eq Lit
Data Lit
Show Lit
Typeable Lit

data Pat Source

Constructors

LitP Lit
VarP Name
TupP [Pat]
ConP Name [Pat]
InfixP Pat Name Pat
TildeP Pat
AsP Name Pat
WildP
RecP Name [FieldPat]
ListP [Pat]
SigP Pat Type

Instances

Eq Pat
Data Pat
Show Pat
Typeable Pat
Ppr Pat

type FieldExp = (Name, Exp)Source

type FieldPat = (Name, Pat)Source

data Strict Source

Constructors

IsStrict
NotStrict

Instances

Eq Strict
Data Strict
Show Strict
Typeable Strict

data Foreign Source

Constructors

ImportF Callconv Safety String Name Type
ExportF Callconv String Name Type

Instances

Eq Foreign
Data Foreign
Show Foreign
Typeable Foreign
Ppr Foreign

data Callconv Source

Constructors

CCall
StdCall

Instances

Eq Callconv
Data Callconv
Show Callconv
Typeable Callconv

data Safety Source

Constructors

Unsafe
Safe
Threadsafe

Instances

Eq Safety
Data Safety
Show Safety
Typeable Safety

data FunDep Source

Constructors

FunDep [Name] [Name]

Instances

Eq FunDep
Data FunDep
Show FunDep
Typeable FunDep
Ppr FunDep

data Info Source

Constructors

ClassI Dec
ClassOpI Name Type Name Fixity
TyConI Dec
PrimTyConI Name Int Bool
DataConI Name Type Name Fixity
VarI Name Type (Maybe Dec) Fixity
TyVarI Name Type