template-haskell-2.2.0.0Source codeContentsIndex
Language.Haskell.TH.Lib
Documentation
type InfoQ = Q InfoSource
type PatQ = Q PatSource
type FieldPatQ = Q FieldPatSource
type ExpQ = Q ExpSource
type DecQ = Q DecSource
type ConQ = Q ConSource
type TypeQ = Q TypeSource
type CxtQ = Q CxtSource
type MatchQ = Q MatchSource
type ClauseQ = Q ClauseSource
type BodyQ = Q BodySource
type GuardQ = Q GuardSource
type StmtQ = Q StmtSource
type RangeQ = Q RangeSource
type StrictTypeQ = Q StrictTypeSource
type VarStrictTypeQ = Q VarStrictTypeSource
type FieldExpQ = Q FieldExpSource
intPrimL :: Integer -> LitSource
floatPrimL :: Rational -> LitSource
doublePrimL :: Rational -> LitSource
integerL :: Integer -> LitSource
charL :: Char -> LitSource
stringL :: String -> LitSource
rationalL :: Rational -> LitSource
litP :: Lit -> PatQSource
varP :: Name -> PatQSource
tupP :: [PatQ] -> PatQSource
conP :: Name -> [PatQ] -> PatQSource
infixP :: PatQ -> Name -> PatQ -> PatQSource
tildeP :: PatQ -> PatQSource
asP :: Name -> PatQ -> PatQSource
wildP :: PatQSource
recP :: Name -> [FieldPatQ] -> PatQSource
listP :: [PatQ] -> PatQSource
sigP :: PatQ -> TypeQ -> PatQSource
fieldPat :: Name -> PatQ -> FieldPatQSource
bindS :: PatQ -> ExpQ -> StmtQSource
letS :: [DecQ] -> StmtQSource
noBindS :: ExpQ -> StmtQSource
parS :: [[StmtQ]] -> StmtQSource
fromR :: ExpQ -> RangeQSource
fromThenR :: ExpQ -> ExpQ -> RangeQSource
fromToR :: ExpQ -> ExpQ -> RangeQSource
fromThenToR :: ExpQ -> ExpQ -> ExpQ -> RangeQSource
normalB :: ExpQ -> BodyQSource
guardedB :: [Q (Guard, Exp)] -> BodyQSource
normalG :: ExpQ -> GuardQSource
normalGE :: ExpQ -> ExpQ -> Q (Guard, Exp)Source
patG :: [StmtQ] -> GuardQSource
patGE :: [StmtQ] -> ExpQ -> Q (Guard, Exp)Source
match :: PatQ -> BodyQ -> [DecQ] -> MatchQSource
clause :: [PatQ] -> BodyQ -> [DecQ] -> ClauseQSource
dyn :: String -> Q ExpSource
global :: Name -> ExpQSource
varE :: Name -> ExpQSource
conE :: Name -> ExpQSource
litE :: Lit -> ExpQSource
appE :: ExpQ -> ExpQ -> ExpQSource
infixE :: Maybe ExpQ -> ExpQ -> Maybe ExpQ -> ExpQSource
infixApp :: ExpQ -> ExpQ -> ExpQ -> ExpQSource
sectionL :: ExpQ -> ExpQ -> ExpQSource
sectionR :: ExpQ -> ExpQ -> ExpQSource
lamE :: [PatQ] -> ExpQ -> ExpQSource
lam1E :: PatQ -> ExpQ -> ExpQSource
tupE :: [ExpQ] -> ExpQSource
condE :: ExpQ -> ExpQ -> ExpQ -> ExpQSource
letE :: [DecQ] -> ExpQ -> ExpQSource
caseE :: ExpQ -> [MatchQ] -> ExpQSource
doE :: [StmtQ] -> ExpQSource
compE :: [StmtQ] -> ExpQSource
arithSeqE :: RangeQ -> ExpQSource
fromE :: ExpQ -> ExpQSource
fromThenE :: ExpQ -> ExpQ -> ExpQSource
fromToE :: ExpQ -> ExpQ -> ExpQSource
fromThenToE :: ExpQ -> ExpQ -> ExpQ -> ExpQSource
listE :: [ExpQ] -> ExpQSource
sigE :: ExpQ -> TypeQ -> ExpQSource
recConE :: Name -> [Q (Name, Exp)] -> ExpQSource
recUpdE :: ExpQ -> [Q (Name, Exp)] -> ExpQSource
stringE :: String -> ExpQSource
fieldExp :: Name -> ExpQ -> Q (Name, Exp)Source
valD :: PatQ -> BodyQ -> [DecQ] -> DecQSource
funD :: Name -> [ClauseQ] -> DecQSource
tySynD :: Name -> [Name] -> TypeQ -> DecQSource
dataD :: CxtQ -> Name -> [Name] -> [ConQ] -> [Name] -> DecQSource
newtypeD :: CxtQ -> Name -> [Name] -> ConQ -> [Name] -> DecQSource
classD :: CxtQ -> Name -> [Name] -> [FunDep] -> [DecQ] -> DecQSource
instanceD :: CxtQ -> TypeQ -> [DecQ] -> DecQSource
sigD :: Name -> TypeQ -> DecQSource
forImpD :: Callconv -> Safety -> String -> Name -> TypeQ -> DecQSource
cxt :: [TypeQ] -> CxtQSource
normalC :: Name -> [StrictTypeQ] -> ConQSource
recC :: Name -> [VarStrictTypeQ] -> ConQSource
infixC :: Q (Strict, Type) -> Name -> Q (Strict, Type) -> ConQSource
forallC :: [Name] -> CxtQ -> ConQ -> ConQSource
forallT :: [Name] -> CxtQ -> TypeQ -> TypeQSource
varT :: Name -> TypeQSource
conT :: Name -> TypeQSource
appT :: TypeQ -> TypeQ -> TypeQSource
arrowT :: TypeQSource
listT :: TypeQSource
tupleT :: Int -> TypeQSource
isStrict :: Q StrictSource
notStrict :: Q StrictSource
strictType :: Q Strict -> TypeQ -> StrictTypeQSource
varStrictType :: Name -> StrictTypeQ -> VarStrictTypeQSource
cCall :: CallconvSource
stdCall :: CallconvSource
unsafe :: SafetySource
safe :: SafetySource
threadsafe :: SafetySource
funDep :: [Name] -> [Name] -> FunDepSource
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 -> ExpQSource
appsE :: [ExpQ] -> ExpQSource
simpleMatch :: Pat -> Exp -> MatchSource
Produced by Haddock version 0.9