Language.Haskell.TH.Lib
Documentation
type StrictTypeQ = Q StrictType Source
type VarStrictTypeQ = Q VarStrictType Source
type InlineSpecQ = Q InlineSpec Source
floatPrimL :: Rational -> Lit Source
doublePrimL :: Rational -> Lit Source
pragInlD :: Name -> InlineSpecQ -> DecQ Source
pragSpecInlD :: Name -> TypeQ -> InlineSpecQ -> DecQ Source
familyNoKindD :: FamFlavour -> Name -> [TyVarBndr] -> DecQ Source
familyKindD :: FamFlavour -> Name -> [TyVarBndr] -> Kind -> DecQ Source
normalC :: Name -> [StrictTypeQ] -> ConQ Source
recC :: Name -> [VarStrictTypeQ] -> ConQ Source
strictType :: Q Strict -> TypeQ -> StrictTypeQ Source
varStrictType :: Name -> StrictTypeQ -> VarStrictTypeQ Source
inlineSpecNoPhase :: Bool -> Bool -> InlineSpecQ Source
inlineSpecPhase :: Bool -> Bool -> Bool -> Int -> InlineSpecQ Source
simpleMatch :: Pat -> Exp -> Match Source