Safe Haskell	None
Language	Haskell2010

Data.RAVec.NonEmpty.Lens

Contents

Indexing
Orphan instances

Synopsis

ix :: PosP b -> Lens' (NERAVec b a) a
ix' :: PosP' n b -> Lens' (NERAVec' n b a) a

Indexing

ix :: PosP b -> Lens' (NERAVec b a) a Source #

ix' :: PosP' n b -> Lens' (NERAVec' n b a) a Source #

Orphan instances

FunctorWithIndex (PosP b) (NERAVec b) Source #
Instance details Methods imap :: (PosP b -> a -> b0) -> NERAVec b a -> NERAVec b b0 # imapped :: IndexedSetter (PosP b) (NERAVec b a) (NERAVec b b0) a b0 #
FoldableWithIndex (PosP b) (NERAVec b) Source #
Instance details Methods ifoldMap :: Monoid m => (PosP b -> a -> m) -> NERAVec b a -> m # ifolded :: IndexedFold (PosP b) (NERAVec b a) a # ifoldr :: (PosP b -> a -> b0 -> b0) -> b0 -> NERAVec b a -> b0 # ifoldl :: (PosP b -> b0 -> a -> b0) -> b0 -> NERAVec b a -> b0 # ifoldr' :: (PosP b -> a -> b0 -> b0) -> b0 -> NERAVec b a -> b0 # ifoldl' :: (PosP b -> b0 -> a -> b0) -> b0 -> NERAVec b a -> b0 #
TraversableWithIndex (PosP b) (NERAVec b) Source #
Instance details Methods itraverse :: Applicative f => (PosP b -> a -> f b0) -> NERAVec b a -> f (NERAVec b b0) # itraversed :: IndexedTraversal (PosP b) (NERAVec b a) (NERAVec b b0) a b0 #
Ixed (NERAVec b a) Source #
Instance details Methods ix :: Index (NERAVec b a) -> Traversal' (NERAVec b a) (IxValue (NERAVec b a)) #
FunctorWithIndex (PosP' n b) (NERAVec' n b) Source #
Instance details Methods imap :: (PosP' n b -> a -> b0) -> NERAVec' n b a -> NERAVec' n b b0 # imapped :: IndexedSetter (PosP' n b) (NERAVec' n b a) (NERAVec' n b b0) a b0 #
FoldableWithIndex (PosP' n b) (NERAVec' n b) Source #
Instance details Methods ifoldMap :: Monoid m => (PosP' n b -> a -> m) -> NERAVec' n b a -> m # ifolded :: IndexedFold (PosP' n b) (NERAVec' n b a) a # ifoldr :: (PosP' n b -> a -> b0 -> b0) -> b0 -> NERAVec' n b a -> b0 # ifoldl :: (PosP' n b -> b0 -> a -> b0) -> b0 -> NERAVec' n b a -> b0 # ifoldr' :: (PosP' n b -> a -> b0 -> b0) -> b0 -> NERAVec' n b a -> b0 # ifoldl' :: (PosP' n b -> b0 -> a -> b0) -> b0 -> NERAVec' n b a -> b0 #
TraversableWithIndex (PosP' n b) (NERAVec' n b) Source #
Instance details Methods itraverse :: Applicative f => (PosP' n b -> a -> f b0) -> NERAVec' n b a -> f (NERAVec' n b b0) # itraversed :: IndexedTraversal (PosP' n b) (NERAVec' n b a) (NERAVec' n b b0) a b0 #
Each (NERAVec n a) (NERAVec n b) a b Source #
Instance details Methods each :: Traversal (NERAVec n a) (NERAVec n b) a b #
Ixed (NERAVec' n b a) Source #
Instance details Methods ix :: Index (NERAVec' n b a) -> Traversal' (NERAVec' n b a) (IxValue (NERAVec' n b a)) #
Each (NERAVec' n m a) (NERAVec' n m b) a b Source #
Instance details Methods each :: Traversal (NERAVec' n m a) (NERAVec' n m b) a b #