Language.Haskell.TH.TestUtils.QState

Documentation

data QState (mode :: MockedMode)

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

Show (QState mode)

Defined in Language.Haskell.TH.TestUtils.QState

Methods

showsPrec :: Int -> QState mode -> ShowS

show :: QState mode -> String

showList :: [QState mode] -> ShowS

Lift (QState mode)

Defined in Language.Haskell.TH.TestUtils.QState

Methods

lift :: QState mode -> Q Exp

data ReifyInfo

Constructors

ReifyInfo

Fields

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

Instances

Show ReifyInfo

Defined in Language.Haskell.TH.TestUtils.QState

Methods

showsPrec :: Int -> ReifyInfo -> ShowS

show :: ReifyInfo -> String

showList :: [ReifyInfo] -> ShowS

Lift ReifyInfo

Defined in Language.Haskell.TH.TestUtils.QState

Methods

lift :: ReifyInfo -> Q Exp

loadNames :: [Name] -> ExpQ

A helper for loading names for reifyInfo

Usage:

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

unmockedState :: QState NotMocked

A shortcut for defining an unmocked Q.