Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- delayedStreamSpec :: Spec
- prop_toStream :: forall r ix e. (Source r e, Stream r ix e, Show e, Eq e) => Array r ix e -> Property
- prop_toStreamIsList :: forall r e. (Item (Array r Ix1 e) ~ e, IsList (Array r Ix1 e), Stream r Ix1 e, Show e, Eq e) => Array r Ix1 e -> Property
- prop_toStreamFoldable :: forall r ix e. (Foldable (Array r ix), Stream r ix e, Show e, Eq e) => Array r ix e -> Property
- prop_sfilter :: forall r ix e. (Eq e, Show e, Stream r ix e, Foldable (Array r ix)) => Array r ix e -> Fun e Bool -> Property
- prop_smapMaybe :: forall r ix e a. (Eq a, Show a, Stream r ix e, Foldable (Array r ix)) => Array r ix e -> Fun e (Maybe a) -> Property
- prop_takeDrop :: forall r e. (Eq e, Show e, Source r e, Foldable (Array r Ix1)) => Vector r e -> Int -> Int -> Property
- prop_sunfoldr :: forall e s. (Eq e, Show e) => Fun s (Maybe (e, s)) -> s -> NonNegative Int -> Property
- stackSlices' :: (Functor f, Foldable f, Source r e, Index ix, Load r (Lower ix) e) => Dim -> f (Array r (Lower ix) e) -> Array DL ix e
Spec for safe Mutable instance
Useful properties for testing toList conversion
prop_toStream :: forall r ix e. (Source r e, Stream r ix e, Show e, Eq e) => Array r ix e -> Property Source #
prop_toStreamIsList :: forall r e. (Item (Array r Ix1 e) ~ e, IsList (Array r Ix1 e), Stream r Ix1 e, Show e, Eq e) => Array r Ix1 e -> Property Source #
prop_toStreamFoldable :: forall r ix e. (Foldable (Array r ix), Stream r ix e, Show e, Eq e) => Array r ix e -> Property Source #
prop_sfilter :: forall r ix e. (Eq e, Show e, Stream r ix e, Foldable (Array r ix)) => Array r ix e -> Fun e Bool -> Property Source #
prop_smapMaybe :: forall r ix e a. (Eq a, Show a, Stream r ix e, Foldable (Array r ix)) => Array r ix e -> Fun e (Maybe a) -> Property Source #
prop_takeDrop :: forall r e. (Eq e, Show e, Source r e, Foldable (Array r Ix1)) => Vector r e -> Int -> Int -> Property Source #
prop_sunfoldr :: forall e s. (Eq e, Show e) => Fun s (Maybe (e, s)) -> s -> NonNegative Int -> Property Source #