ModularPrelude.Module.Vector

This module provides a first-class version of the Data.Vector module.

Module interface

data VectorModule

Constructors

Vector

Fields

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. Monad m => (a -> m b) -> Vector a -> m (Vector b)

mapM_ :: forall a b m. 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

Instances

Default VectorModule

VectorImplements VectorModule

Module contents

class VectorImplements interface where

Methods

_Data_Vector_ :: interface

Instances

VectorImplements VectorModule