Data.AMT.Lens

Documentation

vectorOf :: Getting (Vector a) s a -> s -> Vector a

Construct a Vector from a Getter, Fold, Traversal, Lens or Iso.

Orphan instances

FunctorWithIndex Int Vector

Methods

imap :: (Int -> a -> b) -> Vector a -> Vector b

imapped :: IndexedSetter Int (Vector a) (Vector b) a b

FoldableWithIndex Int Vector

Methods

ifoldMap :: Monoid m => (Int -> a -> m) -> Vector a -> m

ifolded :: IndexedFold Int (Vector a) a

ifoldr :: (Int -> a -> b -> b) -> b -> Vector a -> b

ifoldl :: (Int -> b -> a -> b) -> b -> Vector a -> b

ifoldr' :: (Int -> a -> b -> b) -> b -> Vector a -> b

ifoldl' :: (Int -> b -> a -> b) -> b -> Vector a -> b

TraversableWithIndex Int Vector

Methods

itraverse :: Applicative f => (Int -> a -> f b) -> Vector a -> f (Vector b)

itraversed :: IndexedTraversal Int (Vector a) (Vector b) a b

Ixed (Vector a)

Methods

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

Wrapped (Vector a)

Associated Types

type Unwrapped (Vector a) :: Type

Methods

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

AsEmpty (Vector a)

Methods

_Empty :: Prism' (Vector a) ()

Reversing (Vector a)

Methods

reversing :: Vector a -> Vector a

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

Each (Vector a) (Vector b) a b

Methods

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

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)