template-haskell-2.4.0.1Source 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 PredQ = Q PredSource
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
type InlineSpecQ = Q InlineSpecSource
intPrimL :: Integer -> LitSource
wordPrimL :: 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
bangP :: 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 -> [TyVarBndr] -> TypeQ -> DecQSource
dataD :: CxtQ -> Name -> [TyVarBndr] -> [ConQ] -> [Name] -> DecQSource
newtypeD :: CxtQ -> Name -> [TyVarBndr] -> ConQ -> [Name] -> DecQSource
classD :: CxtQ -> Name -> [TyVarBndr] -> [FunDep] -> [DecQ] -> DecQSource
instanceD :: CxtQ -> TypeQ -> [DecQ] -> DecQSource
sigD :: Name -> TypeQ -> DecQSource
forImpD :: Callconv -> Safety -> String -> Name -> TypeQ -> DecQSource
pragInlD :: Name -> InlineSpecQ -> DecQSource
pragSpecD :: Name -> TypeQ -> DecQSource
pragSpecInlD :: Name -> TypeQ -> InlineSpecQ -> DecQSource
familyNoKindD :: FamFlavour -> Name -> [TyVarBndr] -> DecQSource
familyKindD :: FamFlavour -> Name -> [TyVarBndr] -> Kind -> DecQSource
dataInstD :: CxtQ -> Name -> [TypeQ] -> [ConQ] -> [Name] -> DecQSource
newtypeInstD :: CxtQ -> Name -> [TypeQ] -> ConQ -> [Name] -> DecQSource
tySynInstD :: Name -> [TypeQ] -> TypeQ -> DecQSource
cxt :: [PredQ] -> CxtQSource
classP :: Name -> [TypeQ] -> PredQSource
equalP :: TypeQ -> TypeQ -> PredQSource
normalC :: Name -> [StrictTypeQ] -> ConQSource
recC :: Name -> [VarStrictTypeQ] -> ConQSource
infixC :: Q (Strict, Type) -> Name -> Q (Strict, Type) -> ConQSource
forallC :: [TyVarBndr] -> CxtQ -> ConQ -> ConQSource
forallT :: [TyVarBndr] -> CxtQ -> TypeQ -> TypeQSource
varT :: Name -> TypeQSource
conT :: Name -> TypeQSource
appT :: TypeQ -> TypeQ -> TypeQSource
arrowT :: TypeQSource
listT :: TypeQSource
tupleT :: Int -> TypeQSource
sigT :: TypeQ -> Kind -> TypeQSource
notStrict :: Q StrictSource
isStrict :: Q StrictSource
strictType :: Q Strict -> TypeQ -> StrictTypeQSource
varStrictType :: Name -> StrictTypeQ -> VarStrictTypeQSource
plainTV :: Name -> TyVarBndrSource
kindedTV :: Name -> Kind -> TyVarBndrSource
starK :: KindSource
arrowK :: Kind -> Kind -> KindSource
stdCall :: CallconvSource
cCall :: CallconvSource
safe :: SafetySource
threadsafe :: SafetySource
unsafe :: SafetySource
inlineSpecNoPhase :: Bool -> Bool -> InlineSpecQSource
inlineSpecPhase :: Bool -> Bool -> Bool -> Int -> InlineSpecQSource
funDep :: [Name] -> [Name] -> FunDepSource
dataFam :: FamFlavourSource
typeFam :: FamFlavourSource
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 2.6.1