Data.RAVec.NonEmpty.Optics

Indexing

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

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

Orphan instances

FunctorWithIndex (PosP b) (NERAVec b)

Methods

imap :: (PosP b -> a -> b0) -> NERAVec b a -> NERAVec b b0

FoldableWithIndex (PosP b) (NERAVec b)

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)

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

Methods

each :: IxTraversal (PosP n) (NERAVec n a) (NERAVec n b) a b

Ixed (NERAVec b a)

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)

Methods

imap :: (PosP' n b -> a -> b0) -> NERAVec' n b a -> NERAVec' n b b0

FoldableWithIndex (PosP' n b) (NERAVec' n b)

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)

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

Methods

each :: IxTraversal (PosP' n m) (NERAVec' n m a) (NERAVec' n m b) a b

Ixed (NERAVec' n b a)

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))