| template-haskell-2.2.0.0 | Source code | Contents | Index
Language.Haskell.TH.Lib
Documentation
type InfoQ = Q Info | Source
type PatQ = Q Pat | Source
type FieldPatQ = Q FieldPat | Source
type ExpQ = Q Exp | Source
type DecQ = Q Dec | Source
type ConQ = Q Con | Source
type TypeQ = Q Type | Source
type CxtQ = Q Cxt | Source
type MatchQ = Q Match | Source
type ClauseQ = Q Clause | Source
type BodyQ = Q Body | Source
type GuardQ = Q Guard | Source
type StmtQ = Q Stmt | Source
type RangeQ = Q Range | Source
type StrictTypeQ = Q StrictType | Source
type VarStrictTypeQ = Q VarStrictType | Source
type FieldExpQ = Q FieldExp | Source
intPrimL :: Integer -> Lit | Source
floatPrimL :: Rational -> Lit | Source
doublePrimL :: Rational -> Lit | Source
integerL :: Integer -> Lit | Source
charL :: Char -> Lit | Source
stringL :: String -> Lit | Source
rationalL :: Rational -> Lit | Source
litP :: Lit -> PatQ | Source
varP :: Name -> PatQ | Source
tupP :: [PatQ] -> PatQ | Source
conP :: Name -> [PatQ] -> PatQ | Source
infixP :: PatQ -> Name -> PatQ -> PatQ | Source
tildeP :: PatQ -> PatQ | Source
asP :: Name -> PatQ -> PatQ | Source
wildP :: PatQ | Source
recP :: Name -> [FieldPatQ] -> PatQ | Source
listP :: [PatQ] -> PatQ | Source
sigP :: PatQ -> TypeQ -> PatQ | Source
fieldPat :: Name -> PatQ -> FieldPatQ | Source
bindS :: PatQ -> ExpQ -> StmtQ | Source
letS :: [DecQ] -> StmtQ | Source
noBindS :: ExpQ -> StmtQ | Source
parS :: [[StmtQ]] -> StmtQ | Source
fromR :: ExpQ -> RangeQ | Source
fromThenR :: ExpQ -> ExpQ -> RangeQ | Source
fromToR :: ExpQ -> ExpQ -> RangeQ | Source
fromThenToR :: ExpQ -> ExpQ -> ExpQ -> RangeQ | Source
normalB :: ExpQ -> BodyQ | Source
guardedB :: [Q (Guard, Exp)] -> BodyQ | Source
normalG :: ExpQ -> GuardQ | Source
normalGE :: ExpQ -> ExpQ -> Q (Guard, Exp) | Source
patG :: [StmtQ] -> GuardQ | Source
patGE :: [StmtQ] -> ExpQ -> Q (Guard, Exp) | Source
match :: PatQ -> BodyQ -> [DecQ] -> MatchQ | Source
clause :: [PatQ] -> BodyQ -> [DecQ] -> ClauseQ | Source
dyn :: String -> Q Exp | Source
global :: Name -> ExpQ | Source
varE :: Name -> ExpQ | Source
conE :: Name -> ExpQ | Source
litE :: Lit -> ExpQ | Source
appE :: ExpQ -> ExpQ -> ExpQ | Source
infixE :: Maybe ExpQ -> ExpQ -> Maybe ExpQ -> ExpQ | Source
infixApp :: ExpQ -> ExpQ -> ExpQ -> ExpQ | Source
sectionL :: ExpQ -> ExpQ -> ExpQ | Source
sectionR :: ExpQ -> ExpQ -> ExpQ | Source
lamE :: [PatQ] -> ExpQ -> ExpQ | Source
lam1E :: PatQ -> ExpQ -> ExpQ | Source
tupE :: [ExpQ] -> ExpQ | Source
condE :: ExpQ -> ExpQ -> ExpQ -> ExpQ | Source
letE :: [DecQ] -> ExpQ -> ExpQ | Source
caseE :: ExpQ -> [MatchQ] -> ExpQ | Source
doE :: [StmtQ] -> ExpQ | Source
compE :: [StmtQ] -> ExpQ | Source
arithSeqE :: RangeQ -> ExpQ | Source
fromE :: ExpQ -> ExpQ | Source
fromThenE :: ExpQ -> ExpQ -> ExpQ | Source
fromToE :: ExpQ -> ExpQ -> ExpQ | Source
fromThenToE :: ExpQ -> ExpQ -> ExpQ -> ExpQ | Source
listE :: [ExpQ] -> ExpQ | Source
sigE :: ExpQ -> TypeQ -> ExpQ | Source
recConE :: Name -> [Q (Name, Exp)] -> ExpQ | Source
recUpdE :: ExpQ -> [Q (Name, Exp)] -> ExpQ | Source
stringE :: String -> ExpQ | Source
fieldExp :: Name -> ExpQ -> Q (Name, Exp) | Source
valD :: PatQ -> BodyQ -> [DecQ] -> DecQ | Source
funD :: Name -> [ClauseQ] -> DecQ | Source
tySynD :: Name -> [Name] -> TypeQ -> DecQ | Source
dataD :: CxtQ -> Name -> [Name] -> [ConQ] -> [Name] -> DecQ | Source
newtypeD :: CxtQ -> Name -> [Name] -> ConQ -> [Name] -> DecQ | Source
classD :: CxtQ -> Name -> [Name] -> [FunDep] -> [DecQ] -> DecQ | Source
instanceD :: CxtQ -> TypeQ -> [DecQ] -> DecQ | Source
sigD :: Name -> TypeQ -> DecQ | Source
forImpD :: Callconv -> Safety -> String -> Name -> TypeQ -> DecQ | Source
cxt :: [TypeQ] -> CxtQ | Source
normalC :: Name -> [StrictTypeQ] -> ConQ | Source
recC :: Name -> [VarStrictTypeQ] -> ConQ | Source
infixC :: Q (Strict, Type) -> Name -> Q (Strict, Type) -> ConQ | Source
forallC :: [Name] -> CxtQ -> ConQ -> ConQ | Source
forallT :: [Name] -> CxtQ -> TypeQ -> TypeQ | Source
varT :: Name -> TypeQ | Source
conT :: Name -> TypeQ | Source
appT :: TypeQ -> TypeQ -> TypeQ | Source
arrowT :: TypeQ | Source
listT :: TypeQ | Source
tupleT :: Int -> TypeQ | Source
isStrict :: Q Strict | Source
notStrict :: Q Strict | Source
strictType :: Q Strict -> TypeQ -> StrictTypeQ | Source
varStrictType :: Name -> StrictTypeQ -> VarStrictTypeQ | Source
cCall :: Callconv | Source
stdCall :: Callconv | Source
unsafe :: Safety | Source
safe :: Safety | Source
threadsafe :: Safety | Source
funDep :: [Name] -> [Name] -> FunDep | Source
combine :: [([(Name, Name)], Pat)] -> ([(Name, Name)], [Pat]) | Source
rename :: Pat -> Q ([(Name, Name)], Pat) | Source
genpat :: Pat -> Q (Name -> ExpQ, Pat) | Source
alpha :: [(Name, Name)] -> Name -> ExpQ | Source
appsE :: [ExpQ] -> ExpQ | Source
simpleMatch :: Pat -> Exp -> Match | Source
Produced by Haddock version 0.9