exp package:template-haskell

data Exp
template-haskell Language.Haskell.TH Language.Haskell.TH.Syntax
A Haskell expression.
explBidir :: Quote m => [m Clause] -> m PatSynDir
template-haskell Language.Haskell.TH.Lib
ExplBidir :: [Clause] -> PatSynDir
template-haskell Language.Haskell.TH Language.Haskell.TH.Syntax
pattern P x {<-} p where P x = e
ExplicitForAll :: Extension
template-haskell Language.Haskell.TH Language.Haskell.TH.LanguageExtensions Language.Haskell.TH.Syntax
ExplicitNamespaces :: Extension
template-haskell Language.Haskell.TH Language.Haskell.TH.LanguageExtensions Language.Haskell.TH.Syntax
ExportF :: Callconv -> String -> Name -> Type -> Foreign
template-haskell Language.Haskell.TH Language.Haskell.TH.Syntax
foreign export callconv "foreign_name" haskellName :: type
type ExpQ = Q Exp
template-haskell Language.Haskell.TH.Lib
type FieldExp = (Name, Exp)
template-haskell Language.Haskell.TH Language.Haskell.TH.Syntax
A (field name, expression) pair. See RecConE and RecUpdE.
data TExp (a :: TYPE r)
template-haskell Language.Haskell.TH
Typed wrapper around an Exp. This is the typed representation of terms produced by typed quotes. Representation-polymorphic since template-haskell-2.16.0.0.
pprExp :: Precedence -> Exp -> Doc
template-haskell Language.Haskell.TH Language.Haskell.TH.Ppr
type FieldExpQ = Q FieldExp
template-haskell Language.Haskell.TH.Lib
type TExpQ (a :: TYPE r) = Q TExp a
template-haskell Language.Haskell.TH.Lib
Representation-polymorphic since template-haskell-2.17.0.0.
fieldExp :: Quote m => Name -> m Exp -> m (Name, Exp)
template-haskell Language.Haskell.TH.Lib
pprInfixExp :: Exp -> Doc
template-haskell Language.Haskell.TH.Ppr
pprMaybeExp :: Precedence -> Maybe Exp -> Doc
template-haskell Language.Haskell.TH.Ppr
dataToExpQ :: (Quote m, Data a) => (forall b . Data b => b -> Maybe (m Exp)) -> a -> m Exp
template-haskell Language.Haskell.TH.Quote Language.Haskell.TH.Syntax
dataToExpQ converts a value to a Exp representation of the same value, in the SYB style. It is generalized to take a function override type-specific cases; see liftData for a more commonly used variant.
quoteExp :: QuasiQuoter -> String -> Q Exp
template-haskell Language.Haskell.TH.Quote
Quasi-quoter for expressions, invoked by quotes like lhs = $[q|...]
newtype TExp (a :: TYPE r)
template-haskell Language.Haskell.TH.Syntax
Typed wrapper around an Exp. This is the typed representation of terms produced by typed quotes. Representation-polymorphic since template-haskell-2.16.0.0.
TExp :: Exp -> TExp (a :: TYPE r)
template-haskell Language.Haskell.TH.Syntax
unsafeTExpCoerce :: forall a m . Quote m => m Exp -> m (TExp a)
template-haskell Language.Haskell.TH.Syntax
Annotate the Template Haskell expression with a type This is unsafe because GHC cannot check for you that the expression really does have the type you claim it has. Representation-polymorphic since template-haskell-2.16.0.0.