úÎ!4w0·2      !"#$%&'()*+,-./01None .=?@AHSVXä vec-opticsMatch on non-empty 2.Note: lens 3 is a 4 . In fact, 2 n a cannot have an instance of 5 as types don't match. vec-optics Head lens. Note: lens 6 is a 7.)view _head ('a' ::: 'b' ::: 'c' ::: VNil)'a',set _head 'x' ('a' ::: 'b' ::: 'c' ::: VNil)'x' ::: 'b' ::: 'c' ::: VNil vec-optics Tail lens. vec-opticsAn  from 8 and 9. vec-opticsPrism from list.-preview _Vec "foo" :: Maybe (Vec N.Nat3 Char)#Just ('f' ::: 'o' ::: 'o' ::: VNil)-preview _Vec "foo" :: Maybe (Vec N.Nat2 Char)Nothing%review _Vec (True ::: False ::: VNil) [True,False] vec-optics Index lens.0view (ix (FS FZ)) ('a' ::: 'b' ::: 'c' ::: VNil)'b'3set (ix (FS FZ)) 'x' ('a' ::: 'b' ::: 'c' ::: VNil)'a' ::: 'x' ::: 'c' ::: VNil vec-optics2 doesn't have : instance, as we cannot remove value from 2. See  in Data.Vec.DataFamily.SpineStrict module for an ; (not <).None .=?@AHSVX vec-optics Index lens.0view (ix (FS FZ)) ('a' ::: 'b' ::: 'c' ::: VNil)'b'3set (ix (FS FZ)) 'x' ('a' ::: 'b' ::: 'c' ::: VNil)'a' ::: 'x' ::: 'c' ::: VNil vec-opticsMatch on non-empty =.Note: lens 3 is a 4 . In fact, = n a cannot have an instance of 5 as types don't match. vec-optics Head lens. Note: lens 6 is a 7.)view _head ('a' ::: 'b' ::: 'c' ::: VNil)'a',set _head 'x' ('a' ::: 'b' ::: 'c' ::: VNil)'x' ::: 'b' ::: 'c' ::: VNil vec-optics Tail lens. vec-opticsAn  from > and ?. vec-opticsPrism from list.-preview _Vec "foo" :: Maybe (Vec N.Nat3 Char)#Just ('f' ::: 'o' ::: 'o' ::: VNil)-preview _Vec "foo" :: Maybe (Vec N.Nat2 Char)Nothing%review _Vec (True ::: False ::: VNil) [True,False]# vec-optics= doesn't have : instance, as we cannot remove value from =. See  in  Data.Vec.Lazy module for an  (not <).None&'.SX&( vec-optics Index lens.0view (ix (FS FZ)) ('a' ::: 'b' ::: 'c' ::: VNil)'b'3set (ix (FS FZ)) 'x' ('a' ::: 'b' ::: 'c' ::: VNil)'a' ::: 'x' ::: 'c' ::: VNil) vec-opticsAn @ from A and B.* vec-opticsPrism from list.-preview _Vec "foo" :: Maybe (Vec N.Nat3 Char)#Just ('f' ::: 'o' ::: 'o' ::: VNil)-preview _Vec "foo" :: Maybe (Vec N.Nat2 Char)Nothing%review _Vec (True ::: False ::: VNil) [True,False]()*()*None&'.@ASX0U+ vec-optics Index lens.a ::: x ::: c, ::: VNil >>> view (L._Pull % ix (FS FZ)) (a L.::: b L.::: c L.::: L.VNil) bEset (L._Pull % ix (FS FZ)) 'x' ('a' L.::: 'b' L.::: 'c' L.::: L.VNil)'a' ::: 'x' ::: 'c' ::: VNil, vec-opticsMatch on non-empty C.Note: lens 3 is a 4 . In fact, C n a cannot have an instance of 5 as types don't match.- vec-optics Head lens. Note: lens 6 is a 7.=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. vec-optics Tail lens./ vec-opticsPrism from list.+,-./+,-./ None0³D             !" !#$!"%!" !&'()!*+!,-!&./ /(/)!01(1)2 3%vec-optics-0.3-KR2DdX1U0lPJxuuZJtkXZj&Data.Vec.DataFamily.SpineStrict.OpticsData.Vec.Lazy.OpticsData.Vec.Lazy.Inline.OpticsData.Vec.Pull.OpticsIIsoLOpticsData.Vec.Optics.Instances_Cons_head_tail_Pull_Vecix$fField9VecVecaa$fField8VecVecaa$fField7VecVecaa$fField6VecVecaa$fField5VecVecaa$fField4VecVecaa$fField3VecVecaa$fField2VecVecaa$fField1VecVecaa $fIxedVec$fEachFinVecVecab$fTraversableWithIndexFinVec$fFoldableWithIndexFinVec$fFunctorWithIndexFinVecvec-0.3-KZi1gXlw11DH41pKdpeuweData.Vec.DataFamily.SpineStrictVec%optics-core-0.2-gD5oLonty5JUp0ntsTPgJOptics.Cons.Core Optics.PrismPrismConsOptics.Traversal Traversal'toPullfromPullOptics.At.CoreAt Optics.LensLens Traversal Data.Vec.Lazy Optics.IsoData.Vec.Lazy.Inline Data.Vec.Pull