Test.Hspec.Expectations.Match

This package provides expectations for use with hspec that use Template Haskell to assert that a value matches a particular pattern. Furthermore, any bindings created by the pattern will be returned if the pattern is successfully matched, making it easier to extract the result of some assertion and use it to make further assertions.

These functions should be used with Template Haskell’s expression and pattern quoters, notated by [| ... |] and [p| ... |], respectively.

Documentation

shouldMatch :: Q Exp -> Q Pat -> Q Exp

Asserts that a value matches a given pattern and returns the pattern’s bindings if the match succeeds.

>>> a <- $([|Just True|] `shouldMatch` [p|Just x|])
>>> a
True
>>> a <- $([|Nothing|] `shouldMatch` [p|Just x|])
*** Exception: Nothing failed to match pattern (Just x)

If multiple values are bound by a pattern, they are returned in a tuple, in the order they appear in the pattern.

>>> (b, c) <- $([|['x', 'y']|] `shouldMatch` [p|[x, y]|])
>>> b
'x'
>>> c
'y'
>>> (b, c) <- $([|['x', 'y']|] `shouldMatch` [p|[x, y, z]|])
*** Exception: ['x','y'] failed to match pattern [x, y, z]

shouldReturnAndMatch :: Q Exp -> Q Pat -> Q Exp

Like shouldReturn combined with shouldMatch. Like shouldReturn, the provided expression should produce an action that, once run, produces a value. Like shouldMatch, the resulting value will be matched against the provided pattern.