Data.RAList.Optics

Indexing

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

Orphan instances

FunctorWithIndex Int RAList

Methods

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

FoldableWithIndex Int RAList

Methods

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

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

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

TraversableWithIndex Int RAList

Methods

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

Each Int (RAList a) (RAList b) a b

Methods

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

Ixed (RAList a)

Associated Types

type IxKind (RAList a) :: OpticKind

Methods

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