Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- mutableSpec :: forall r ix e. (Show (Array D ix e), Show (Array r ix e), Show (Array r Ix1 e), Eq (Array r Ix1 e), Load (R r) ix e, Eq (Array r ix e), Typeable e, Show e, Eq e, Mutable r ix e, Mutable r Ix1 e, Extract r ix e, CoArbitrary ix, Arbitrary e, CoArbitrary e, Arbitrary ix, Typeable ix, Function ix, Function e) => Spec
- prop_GenerateArray :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Mutable r ix e, Show e, Arbitrary e, Arbitrary ix, Function ix, CoArbitrary ix) => Property
- prop_iMapiMapM :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Mutable r ix e) => Fun (ix, e) e -> Array D ix e -> Property
- prop_Shrink :: forall r ix e. (Show (Array r ix e), Mutable r ix e, Source r Ix1 e, Arbitrary ix, Arbitrary e, Eq e) => Property
- prop_GrowShrink :: forall r ix e. (Eq (Array r ix e), Show (Array r ix e), Load (R r) ix e, Mutable r ix e, Extract r ix e, Arbitrary ix, Arbitrary e, Show e) => Property
- prop_unfoldrList :: forall r ix e. (Show (Array r Ix1 e), Eq (Array r Ix1 e), Arbitrary ix, Arbitrary e, Show e, Resize r ix, Mutable r ix e, Mutable r Ix1 e) => Property
- prop_unfoldrReverseUnfoldl :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Arbitrary ix, Arbitrary e, Show e, Source r ix e, Mutable r ix e) => Property
- prop_toStreamArrayMutable :: (Mutable r ix e, Show (Array r ix e), Eq (Array r ix e)) => Array r ix e -> Property
- atomicIntSpec :: forall ix. (Show (Array P ix Int), Arbitrary ix, Index ix) => Spec
Spec for safe Mutable instance
mutableSpec :: forall r ix e. (Show (Array D ix e), Show (Array r ix e), Show (Array r Ix1 e), Eq (Array r Ix1 e), Load (R r) ix e, Eq (Array r ix e), Typeable e, Show e, Eq e, Mutable r ix e, Mutable r Ix1 e, Extract r ix e, CoArbitrary ix, Arbitrary e, CoArbitrary e, Arbitrary ix, Typeable ix, Function ix, Function e) => Spec Source #
prop_GenerateArray :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Mutable r ix e, Show e, Arbitrary e, Arbitrary ix, Function ix, CoArbitrary ix) => Property Source #
prop_iMapiMapM :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Mutable r ix e) => Fun (ix, e) e -> Array D ix e -> Property Source #
prop_Shrink :: forall r ix e. (Show (Array r ix e), Mutable r ix e, Source r Ix1 e, Arbitrary ix, Arbitrary e, Eq e) => Property Source #
prop_GrowShrink :: forall r ix e. (Eq (Array r ix e), Show (Array r ix e), Load (R r) ix e, Mutable r ix e, Extract r ix e, Arbitrary ix, Arbitrary e, Show e) => Property Source #
prop_unfoldrList :: forall r ix e. (Show (Array r Ix1 e), Eq (Array r Ix1 e), Arbitrary ix, Arbitrary e, Show e, Resize r ix, Mutable r ix e, Mutable r Ix1 e) => Property Source #
prop_unfoldrReverseUnfoldl :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Arbitrary ix, Arbitrary e, Show e, Source r ix e, Mutable r ix e) => Property Source #
prop_toStreamArrayMutable :: (Mutable r ix e, Show (Array r ix e), Eq (Array r ix e)) => Array r ix e -> Property Source #