Data.Strict.Vector.Lens

Documentation

toVectorOf :: Getting (Endo [a]) s a -> s -> Vector a

Analogous to toVectorOf.

vector :: Iso [a] [b] (Vector a) (Vector b)

Analogous to vector.

forced :: Iso (Vector a) (Vector b) (Vector a) (Vector b)

Analogous to forced.

sliced

Arguments

:: Int

i starting index

-> Int

n length

-> Lens' (Vector a) (Vector a)

Analogous to sliced.

ordinals :: [Int] -> IndexedTraversal' Int (Vector a) a

Analogous to ordinals.

Orphan instances

Ixed (Vector a)

Methods

ix :: Index (Vector a) -> Traversal' (Vector a) (IxValue (Vector a))

AsEmpty (Vector a)

Methods

_Empty :: Prism' (Vector a) ()

Reversing (Vector a)

Methods

reversing :: Vector a -> Vector a

Wrapped (Vector a)

Associated Types

type Unwrapped (Vector a)

Methods

_Wrapped' :: Iso' (Vector a) (Unwrapped (Vector a))

t ~ Vector a' => Rewrapped (Vector a) t

Cons (Vector a) (Vector b) a b

Methods

_Cons :: Prism (Vector a) (Vector b) (a, Vector a) (b, Vector b)

Snoc (Vector a) (Vector b) a b

Methods

_Snoc :: Prism (Vector a) (Vector b) (Vector a, a) (Vector b, b)

Each (Vector a) (Vector b) a b

Methods

each :: Traversal (Vector a) (Vector b) a b