Data.RAList.NonEmpty.Optics

Indexing

ix :: Int -> AffineTraversal' (NERAList a) a

Orphan instances

FunctorWithIndex Int NERAList

Methods

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

FoldableWithIndex Int NERAList

Methods

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

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

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

TraversableWithIndex Int NERAList

Methods

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

Each Int (NERAList a) (NERAList b) a b

Methods

each :: IxTraversal Int (NERAList a) (NERAList b) a b

Ixed (NERAList a)

Associated Types

type IxKind (NERAList a) :: OpticKind

Methods

ix :: Index (NERAList a) -> Optic' (IxKind (NERAList a)) NoIx (NERAList a) (IxValue (NERAList a))