Test.StrongCheck.GenericValue

newtype GenericValue

Contains a representation of a value in generic form. Consists of GenericSpine and corresponding GenericSignature.

Useful for its Arbitary instance.

Instances

• Eq GenericValue
• Show GenericValue
• Arbitrary GenericValue

runGenericValue :: GenericValue -> { signature :: GenericSignature, spine :: GenericSpine }

genericValue :: forall m. MonadZero m => GenericSignature -> GenericSpine -> m GenericValue

Constructs generic value. Would return mzero if given GenericSpine doesn't conform to given GenericSignature.