Moduletasty-silver-3.3.2.1Haskell2010

Test.Tasty.Silver.Internal

datadata Golden

See goldenTest1 for explanation of the fields.

forall a. Golden (IO (Maybe a)) (IO a) (a -> a -> IO GDiff) (a -> IO GShow) (Maybe (a -> IO ()))

Instances1IsTest

newtypenewtype AcceptTests

This option, when set to True, specifies that we should run in the «accept tests» mode.

Instances3Eq, Ord, IsOption

Eq AcceptTestsDefined in tasty-silver-3.3.2.1 · Test.Tasty.Silver.Internal
Ord AcceptTestsDefined in tasty-silver-3.3.2.1 · Test.Tasty.Silver.Internal
IsOption AcceptTestsDefined in tasty-silver-3.3.2.1 · Test.Tasty.Silver.Internal

valuereadFileMaybe :: FilePath -> IO (Maybe ByteString)

Read the file if it exists, else return Nothing. Useful for reading golden files.

datadata GDiff

The comparison/diff result.

Equal
Values are equal.
DiffText
The two values are different, show a diff between the two given texts.
- gReason :: Maybe String
- gActual :: Text
- gExpected :: Text
ShowDiffed
The two values are different, just show the given text to the user.
- gReason :: Maybe String
- gDiff :: Text

datadata GShow

How to show a value to the user.

typetype GoldenResult = GoldenResult' IO

typetype GoldenResultI = GoldenResult' Identity

datadata GoldenResult' (m :: Type -> Type)

Instances1Show

Show (GoldenResult' m)Defined in tasty-silver-3.3.2.1 · Test.Tasty.Silver.Internal

valuerunGolden :: Golden -> IO (Result, GoldenResult)

valueforceGoldenResult :: GoldenResult -> IO GoldenResultI

Generic utilites

6 declarations

valueifM :: Monad m => m Bool -> m a -> m a -> m a

Monadic if.

valueifNotM :: Monad m => m Bool -> m a -> m a -> m a

Monadic if (not ...) ....

valueand2M :: Monad m => m Bool -> m Bool -> m Bool

Short-cutting version of liftM2 (&&).

valueandM :: Monad m => [m Bool] -> m Bool

Short-cutting version of and . sequence.

valueor2M :: Monad m => m Bool -> m Bool -> m Bool

Short-cutting version of liftM2 (||).

valueorM :: Monad m => [m Bool] -> m Bool

Short-cutting version of or . sequence.