ral-optics-0.2.1: Length-indexed random access lists: optics utilities.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.RAVec.NonEmpty.Optics

Synopsis

Indexing

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

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

Orphan instances

Each (PosP n) (NERAVec n a) (NERAVec n b) a b Source # 
Instance details

Methods

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

Ixed (NERAVec b a) Source # 
Instance details

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 Source # 
Instance details

Methods

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

Ixed (NERAVec' n b a) Source # 
Instance details

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