Copyright	(c) Matt Morrow 2008
License	BSD3
Maintainer	Michael Sloan <mgsloan at gmail>
Stability	experimental
Portability	portable (template-haskell)
Safe Haskell	None
Language	Haskell2010

Language.Haskell.TH.Instances

Contents

Orphan instances

Description

It provides the following instances:

Ord, Lift, Generic, Show, Eq, Data, Typeable, Ppr, instances for the datatypes in Language.Haskell.TH
Lift instances for Data.Word / Data.Int types
Applicative for Q
Quasi for ReaderT, WriterT, StateT, and RWST.
Typeable for Lift, NameIs, Ppr, PprM, Q, Quasi, QuasiQuoter, and TExp

More recent versions of template-haskell, particularly 2.10 (GHC 7.10), provide these instances. However, in order to support older versions you should import this module.

Note that the Ord instances are not guaranteed to produce consistent results across template-haskell / GHC versions, as they have different data types, with different constructor orders.

This module also implicitly re-exports the instances defined in Instances.TH.Lift. This is mostly to ensure that there aren't collisions of orphans between th-orphans and th-lift-instances.

Orphan instances

Lift Exp Source #
Instance details Methods lift :: Exp -> Q Exp Source #
Lift Match Source #
Instance details Methods lift :: Match -> Q Exp Source #
Lift Clause Source #
Instance details Methods lift :: Clause -> Q Exp Source #
Lift Pat Source #
Instance details Methods lift :: Pat -> Q Exp Source #
Lift Type Source #
Instance details Methods lift :: Type -> Q Exp Source #
Lift Dec Source #
Instance details Methods lift :: Dec -> Q Exp Source #
Lift FunDep Source #
Instance details Methods lift :: FunDep -> Q Exp Source #
Lift InjectivityAnn Source #
Instance details Methods lift :: InjectivityAnn -> Q Exp Source #
Lift Overlap Source #
Instance details Methods lift :: Overlap -> Q Exp Source #
Lift Loc Source #
Instance details Methods lift :: Loc -> Q Exp Source #
Lift Info Source #
Instance details Methods lift :: Info -> Q Exp Source #
Lift Fixity Source #
Instance details Methods lift :: Fixity -> Q Exp Source #
Lift FixityDirection Source #
Instance details Methods lift :: FixityDirection -> Q Exp Source #
Lift Lit Source #
Instance details Methods lift :: Lit -> Q Exp Source #
Lift Body Source #
Instance details Methods lift :: Body -> Q Exp Source #
Lift Guard Source #
Instance details Methods lift :: Guard -> Q Exp Source #
Lift Stmt Source #
Instance details Methods lift :: Stmt -> Q Exp Source #
Lift Range Source #
Instance details Methods lift :: Range -> Q Exp Source #
Lift DerivClause Source #
Instance details Methods lift :: DerivClause -> Q Exp Source #
Lift DerivStrategy Source #
Instance details Methods lift :: DerivStrategy -> Q Exp Source #
Lift TypeFamilyHead Source #
Instance details Methods lift :: TypeFamilyHead -> Q Exp Source #
Lift TySynEqn Source #
Instance details Methods lift :: TySynEqn -> Q Exp Source #
Lift Foreign Source #
Instance details Methods lift :: Foreign -> Q Exp Source #
Lift Callconv Source #
Instance details Methods lift :: Callconv -> Q Exp Source #
Lift Safety Source #
Instance details Methods lift :: Safety -> Q Exp Source #
Lift Pragma Source #
Instance details Methods lift :: Pragma -> Q Exp Source #
Lift Inline Source #
Instance details Methods lift :: Inline -> Q Exp Source #
Lift RuleMatch Source #
Instance details Methods lift :: RuleMatch -> Q Exp Source #
Lift Phases Source #
Instance details Methods lift :: Phases -> Q Exp Source #
Lift RuleBndr Source #
Instance details Methods lift :: RuleBndr -> Q Exp Source #
Lift AnnTarget Source #
Instance details Methods lift :: AnnTarget -> Q Exp Source #
Lift SourceUnpackedness Source #
Instance details Methods lift :: SourceUnpackedness -> Q Exp Source #
Lift SourceStrictness Source #
Instance details Methods lift :: SourceStrictness -> Q Exp Source #
Lift Con Source #
Instance details Methods lift :: Con -> Q Exp Source #
Lift Bang Source #
Instance details Methods lift :: Bang -> Q Exp Source #
Lift PatSynDir Source #
Instance details Methods lift :: PatSynDir -> Q Exp Source #
Lift PatSynArgs Source #
Instance details Methods lift :: PatSynArgs -> Q Exp Source #
Lift TyVarBndr Source #
Instance details Methods lift :: TyVarBndr -> Q Exp Source #
Lift FamilyResultSig Source #
Instance details Methods lift :: FamilyResultSig -> Q Exp Source #
Lift TyLit Source #
Instance details Methods lift :: TyLit -> Q Exp Source #
Lift Role Source #
Instance details Methods lift :: Role -> Q Exp Source #
Quasi m => Quasi (ReaderT r m) Source #
Instance details Methods qNewName :: String -> ReaderT r m Name Source # qReport :: Bool -> String -> ReaderT r m () Source # qRecover :: ReaderT r m a -> ReaderT r m a -> ReaderT r m a Source # qLookupName :: Bool -> String -> ReaderT r m (Maybe Name) Source # qReify :: Name -> ReaderT r m Info Source # qReifyFixity :: Name -> ReaderT r m (Maybe Fixity) Source # qReifyInstances :: Name -> [Type] -> ReaderT r m [Dec] Source # qReifyRoles :: Name -> ReaderT r m [Role] Source # qReifyAnnotations :: Data a => AnnLookup -> ReaderT r m [a] Source # qReifyModule :: Module -> ReaderT r m ModuleInfo Source # qReifyConStrictness :: Name -> ReaderT r m [DecidedStrictness] Source # qLocation :: ReaderT r m Loc Source # qRunIO :: IO a -> ReaderT r m a Source # qAddDependentFile :: FilePath -> ReaderT r m () Source # qAddTempFile :: String -> ReaderT r m FilePath Source # qAddTopDecls :: [Dec] -> ReaderT r m () Source # qAddForeignFilePath :: ForeignSrcLang -> String -> ReaderT r m () Source # qAddModFinalizer :: Q () -> ReaderT r m () Source # qAddCorePlugin :: String -> ReaderT r m () Source # qGetQ :: Typeable a => ReaderT r m (Maybe a) Source # qPutQ :: Typeable a => a -> ReaderT r m () Source # qIsExtEnabled :: Extension -> ReaderT r m Bool Source # qExtsEnabled :: ReaderT r m [Extension] Source #
Quasi m => Quasi (StateT s m) Source #
Instance details Methods qNewName :: String -> StateT s m Name Source # qReport :: Bool -> String -> StateT s m () Source # qRecover :: StateT s m a -> StateT s m a -> StateT s m a Source # qLookupName :: Bool -> String -> StateT s m (Maybe Name) Source # qReify :: Name -> StateT s m Info Source # qReifyFixity :: Name -> StateT s m (Maybe Fixity) Source # qReifyInstances :: Name -> [Type] -> StateT s m [Dec] Source # qReifyRoles :: Name -> StateT s m [Role] Source # qReifyAnnotations :: Data a => AnnLookup -> StateT s m [a] Source # qReifyModule :: Module -> StateT s m ModuleInfo Source # qReifyConStrictness :: Name -> StateT s m [DecidedStrictness] Source # qLocation :: StateT s m Loc Source # qRunIO :: IO a -> StateT s m a Source # qAddDependentFile :: FilePath -> StateT s m () Source # qAddTempFile :: String -> StateT s m FilePath Source # qAddTopDecls :: [Dec] -> StateT s m () Source # qAddForeignFilePath :: ForeignSrcLang -> String -> StateT s m () Source # qAddModFinalizer :: Q () -> StateT s m () Source # qAddCorePlugin :: String -> StateT s m () Source # qGetQ :: Typeable a => StateT s m (Maybe a) Source # qPutQ :: Typeable a => a -> StateT s m () Source # qIsExtEnabled :: Extension -> StateT s m Bool Source # qExtsEnabled :: StateT s m [Extension] Source #
(Quasi m, Monoid w) => Quasi (WriterT w m) Source #
Instance details Methods qNewName :: String -> WriterT w m Name Source # qReport :: Bool -> String -> WriterT w m () Source # qRecover :: WriterT w m a -> WriterT w m a -> WriterT w m a Source # qLookupName :: Bool -> String -> WriterT w m (Maybe Name) Source # qReify :: Name -> WriterT w m Info Source # qReifyFixity :: Name -> WriterT w m (Maybe Fixity) Source # qReifyInstances :: Name -> [Type] -> WriterT w m [Dec] Source # qReifyRoles :: Name -> WriterT w m [Role] Source # qReifyAnnotations :: Data a => AnnLookup -> WriterT w m [a] Source # qReifyModule :: Module -> WriterT w m ModuleInfo Source # qReifyConStrictness :: Name -> WriterT w m [DecidedStrictness] Source # qLocation :: WriterT w m Loc Source # qRunIO :: IO a -> WriterT w m a Source # qAddDependentFile :: FilePath -> WriterT w m () Source # qAddTempFile :: String -> WriterT w m FilePath Source # qAddTopDecls :: [Dec] -> WriterT w m () Source # qAddForeignFilePath :: ForeignSrcLang -> String -> WriterT w m () Source # qAddModFinalizer :: Q () -> WriterT w m () Source # qAddCorePlugin :: String -> WriterT w m () Source # qGetQ :: Typeable a => WriterT w m (Maybe a) Source # qPutQ :: Typeable a => a -> WriterT w m () Source # qIsExtEnabled :: Extension -> WriterT w m Bool Source # qExtsEnabled :: WriterT w m [Extension] Source #
(Quasi m, Monoid w) => Quasi (RWST r w s m) Source #
Instance details Methods qNewName :: String -> RWST r w s m Name Source # qReport :: Bool -> String -> RWST r w s m () Source # qRecover :: RWST r w s m a -> RWST r w s m a -> RWST r w s m a Source # qLookupName :: Bool -> String -> RWST r w s m (Maybe Name) Source # qReify :: Name -> RWST r w s m Info Source # qReifyFixity :: Name -> RWST r w s m (Maybe Fixity) Source # qReifyInstances :: Name -> [Type] -> RWST r w s m [Dec] Source # qReifyRoles :: Name -> RWST r w s m [Role] Source # qReifyAnnotations :: Data a => AnnLookup -> RWST r w s m [a] Source # qReifyModule :: Module -> RWST r w s m ModuleInfo Source # qReifyConStrictness :: Name -> RWST r w s m [DecidedStrictness] Source # qLocation :: RWST r w s m Loc Source # qRunIO :: IO a -> RWST r w s m a Source # qAddDependentFile :: FilePath -> RWST r w s m () Source # qAddTempFile :: String -> RWST r w s m FilePath Source # qAddTopDecls :: [Dec] -> RWST r w s m () Source # qAddForeignFilePath :: ForeignSrcLang -> String -> RWST r w s m () Source # qAddModFinalizer :: Q () -> RWST r w s m () Source # qAddCorePlugin :: String -> RWST r w s m () Source # qGetQ :: Typeable a => RWST r w s m (Maybe a) Source # qPutQ :: Typeable a => a -> RWST r w s m () Source # qIsExtEnabled :: Extension -> RWST r w s m Bool Source # qExtsEnabled :: RWST r w s m [Extension] Source #