Data.Vec.Lazy

data Vec n a

Construction

empty

singleton

withDict

Conversions

toPull

fromPull

_Pull

toList

fromList

_Vec

fromListPrefix

reifyList

Indexing

(!)

ix

_Cons

_head

_tail

cons

head

tail

Concatenation and splitting

(++)

split

concatMap

concat

chunks

Folds

foldMap

foldMap1

ifoldMap

ifoldMap1

foldr

ifoldr

foldl'

Special folds

length

null

sum

product

Mapping

map

imap

traverse

traverse1

itraverse

itraverse_

Zipping

zipWith

izipWith

Monadic

bind

join

Universe

universe

VecEach

class VecEach s t a b