Lift Bool
Lift Char
Lift Int
Lift Integer
Lift a => Lift [a]
Lift a => Lift (Maybe a)
(Lift a, Lift b) => Lift (Either a b)
(Lift a, Lift b) => Lift (a, b)
(Lift a, Lift b, Lift c) => Lift (a, b, c)
(Lift a, Lift b, Lift c, Lift d) => Lift (a, b, c, d)
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift (a, b, c, d, e)
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift (a, b, c, d, e, f)
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift (a, b, c, d, e, f, g)

liftString :: String -> Q Exp Source

data Q a Source

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

location :: Q Loc Source

location gives you the Location at 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

Constructors

Name OccName NameFlavour

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

showName :: Name -> String Source

showName' :: NameIs -> Name -> String Source

data NameIs Source

Constructors

Alone
Applied
Infix

data Dec Source

Constructors

FunD Name [Clause]
ValD Pat Body [Dec]
DataD Cxt Name [TyVarBndr] [Con] [Name]
NewtypeD Cxt Name [TyVarBndr] Con [Name]
TySynD Name [TyVarBndr] Type
ClassD Cxt Name [TyVarBndr] [FunDep] [Dec]
InstanceD Cxt Type [Dec]
SigD Name Type
ForeignD Foreign
PragmaD Pragma
FamilyD FamFlavour Name [TyVarBndr] (Maybe Kind)
DataInstD Cxt Name [Type] [Con] [Name]
NewtypeInstD Cxt Name [Type] Con [Name]
TySynInstD Name [Type] Type

Instances

Eq Dec
Data Dec
Show Dec
Typeable Dec
Ppr Dec

data Exp Source

The CompE constructor represents a list comprehension, and takes a [Stmt]. The result expression of the comprehension is the *last* of these, and should be a NoBindS. E.g. [ f x | x <- xs ] is represented by CompE [BindS (VarP x) (VarE xs), NoBindS (AppE (VarE f) (VarE x))]

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 [TyVarBndr] Cxt Con

Instances

Eq Con
Data Con
Show Con
Typeable Con
Ppr Con

data Type Source

Constructors

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

Instances

Eq Type
Data Type
Show Type
Typeable Type
Ppr Type

data TyVarBndr Source

Constructors

PlainTV Name
KindedTV Name Kind

Instances

Eq TyVarBndr
Data TyVarBndr
Show TyVarBndr
Typeable TyVarBndr
Ppr TyVarBndr

data Kind Source

Constructors

StarK
ArrowK Kind Kind

Instances

Eq Kind
Data Kind
Show Kind
Typeable Kind
Ppr Kind

type Cxt = [Pred]Source

data Pred Source

Constructors

ClassP Name [Type]
EqualP Type Type

Instances

Eq Pred
Data Pred
Show Pred
Typeable Pred
Ppr Pred

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
WordPrimL 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
BangP 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 Pragma Source

Constructors

InlineP Name InlineSpec
SpecialiseP Name Type (Maybe InlineSpec)

Instances

Eq Pragma
Data Pragma
Show Pragma
Typeable Pragma
Ppr Pragma

data InlineSpec Source

Constructors

InlineSpec Bool Bool (Maybe (Bool, Int))

Instances

Eq InlineSpec
Data InlineSpec
Show InlineSpec
Typeable InlineSpec

type StrictType = (Strict, Type)Source

type VarStrictType = (Name, Strict, Type)Source

data FunDep Source

Constructors

FunDep [Name] [Name]

Instances

Eq FunDep
Data FunDep
Show FunDep
Typeable FunDep
Ppr FunDep

data FamFlavour Source

Constructors

TypeFam
DataFam

Instances

Eq FamFlavour
Data FamFlavour
Show FamFlavour
Typeable FamFlavour
Ppr FamFlavour

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

Instances

Data Info
Show Info
Typeable Info
Ppr Info

data Loc Source

Constructors

Loc
Fields loc_filename :: String loc_package :: String loc_module :: String loc_start :: CharPos loc_end :: CharPos

type CharPos = (Int, Int)Source

data Fixity Source

Constructors

Fixity Int FixityDirection

Instances

Eq Fixity
Data Fixity
Show Fixity
Typeable Fixity

data FixityDirection Source

Constructors

InfixL
InfixR
InfixN

Instances

Eq FixityDirection
Data FixityDirection
Show FixityDirection
Typeable FixityDirection

defaultFixity :: Fixity Source

maxPrecedence :: Int Source

returnQ :: a -> Q aSource

bindQ :: Q a -> (a -> Q b) -> Q bSource

sequenceQ :: [Q a] -> Q [a]Source

data NameFlavour Source

Constructors

NameS
NameQ ModName
NameU Int#
NameL Int#
NameG NameSpace PkgName ModName

Instances

Eq NameFlavour
Data NameFlavour
Ord NameFlavour
Typeable NameFlavour

data NameSpace Source

Constructors

VarName
DataName
TcClsName

Instances

Eq NameSpace
Data NameSpace
Ord NameSpace
Typeable NameSpace

mkNameG_v :: String -> String -> String -> Name Source

mkNameG_d :: String -> String -> String -> Name Source

mkNameG_tc :: String -> String -> String -> Name Source

type Uniq = Int Source

mkNameL :: String -> Uniq -> Name Source

mkNameU :: String -> Uniq -> Name Source

tupleTypeName :: Int -> Name Source

tupleDataName :: Int -> Name Source

data OccName Source

Instances

Eq OccName
Data OccName
Ord OccName
Typeable OccName

mkOccName :: String -> OccName Source

occString :: OccName -> String Source

data ModName Source

Instances

Eq ModName
Data ModName
Ord ModName
Typeable ModName

mkModName :: String -> ModName Source

modString :: ModName -> String Source

data PkgName Source

Instances

Eq PkgName
Data PkgName
Ord PkgName
Typeable PkgName

mkPkgName :: String -> PkgName Source

pkgString :: PkgName -> String Source