Data.Containers.Sequence

Contents

• Strict and lazy slices (bytestrings on arbitrary Storable types)

Synopsis

• class Monoid t => Sequence t where
  • splitAt :: Int -> t -> (t, t)
• class Stream c s | s -> c where
  • uncons :: s -> Maybe (c, s)
  • cons :: c -> s -> s
• i'elems :: (Monoid s', Stream c s, Stream c' s') => Iso [c] [c'] s s'
• take :: Sequence t => Int -> t -> t
• drop :: Sequence t => Int -> t -> t
• type Slice a = Vector a
• data 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)
• i'storables :: forall a b. (Storable a, Storable b) => Iso (Slice a) (Slice b) Chunk Chunk
• _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
• sliceElt :: (Storable a, Storable b) => Action a b (Slice a) (Slice b)
• span :: Stream c s => (c -> Bool) -> s -> ([c], s)
• break :: Stream c s => (c -> Bool) -> s -> ([c], s)
• takeWhile :: Stream c s => (c -> Bool) -> s -> [c]
• takeUntil :: Stream c s => (c -> Bool) -> s -> [c]
• dropWhile :: Stream c s => (c -> Bool) -> s -> s
• dropUntil :: Stream c s => (c -> Bool) -> s -> s
• pry :: Stream c s => Int -> s -> ([c], s)
• (++) :: Stream c s => [c] -> s -> s

Documentation

Strict and lazy slices (bytestrings on arbitrary Storable types)