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

notStrict :: Q StrictSource

isStrict :: Q StrictSource

strictType :: Q Strict -> TypeQ -> StrictTypeQSource

varStrictType :: Name -> StrictTypeQ -> VarStrictTypeQSource

stdCall :: CallconvSource

cCall :: CallconvSource

safe :: SafetySource

threadsafe :: SafetySource

unsafe :: 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