morley-0.2.0: Developer tools for the Michelson Language

Safe Haskell	None
Language	Haskell2010

Morley.Test.Util

Description

Testing utility functions used by testing framework itself or intended to be used by test writers.

Synopsis

failedProp :: Text -> Property
succeededProp :: Property
qcIsLeft :: Show b => Either a b -> Property
qcIsRight :: Show a => Either a b -> Property

Documentation

failedProp :: Text -> Property Source #

A Property that always failes with given message.

succeededProp :: Property Source #

A Property that always succeeds.

qcIsLeft :: Show b => Either a b -> Property Source #

The Property holds on `Left a`.

qcIsRight :: Show a => Either a b -> Property Source #

The Property holds on `Right b`.