Safe Haskell	None
Language	Haskell2010

Data.Vec.Pull.Optics

Contents

Synopsis

Indexing

ix :: Fin n -> Lens' (Vec n a) a Source #

Index lens.

a ::: x ::: c ::: VNil >>> view (L._Pull % ix (FS FZ)) (a L.::: b L.::: c L.::: L.VNil) b

>>> set (L._Pull % ix (FS FZ)) 'x' ('a' L.::: 'b' L.::: 'c' L.::: L.VNil)
'a' ::: 'x' ::: 'c' ::: VNil

_Cons :: Iso (Vec (S n) a) (Vec (S n) b) (a, Vec n a) (b, Vec n b) Source #

Match on non-empty Vec.

Note: lens _Cons is a Prism. In fact, Vec n a cannot have an instance of Cons as types don't match.

Head lens. Note: lens _head is a Traversal'.

>>> view (L._Pull % _head) ('a' L.::: 'b' L.::: 'c' L.::: L.VNil)
'a'

>>> set (L._Pull % _head) 'x' ('a' L.::: 'b' L.::: 'c' L.::: L.VNil)
'x' ::: 'b' ::: 'c' ::: VNil

Tail lens.

Conversions

Prism from list.

FunctorWithIndex (Fin n) (Vec n) Source #
Instance details Methods imap :: (Fin n -> a -> b) -> Vec n a -> Vec n b #
SNatI n => FoldableWithIndex (Fin n) (Vec n) Source #
Instance details Methods ifoldMap :: Monoid m => (Fin n -> a -> m) -> Vec n a -> m # ifoldr :: (Fin n -> a -> b -> b) -> b -> Vec n a -> b # ifoldl' :: (Fin n -> b -> a -> b) -> b -> Vec n a -> b #