Language.Haskell.TH.TestUtils.QMode

Documentation

data MockedMode

Constructors

FullyMocked

FullyMockedWithIO

NotMocked

data QMode (mode :: MockedMode) where

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

Show (QMode mode)

Defined in Language.Haskell.TH.TestUtils.QMode

Methods

showsPrec :: Int -> QMode mode -> ShowS

show :: QMode mode -> String

showList :: [QMode mode] -> ShowS

Lift (QMode mode)

Defined in Language.Haskell.TH.TestUtils.QMode

Methods

lift :: QMode mode -> Q Exp

class IsMockedMode (mode :: MockedMode) where

Associated Types

type TestQResult mode a

Methods

runResult :: Q a -> TestQResult mode a

fmapResult :: (a -> b) -> TestQResult mode a -> TestQResult mode b

Instances

IsMockedMode FullyMocked

Defined in Language.Haskell.TH.TestUtils.QMode

Associated Types

type TestQResult FullyMocked a :: Type

Methods

runResult :: Q a -> TestQResult FullyMocked a

fmapResult :: (a -> b) -> TestQResult FullyMocked a -> TestQResult FullyMocked b

IsMockedMode FullyMockedWithIO

Defined in Language.Haskell.TH.TestUtils.QMode

Associated Types

type TestQResult FullyMockedWithIO a :: Type

Methods

runResult :: Q a -> TestQResult FullyMockedWithIO a

fmapResult :: (a -> b) -> TestQResult FullyMockedWithIO a -> TestQResult FullyMockedWithIO b

IsMockedMode NotMocked

Defined in Language.Haskell.TH.TestUtils.QMode

Associated Types

type TestQResult NotMocked a :: Type

Methods

runResult :: Q a -> TestQResult NotMocked a

fmapResult :: (a -> b) -> TestQResult NotMocked a -> TestQResult NotMocked b