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

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)

Methods

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

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)

Methods

ix :: Index (NERAVec' n b a) -> Optic' (IxKind (NERAVec' n b a)) NoIx (NERAVec' n b a) (IxValue (NERAVec' n b a))