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 (Value' instr 'TTimestamp)

Methods

arbitrary :: Gen (Value' instr 'TTimestamp)

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

(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 (Value' instr 'TInt)

Methods

arbitrary :: Gen (Value' instr 'TInt)

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

Arbitrary (Value' instr 'TMutez)

Methods

arbitrary :: Gen (Value' instr 'TMutez)

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

Arbitrary (Value' instr 'TKeyHash)

Methods

arbitrary :: Gen (Value' instr 'TKeyHash)

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