Safe Haskell	None
Language	Haskell2010

Data.RAVec.NonEmpty.Optics

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 #
FoldableWithIndex (PosP b) (NERAVec b) Source #
Instance details Methods ifoldMap :: Monoid m => (PosP b -> a -> m) -> NERAVec b a -> m # 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) #
Each (PosP n) (NERAVec n a) (NERAVec n b) a b Source #
Instance details Methods each :: IxTraversal (PosP n) (NERAVec n a) (NERAVec n b) a b #
Ixed (NERAVec b a) Source #
Instance details Associated Types type IxKind (NERAVec b a) :: OpticKind # Methods ix :: Index (NERAVec b a) -> Optic' (IxKind (NERAVec b a)) NoIx (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 #
FoldableWithIndex (PosP' n b) (NERAVec' n b) Source #
Instance details Methods ifoldMap :: Monoid m => (PosP' n b -> a -> m) -> NERAVec' n b a -> m # 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) #
Each (PosP' n m) (NERAVec' n m a) (NERAVec' n m b) a b Source #
Instance details Methods each :: IxTraversal (PosP' n m) (NERAVec' n m a) (NERAVec' n m b) a b #
Ixed (NERAVec' n b a) Source #
Instance details Associated Types type IxKind (NERAVec' n b a) :: OpticKind # Methods ix :: Index (NERAVec' n b a) -> Optic' (IxKind (NERAVec' n b a)) NoIx (NERAVec' n b a) (IxValue (NERAVec' n b a)) #