Language.Haskell.TH.Instances

It provides the following instances:

• Lift instances for the datatypes in Language.Haskell.TH
• Quasi for ReaderT, WriterT, StateT, and RWST.
• MonadFix for Q

More recent versions of template-haskell provide these instances. However, in order to support older versions you should import this module.

Orphan instances

Lift AnnTarget

Methods

lift :: Quote m => AnnTarget -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => AnnTarget -> Code m AnnTarget

Lift Bang

Methods

lift :: Quote m => Bang -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Bang -> Code m Bang

Lift Body

Methods

lift :: Quote m => Body -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Body -> Code m Body

Lift Bytes

Methods

lift :: Quote m => Bytes -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Bytes -> Code m Bytes

Lift Callconv

Methods

lift :: Quote m => Callconv -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Callconv -> Code m Callconv

Lift Clause

Methods

lift :: Quote m => Clause -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Clause -> Code m Clause

Lift Con

Methods

lift :: Quote m => Con -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Con -> Code m Con

Lift Dec

Methods

lift :: Quote m => Dec -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Dec -> Code m Dec

Lift DerivClause

Methods

lift :: Quote m => DerivClause -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => DerivClause -> Code m DerivClause

Lift DerivStrategy

Methods

lift :: Quote m => DerivStrategy -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => DerivStrategy -> Code m DerivStrategy

Lift Exp

Methods

lift :: Quote m => Exp -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Exp -> Code m Exp

Lift FamilyResultSig

Methods

lift :: Quote m => FamilyResultSig -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => FamilyResultSig -> Code m FamilyResultSig

Lift Fixity

Methods

lift :: Quote m => Fixity -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Fixity -> Code m Fixity

Lift FixityDirection

Methods

lift :: Quote m => FixityDirection -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => FixityDirection -> Code m FixityDirection

Lift Foreign

Methods

lift :: Quote m => Foreign -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Foreign -> Code m Foreign

Lift FunDep

Methods

lift :: Quote m => FunDep -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => FunDep -> Code m FunDep

Lift Guard

Methods

lift :: Quote m => Guard -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Guard -> Code m Guard

Lift Info

Methods

lift :: Quote m => Info -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Info -> Code m Info

Lift InjectivityAnn

Methods

lift :: Quote m => InjectivityAnn -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => InjectivityAnn -> Code m InjectivityAnn

Lift Inline

Methods

lift :: Quote m => Inline -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Inline -> Code m Inline

Lift Lit

Methods

lift :: Quote m => Lit -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Lit -> Code m Lit

Lift Loc

Methods

lift :: Quote m => Loc -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Loc -> Code m Loc

Lift Match

Methods

lift :: Quote m => Match -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Match -> Code m Match

Lift Overlap

Methods

lift :: Quote m => Overlap -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Overlap -> Code m Overlap

Lift Pat

Methods

lift :: Quote m => Pat -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Pat -> Code m Pat

Lift PatSynArgs

Methods

lift :: Quote m => PatSynArgs -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => PatSynArgs -> Code m PatSynArgs

Lift PatSynDir

Methods

lift :: Quote m => PatSynDir -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => PatSynDir -> Code m PatSynDir

Lift Phases

Methods

lift :: Quote m => Phases -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Phases -> Code m Phases

Lift Pragma

Methods

lift :: Quote m => Pragma -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Pragma -> Code m Pragma

Lift Range

Methods

lift :: Quote m => Range -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Range -> Code m Range

Lift Role

Methods

lift :: Quote m => Role -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Role -> Code m Role

Lift RuleBndr

Methods

lift :: Quote m => RuleBndr -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => RuleBndr -> Code m RuleBndr

Lift RuleMatch

Methods

lift :: Quote m => RuleMatch -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => RuleMatch -> Code m RuleMatch

Lift Safety

Methods

lift :: Quote m => Safety -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Safety -> Code m Safety

Lift SourceStrictness

Methods

lift :: Quote m => SourceStrictness -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => SourceStrictness -> Code m SourceStrictness

Lift SourceUnpackedness

Methods

lift :: Quote m => SourceUnpackedness -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => SourceUnpackedness -> Code m SourceUnpackedness

Lift Specificity

Methods

lift :: Quote m => Specificity -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Specificity -> Code m Specificity

