Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Haskell.TH.TestUtils.QState

Synopsis

Documentation

State information for mocking Q functionality.

Constructors

QState
Fields mode :: QMode mode knownNames :: [(String, Name)] Names that can be looked up with `lookupTypeName` or `lookupValueName` reifyInfo :: [(Name, ReifyInfo)] Reification information for Names to return when `reify` is called.

Instances details

Show (QState mode) Source #
Instance details Defined in Language.Haskell.TH.TestUtils.QState Methods showsPrec :: Int -> QState mode -> ShowS # show :: QState mode -> String # showList :: [QState mode] -> ShowS #
Lift (QState mode :: Type) Source #
Instance details Defined in Language.Haskell.TH.TestUtils.QState Methods lift :: Quote m => QState mode -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => QState mode -> Code m (QState mode) #

Constructors

ReifyInfo
Fields reifyInfoInfo :: Info reifyInfoFixity :: Maybe Fixity reifyInfoRoles :: Maybe [Role] reifyInfoType :: Type

Instances details

Show ReifyInfo Source #
Instance details Defined in Language.Haskell.TH.TestUtils.QState Methods showsPrec :: Int -> ReifyInfo -> ShowS # show :: ReifyInfo -> String # showList :: [ReifyInfo] -> ShowS #
Lift ReifyInfo Source #
Instance details Defined in Language.Haskell.TH.TestUtils.QState Methods lift :: Quote m => ReifyInfo -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ReifyInfo -> Code m ReifyInfo #

A helper for loading names for reifyInfo

Usage:

QState
  { reifyInfo = $(loadNames [''Int, ''Maybe])
  , ...
  }

A shortcut for defining an unmocked Q.