Michelson.Test.Gen

Utilities for arbitrary data generation in property tests.

Documentation

minTimestamp :: Timestamp

Minimal (earliest) timestamp used for Arbitrary (CValue 'CTimestamp)

maxTimestamp :: Timestamp

Maximal (latest) timestamp used for Arbitrary (CValue 'CTimestamp)

midTimestamp :: Timestamp

Median of minTimestamp and maxTimestamp. Useful for testing (exactly half of generated dates will be before and after this date).

Orphan instances

Arbitrary Timestamp

Methods

arbitrary :: Gen Timestamp

shrink :: Timestamp -> [Timestamp]

Arbitrary Mutez

Methods

arbitrary :: Gen Mutez

shrink :: Mutez -> [Mutez]

Arbitrary (CValue CInt)

Methods

arbitrary :: Gen (CValue CInt)

shrink :: CValue CInt -> [CValue CInt]

Arbitrary (CValue CMutez)

Methods

arbitrary :: Gen (CValue CMutez)

shrink :: CValue CMutez -> [CValue CMutez]

Arbitrary (CValue CKeyHash)

Methods

arbitrary :: Gen (CValue CKeyHash)

shrink :: CValue CKeyHash -> [CValue CKeyHash]

Arbitrary (CValue CTimestamp)

Methods

arbitrary :: Gen (CValue CTimestamp)

shrink :: CValue CTimestamp -> [CValue CTimestamp]

(Arbitrary (Value' instr a), Arbitrary (Value' instr b)) => Arbitrary (Value' instr (TPair a b))

Methods

arbitrary :: Gen (Value' instr (TPair a b))

shrink :: Value' instr (TPair a b) -> [Value' instr (TPair a b)]

Arbitrary (Value' instr TUnit)

Methods

arbitrary :: Gen (Value' instr TUnit)

shrink :: Value' instr TUnit -> [Value' instr TUnit]

Arbitrary (Value' instr a) => Arbitrary (Value' instr (TList a))

Methods

arbitrary :: Gen (Value' instr (TList a))

shrink :: Value' instr (TList a) -> [Value' instr (TList a)]

Arbitrary (CValue a) => Arbitrary (Value' instr (Tc a))

Methods

arbitrary :: Gen (Value' instr (Tc a))

shrink :: Value' instr (Tc a) -> [Value' instr (Tc a)]