Data.RAVec.NonEmpty.Optics
Contents
ix :: PosP b -> Lens' (NERAVec b a) a Source #
ix' :: PosP' n b -> Lens' (NERAVec' n b a) a Source #
Methods
each :: IxTraversal (PosP n) (NERAVec n a) (NERAVec n b) a b #
Associated Types
type IxKind (NERAVec b a) #
ix :: Index (NERAVec b a) -> Optic' (IxKind (NERAVec b a)) NoIx (NERAVec b a) (IxValue (NERAVec b a)) #
each :: IxTraversal (PosP' n m) (NERAVec' n m a) (NERAVec' n m b) a b #
type IxKind (NERAVec' n b a) #
ix :: Index (NERAVec' n b a) -> Optic' (IxKind (NERAVec' n b a)) NoIx (NERAVec' n b a) (IxValue (NERAVec' n b a)) #