Test.Cardano.Prelude

Decode a given ByteString which was originally encoded using encode or encodeWithIndex.

Encodes a given ByteString to base-16 and line wraps every 16 bytes.

Encodes a given ByteString to base-16 and displays it alongside its byte offset (line wrapped every 16 bytes).

Check that eachOf testLimit generated things hasProperty

Check that Canonical JSON decodes to the datatype

Only check that the datatype equals the decoding of the file

Make arbitrary ByteString of given length.

Make arbitrary ByteString.Lazy of given length.

Get something out of a quickcheck Gen without having to do IO

Choose a random (shuffled) subset of length n. Throws an error if there's not enough elements.

Extensional equality combinator. Useful to express function properties as functional equations.

Monadic extensional equality combinator.

Call stopProperty if boolean value is false.

Use stopProperty if the value is Nothing or return something it the value is Just.

A property that is always false

Split given list into chunks with size up to given value. TODO: consider using `sumEquals maxSize (length items)`

Split given integer total into parts parts TODO: improve naming!

Stop PropertyM execution with given reason. The property will fail.

Generate list of arbitrary positive integers which sum equals given sum. All elements in the list will be smaller or equal then first parameter

Round trip any a with both ToJSON and FromJSON instances.

Pretty round trip any a with both ToJSON and FromJSON canonical instances.

Round trip using given encode and decode functions for types with a Buildable instance

ArbitraryUnsafe class ~~~~~~~~~~~~~~~~~~~~~~~~

This class is the same as Arbitrary, except instances of this class for stuff like public/secret keys, VSS shares, commitments etc. are designed not to mimic real data as presisely as possible (using OpenSSL random), but rather to be simple and efficient.

This is especially useful for benchmarking.

Note: we don't need Generic to derive instances of ArbitraryUnsafe. We can either use one-line instance declaration, or -XStandaloneDeriving or -XDeriveAnyClass to write something like deriving (Arbitrary, ArbitraryUnsafe).

Type for generating list of unique (nonrepeating) elemets.