Safe Haskell	None
Language	Haskell2010

Data.AMT.Lens

Contents

Orphan instances

Synopsis

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

Documentation

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

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

Orphan instances

FunctorWithIndex Int Vector Source #
Instance details Methods imap :: (Int -> a -> b) -> Vector a -> Vector b # imapped :: IndexedSetter Int (Vector a) (Vector b) a b #
FoldableWithIndex Int Vector Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Methods ix :: Index (Vector a) -> Traversal' (Vector a) (IxValue (Vector a)) #
Wrapped (Vector a) Source #
Instance details Associated Types type Unwrapped (Vector a) :: Type # Methods _Wrapped' :: Iso' (Vector a) (Unwrapped (Vector a)) #
AsEmpty (Vector a) Source #
Instance details Methods _Empty :: Prism' (Vector a) () #
Reversing (Vector a) Source #
Instance details Methods reversing :: Vector a -> Vector a #
t ~ Vector a' => Rewrapped (Vector a) t Source #
Instance details
Each (Vector a) (Vector b) a b Source #
Instance details Methods each :: Traversal (Vector a) (Vector b) a b #
Cons (Vector a) (Vector b) a b Source #
Instance details Methods _Cons :: Prism (Vector a) (Vector b) (a, Vector a) (b, Vector b) #
Snoc (Vector a) (Vector b) a b Source #
Instance details Methods _Snoc :: Prism (Vector a) (Vector b) (Vector a, a) (Vector b, b) #