Morley.Test.Gen

Utilities for arbitrary data generation in property tests.

Documentation

minTimestamp :: Timestamp

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

maxTimestamp :: Timestamp

Maximal (latest) timestamp used for Arbitrary (CVal '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 (CVal CInt)

Methods

arbitrary :: Gen (CVal CInt)

shrink :: CVal CInt -> [CVal CInt]

Arbitrary (CVal CMutez)

Methods

arbitrary :: Gen (CVal CMutez)

shrink :: CVal CMutez -> [CVal CMutez]

Arbitrary (CVal CKeyHash)

Methods

arbitrary :: Gen (CVal CKeyHash)

shrink :: CVal CKeyHash -> [CVal CKeyHash]

Arbitrary (CVal CTimestamp)

Methods

arbitrary :: Gen (CVal CTimestamp)

shrink :: CVal CTimestamp -> [CVal CTimestamp]

(Arbitrary (Val instr a), Arbitrary (Val instr b)) => Arbitrary (Val instr (TPair a b))

Methods

arbitrary :: Gen (Val instr (TPair a b))

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

Arbitrary (Val instr TUnit)

Methods

arbitrary :: Gen (Val instr TUnit)

shrink :: Val instr TUnit -> [Val instr TUnit]

Arbitrary (Val instr a) => Arbitrary (Val instr (TList a))

Methods

arbitrary :: Gen (Val instr (TList a))

shrink :: Val instr (TList a) -> [Val instr (TList a)]

Arbitrary (CVal a) => Arbitrary (Val instr (Tc a))

Methods

arbitrary :: Gen (Val instr (Tc a))

shrink :: Val instr (Tc a) -> [Val instr (Tc a)]