Lift Stmt

Methods

lift :: Quote m => Stmt -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Stmt -> Code m Stmt

Lift TyLit

Methods

lift :: Quote m => TyLit -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => TyLit -> Code m TyLit

Lift TySynEqn

Methods

lift :: Quote m => TySynEqn -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => TySynEqn -> Code m TySynEqn

Lift Type

Methods

lift :: Quote m => Type -> m Exp

liftTyped :: forall (m :: Type0 -> Type0). Quote m => Type -> Code m Type

Lift TypeFamilyHead

Methods

lift :: Quote m => TypeFamilyHead -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => TypeFamilyHead -> Code m TypeFamilyHead

Lift flag => Lift (TyVarBndr flag :: Type)

Methods

lift :: Quote m => TyVarBndr flag -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => TyVarBndr flag -> Code m (TyVarBndr flag)

Quasi m => Quasi (ReaderT r m)

Methods

qNewName :: String -> ReaderT r m Name

qReport :: Bool -> String -> ReaderT r m ()

qRecover :: ReaderT r m a -> ReaderT r m a -> ReaderT r m a

qLookupName :: Bool -> String -> ReaderT r m (Maybe Name)

qReify :: Name -> ReaderT r m Info

qReifyFixity :: Name -> ReaderT r m (Maybe Fixity)

qReifyType :: Name -> ReaderT r m Type

qReifyInstances :: Name -> [Type] -> ReaderT r m [Dec]

qReifyRoles :: Name -> ReaderT r m [Role]

qReifyAnnotations :: Data a => AnnLookup -> ReaderT r m [a]

qReifyModule :: Module -> ReaderT r m ModuleInfo

qReifyConStrictness :: Name -> ReaderT r m [DecidedStrictness]

qLocation :: ReaderT r m Loc

qRunIO :: IO a -> ReaderT r m a

qGetPackageRoot :: ReaderT r m FilePath

qAddDependentFile :: FilePath -> ReaderT r m ()

qAddTempFile :: String -> ReaderT r m FilePath

qAddTopDecls :: [Dec] -> ReaderT r m ()

qAddForeignFilePath :: ForeignSrcLang -> String -> ReaderT r m ()

qAddModFinalizer :: Q () -> ReaderT r m ()

qAddCorePlugin :: String -> ReaderT r m ()

qGetQ :: Typeable a => ReaderT r m (Maybe a)

qPutQ :: Typeable a => a -> ReaderT r m ()

qIsExtEnabled :: Extension -> ReaderT r m Bool

qExtsEnabled :: ReaderT r m [Extension]

qPutDoc :: DocLoc -> String -> ReaderT r m ()

qGetDoc :: DocLoc -> ReaderT r m (Maybe String)

Quasi m => Quasi (StateT s m)

Methods

qNewName :: String -> StateT s m Name

qReport :: Bool -> String -> StateT s m ()

qRecover :: StateT s m a -> StateT s m a -> StateT s m a

qLookupName :: Bool -> String -> StateT s m (Maybe Name)

qReify :: Name -> StateT s m Info

qReifyFixity :: Name -> StateT s m (Maybe Fixity)

qReifyType :: Name -> StateT s m Type

qReifyInstances :: Name -> [Type] -> StateT s m [Dec]

qReifyRoles :: Name -> StateT s m [Role]

qReifyAnnotations :: Data a => AnnLookup -> StateT s m [a]

qReifyModule :: Module -> StateT s m ModuleInfo

qReifyConStrictness :: Name -> StateT s m [DecidedStrictness]

qLocation :: StateT s m Loc

qRunIO :: IO a -> StateT s m a

qGetPackageRoot :: StateT s m FilePath

qAddDependentFile :: FilePath -> StateT s m ()

qAddTempFile :: String -> StateT s m FilePath

qAddTopDecls :: [Dec] -> StateT s m ()

qAddForeignFilePath :: ForeignSrcLang -> String -> StateT s m ()

qAddModFinalizer :: Q () -> StateT s m ()

qAddCorePlugin :: String -> StateT s m ()

qGetQ :: Typeable a => StateT s m (Maybe a)

qPutQ :: Typeable a => a -> StateT s m ()

qIsExtEnabled :: Extension -> StateT s m Bool

