Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Haskell.TH.TestUtils.QMode

Documentation

Constructors

data QMode (mode :: MockedMode) where Source #

Constructors

MockQ :: QMode 'FullyMocked	All Q actions are mocked and IO actions are disallowed.
MockQAllowIO :: QMode 'FullyMockedWithIO	Same as MockQ, except IO actions are passed through. Useful if your TH code, for example, reads files with runIO.
AllowQ :: QMode 'NotMocked	No mocking is done. Useful for running Q as normal, but you need to get error messages.

Instances details

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

Associated Types

Methods

Instances details

IsMockedMode 'FullyMocked Source #
Instance details Defined in Language.Haskell.TH.TestUtils.QMode Associated Types type TestQResult 'FullyMocked a Source # Methods runResult :: Q a -> TestQResult 'FullyMocked a Source # fmapResult :: (a -> b) -> TestQResult 'FullyMocked a -> TestQResult 'FullyMocked b Source #
IsMockedMode 'FullyMockedWithIO Source #
Instance details Defined in Language.Haskell.TH.TestUtils.QMode Associated Types type TestQResult 'FullyMockedWithIO a Source # Methods runResult :: Q a -> TestQResult 'FullyMockedWithIO a Source # fmapResult :: (a -> b) -> TestQResult 'FullyMockedWithIO a -> TestQResult 'FullyMockedWithIO b Source #
IsMockedMode 'NotMocked Source #
Instance details Defined in Language.Haskell.TH.TestUtils.QMode Associated Types type TestQResult 'NotMocked a Source # Methods runResult :: Q a -> TestQResult 'NotMocked a Source # fmapResult :: (a -> b) -> TestQResult 'NotMocked a -> TestQResult 'NotMocked b Source #