Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- delayedStreamSpec :: Spec
- prop_toStream :: forall r ix e. (Source r ix 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_filterS :: 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_mapMaybeS :: 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 ix e. (Eq e, Show e, Stream r ix e, Foldable (Array r ix)) => Array r ix e -> Int -> Int -> Property
- prop_unfoldr :: forall e s. (Eq e, Show e) => Fun s (Maybe (e, s)) -> s -> NonNegative Int -> Property
Spec for safe Mutable instance
Useful properties for testing toList conversion
prop_toStream :: forall r ix e. (Source r ix 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_filterS :: 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_mapMaybeS :: 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 ix e. (Eq e, Show e, Stream r ix e, Foldable (Array r ix)) => Array r ix e -> Int -> Int -> Property Source #
prop_unfoldr :: forall e s. (Eq e, Show e) => Fun s (Maybe (e, s)) -> s -> NonNegative Int -> Property Source #