úÎ!2ù/92      !"#$%&'()*+,-./01None .=?@AHSVXÄvec-lensMatch 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-lens Head lens. Note: lens 6 is a 7.'('a' ::: 'b' ::: 'c' ::: VNil) ^. _head'a'-('a' ::: 'b' ::: 'c' ::: VNil) & _head .~ 'x''x' ::: 'b' ::: 'c' ::: VNilvec-lens Head lens. Note: lens 6 is a 7.vec-lensAn  from 8 and 9.vec-lensPrism from list.("foo" ^? _Vec :: Maybe (Vec N.Nat3 Char)#Just ('f' ::: 'o' ::: 'o' ::: VNil)("foo" ^? _Vec :: Maybe (Vec N.Nat2 Char)Nothing _Vec # (True ::: False ::: VNil) [True,False]vec-lens Index lens.,('a' ::: 'b' ::: 'c' ::: VNil) ^. ix (FS FZ)'b'2('a' ::: 'b' ::: 'c' ::: VNil) & ix (FS FZ) .~ 'x''a' ::: 'x' ::: 'c' ::: VNilvec-lens2 doesn't have : instance, as we cannot remove value from 2. See  in Data.Vec.DataFamily.SpineStrict module for an ; (not <).None .=?@AHSVXnvec-lens Index lens.,('a' ::: 'b' ::: 'c' ::: VNil) ^. ix (FS FZ)'b'2('a' ::: 'b' ::: 'c' ::: VNil) & ix (FS FZ) .~ 'x''a' ::: 'x' ::: 'c' ::: VNilvec-lensMatch 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-lens Head lens. Note: lens 6 is a 7.'('a' ::: 'b' ::: 'c' ::: VNil) ^. _head'a'-('a' ::: 'b' ::: 'c' ::: VNil) & _head .~ 'x''x' ::: 'b' ::: 'c' ::: VNilvec-lens Tail lens.vec-lensAn  from > and ?.vec-lensPrism from list.("foo" ^? _Vec :: Maybe (Vec N.Nat3 Char)#Just ('f' ::: 'o' ::: 'o' ::: VNil)("foo" ^? _Vec :: Maybe (Vec N.Nat2 Char)Nothing _Vec # (True ::: False ::: VNil) [True,False]#vec-lens= doesn't have : instance, as we cannot remove value from =. See  in  Data.Vec.Lazy module for an ; (not <).None&'.SX$÷(vec-lens Index lens.,('a' ::: 'b' ::: 'c' ::: VNil) ^. ix (FS FZ)'b'2('a' ::: 'b' ::: 'c' ::: VNil) & ix (FS FZ) .~ 'x''a' ::: 'x' ::: 'c' ::: VNil)vec-lensAn @ from A and B.*vec-lensPrism from list.("foo" ^? _Vec :: Maybe (Vec N.Nat3 Char)#Just ('f' ::: 'o' ::: 'o' ::: VNil)("foo" ^? _Vec :: Maybe (Vec N.Nat2 Char)Nothing _Vec # (True ::: False ::: VNil) [True,False]()*()*None&'.@ASX.×+vec-lens Index lens.>('a' L.::: 'b' L.::: 'c' L.::: L.VNil) ^. L._Pull . ix (FS FZ)'b'D('a' L.::: 'b' L.::: 'c' L.::: L.VNil) & L._Pull . ix (FS FZ) .~ 'x''a' ::: 'x' ::: 'c' ::: VNil,vec-lensMatch 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-lens Head lens. Note: lens 6 is a 7.9('a' L.::: 'b' L.::: 'c' L.::: L.VNil) ^. L._Pull . _head'a'?('a' L.::: 'b' L.::: 'c' L.::: L.VNil) & L._Pull . _head .~ 'x''x' ::: 'b' ::: 'c' ::: VNil.vec-lens Head lens. Note: lens 6 is a 7./vec-lensPrism from list.+,-./+,-./None/5D                  !" # !$%&'(!)!*++%+&!,%,&-.#vec-lens-0.3-BNjWAHvz0bPIFv6Y8xiC4K$Data.Vec.DataFamily.SpineStrict.LensData.Vec.Lazy.LensData.Vec.Lazy.Inline.LensData.Vec.Pull.LensIIsoData.Vec.Lens.Instances_Cons_head_tail_Pull_Vecix$fField9VecVecaa$fField8VecVecaa$fField7VecVecaa$fField6VecVecaa$fField5VecVecaa$fField4VecVecaa$fField3VecVecaa$fField2VecVecaa$fField1VecVecaa $fIxedVec$fEachVecVecab$fTraversableWithIndexFinVec$fFoldableWithIndexFinVec$fFunctorWithIndexFinVecvec-0.3-KZi1gXlw11DH41pKdpeuweData.Vec.DataFamily.SpineStrictVec"lens-4.18.1-J6uutSZn7Hm2ATnRwiDRKDControl.Lens.ConsControl.Lens.TypePrismCons Traversal'toPullfromPullControl.Lens.AtAtLens Traversal Data.Vec.LazyData.Vec.Lazy.Inline Data.Vec.Pull