Îõ³h$·Š*      !"#$%&'()None />ÀÁÂÉÔ×Ùþ vec-opticsMatch on non-empty *.Note: lens + is a , . In fact, * n a cannot have an instance of - as types don't match. vec-optics Head lens. Note: lens . is a /.)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 0 and 1. 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-optics* doesn't have 2 instance, as we cannot remove value from *. See  in Data.Vec.DataFamily.SpineStrict module for an 3 (not 4).None />ÀÁÂÉÔ×Ù E 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 5.Note: lens + is a , . In fact, 5 n a cannot have an instance of - as types don't match. vec-optics Head lens. Note: lens . is a /.)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 6 and 7. 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-optics5 doesn't have 2 instance, as we cannot remove value from 5. See  in  Data.Vec.Lazy module for an  (not 4).None'(/ÔÙ >" 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 8 from 9 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]"#$"#$None '(/ÁÂÔÙ_% vec-optics 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& vec-opticsMatch on non-empty ;.Note: lens + is a , . In fact, ; n a cannot have an instance of - as types don't match.' vec-optics Head lens. Note: lens . is a /.=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.%&'()%&'() None†<              !" #$%&'()*#+,,%,&-.%.&/0%vec-optics-0.4-F7mBuu5TW0u3uQHv0taO96&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$fEachFinVecVecabvec-0.4-DxCSxAh17tm77Vn7UO50HPData.Vec.DataFamily.SpineStrictVec&optics-core-0.4-LvtBa7lrhQQ5XGfQmCGebVOptics.Cons.Core Optics.PrismPrismConsOptics.Traversal Traversal'toPullfromPullOptics.At.CoreAt Optics.LensLens Traversal Data.Vec.Lazy Optics.IsoData.Vec.Lazy.Inline Data.Vec.Pull