qExtsEnabled :: StateT s m [Extension]

qPutDoc :: DocLoc -> String -> StateT s m ()

qGetDoc :: DocLoc -> StateT s m (Maybe String)

(Quasi m, Monoid w) => Quasi (WriterT w m)

Methods

qNewName :: String -> WriterT w m Name

qReport :: Bool -> String -> WriterT w m ()

qRecover :: WriterT w m a -> WriterT w m a -> WriterT w m a

qLookupName :: Bool -> String -> WriterT w m (Maybe Name)

qReify :: Name -> WriterT w m Info

qReifyFixity :: Name -> WriterT w m (Maybe Fixity)

qReifyType :: Name -> WriterT w m Type

qReifyInstances :: Name -> [Type] -> WriterT w m [Dec]

qReifyRoles :: Name -> WriterT w m [Role]

qReifyAnnotations :: Data a => AnnLookup -> WriterT w m [a]

qReifyModule :: Module -> WriterT w m ModuleInfo

qReifyConStrictness :: Name -> WriterT w m [DecidedStrictness]

qLocation :: WriterT w m Loc

qRunIO :: IO a -> WriterT w m a

qGetPackageRoot :: WriterT w m FilePath

qAddDependentFile :: FilePath -> WriterT w m ()

qAddTempFile :: String -> WriterT w m FilePath

qAddTopDecls :: [Dec] -> WriterT w m ()

qAddForeignFilePath :: ForeignSrcLang -> String -> WriterT w m ()

qAddModFinalizer :: Q () -> WriterT w m ()

qAddCorePlugin :: String -> WriterT w m ()

qGetQ :: Typeable a => WriterT w m (Maybe a)

qPutQ :: Typeable a => a -> WriterT w m ()

qIsExtEnabled :: Extension -> WriterT w m Bool

qExtsEnabled :: WriterT w m [Extension]

qPutDoc :: DocLoc -> String -> WriterT w m ()

qGetDoc :: DocLoc -> WriterT w m (Maybe String)

Quote m => Quote (ReaderT r m)

Methods

newName :: String -> ReaderT r m Name

Quote m => Quote (StateT s m)

Methods

newName :: String -> StateT s m Name

(Quote m, Monoid w) => Quote (WriterT w m)

Methods

newName :: String -> WriterT w m Name

(Quasi m, Monoid w) => Quasi (RWST r w s m)

Methods

qNewName :: String -> RWST r w s m Name

qReport :: Bool -> String -> RWST r w s m ()

qRecover :: RWST r w s m a -> RWST r w s m a -> RWST r w s m a

qLookupName :: Bool -> String -> RWST r w s m (Maybe Name)

qReify :: Name -> RWST r w s m Info

qReifyFixity :: Name -> RWST r w s m (Maybe Fixity)

qReifyType :: Name -> RWST r w s m Type

qReifyInstances :: Name -> [Type] -> RWST r w s m [Dec]

qReifyRoles :: Name -> RWST r w s m [Role]

qReifyAnnotations :: Data a => AnnLookup -> RWST r w s m [a]

qReifyModule :: Module -> RWST r w s m ModuleInfo

qReifyConStrictness :: Name -> RWST r w s m [DecidedStrictness]

qLocation :: RWST r w s m Loc

qRunIO :: IO a -> RWST r w s m a

qGetPackageRoot :: RWST r w s m FilePath

qAddDependentFile :: FilePath -> RWST r w s m ()

qAddTempFile :: String -> RWST r w s m FilePath

qAddTopDecls :: [Dec] -> RWST r w s m ()

qAddForeignFilePath :: ForeignSrcLang -> String -> RWST r w s m ()

qAddModFinalizer :: Q () -> RWST r w s m ()

qAddCorePlugin :: String -> RWST r w s m ()

qGetQ :: Typeable a => RWST r w s m (Maybe a)

qPutQ :: Typeable a => a -> RWST r w s m ()

qIsExtEnabled :: Extension -> RWST r w s m Bool

qExtsEnabled :: RWST r w s m [Extension]

qPutDoc :: DocLoc -> String -> RWST r w s m ()

qGetDoc :: DocLoc -> RWST r w s m (Maybe String)

(Quote m, Monoid w) => Quote (RWST r w s m)

Methods

newName :: String -> RWST r w s m Name