Data.Containers.Sequence

Documentation

class Monoid t => Sequence t where

Methods

splitAt :: Int -> t -> (t, t)

Instances

Sequence Bytes

Sequence [a]

Storable a => Sequence (Vector a)

Storable a => Sequence (Slices a)

class Stream c s | s -> c where

Methods

uncons :: s -> Maybe (c, s)

cons :: c -> s -> s

Instances

Stream Char Chunk

Stream a [a]

take :: Sequence t => Int -> t -> t

drop :: Sequence t => Int -> t -> t

Strict and lazy slices (bytestrings on arbitrary Storable types)

type Slice a = Vector a

data Slices a

Instances

Monoid (Slices a)

Semigroup (Slices a)

Storable a => Sequence (Slices a)

slice :: (Storable a, Storable b) => Iso (Slice a) (Slice b) [a] [b]

slices :: (Storable a, Storable b) => Iso (Slices a) (Slices b) (Slice a) (Slice b)

_Slices :: Iso (Slices a) (Slices b) [Slice a] [Slice b]

breadth :: Storable a => Slices a -> Int

unsafeWith :: Storable a => Vector a -> (Ptr a -> IO b) -> IO b

Pass a pointer to the vector's data to the IO action. The data may not be modified through the 'Ptr.