| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
ModularPrelude.Module.Vector
Contents
Description
This module provides a first-class version of the Data.Vector module.
Synopsis
- data VectorModule = Vector {
- map :: forall a b. (a -> b) -> Vector a -> Vector b
- concatMap :: forall a b. (a -> Vector b) -> Vector a -> Vector b
- filter :: forall a. (a -> Bool) -> Vector a -> Vector a
- length :: forall a. Vector a -> Int
- singleton :: forall a. a -> Vector a
- null :: forall a. Vector a -> Bool
- pack :: forall a. [a] -> Vector a
- unpack :: forall a. Vector a -> [a]
- fromList :: forall a. [a] -> Vector a
- toList :: forall a. Vector a -> [a]
- mapM :: forall a b (m :: Type -> Type). Monad m => (a -> m b) -> Vector a -> m (Vector b)
- mapM_ :: forall a b (m :: Type -> Type). Monad m => (a -> m b) -> Vector a -> m ()
- empty :: forall a. Vector a
- member :: forall a. Eq a => a -> Vector a -> Bool
- break :: forall a. (a -> Bool) -> Vector a -> (Vector a, Vector a)
- span :: forall a. (a -> Bool) -> Vector a -> (Vector a, Vector a)
- dropWhile :: forall a. (a -> Bool) -> Vector a -> Vector a
- takeWhile :: forall a. (a -> Bool) -> Vector a -> Vector a
- any :: forall a. (a -> Bool) -> Vector a -> Bool
- all :: forall a. (a -> Bool) -> Vector a -> Bool
- splitAt :: forall a. Int -> Vector a -> (Vector a, Vector a)
- fold :: forall a b. (a -> b -> a) -> a -> Vector b -> a
- class VectorImplements interface where
- _Data_Vector_ :: interface
Module interface
data VectorModule Source #
Constructors
| Vector | |
Fields
| |
Instances
| Default VectorModule Source # | |
Defined in ModularPrelude.Module.Vector Methods def :: VectorModule # | |
| VectorImplements VectorModule Source # | |
Defined in ModularPrelude.Module.Vector Methods | |
Module contents
class VectorImplements interface where Source #
Methods
_Data_Vector_ :: interface Source #
Instances
| VectorImplements VectorModule Source # | |
Defined in ModularPrelude.Module.Vector Methods | |