Safe Haskell | None |
---|---|
Language | Haskell2010 |
Utilities for arbitrary data generation in property tests.
Synopsis
Documentation
minTimestamp :: Timestamp Source #
Minimal (earliest) timestamp used for Arbitrary (CValue 'CTimestamp)
maxTimestamp :: Timestamp Source #
Maximal (latest) timestamp used for Arbitrary (CValue 'CTimestamp)
midTimestamp :: Timestamp Source #
Median of minTimestamp
and maxTimestamp
.
Useful for testing (exactly half of generated dates will be before and after
this date).
Orphan instances
Arbitrary Timestamp Source # | |
Arbitrary Mutez Source # | |
Arbitrary (Value' instr 'TTimestamp) Source # | |
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)) Source # | |
Arbitrary (Value' instr 'TUnit) Source # | |
Arbitrary (Value' instr a) => Arbitrary (Value' instr ('TList a)) Source # | |
Arbitrary (Value' instr 'TInt) Source # | |
Arbitrary (Value' instr 'TMutez) Source # | |
Arbitrary (Value' instr 'TKeyHash) Source # | |