Michelson.Test.Gen

Utilities for arbitrary data generation in property tests.

Deprecation Notice

At the moment, this module exposes both Hedgehog generators and QuickCheck Arbitrary instances for convenience. However, Arbitrary instances should be considered deprecated and will eventually be removed.

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).

genMutez :: MonadGen m => m Mutez

genTimestamp :: MonadGen m => m Timestamp

genValueKeyHash :: MonadGen m => m (Value' instr 'TKeyHash)

genValueMutez :: MonadGen m => m (Value' instr 'TMutez)

genValueInt :: MonadGen m => m (Value' instr 'TInt)

genValueList :: (MonadGen m, KnownT a) => m (Value' instr a) -> m (Value' instr ('TList a))

genValueUnit :: Applicative m => m (Value' instr 'TUnit)

genValuePair :: MonadGen m => m (Value' instr a) -> m (Value' instr b) -> m (Value' instr ('TPair a b))

genValueTimestamp :: MonadGen m => m (Value' instr 'TTimestamp)

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]

(KnownT a, 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]