Îõ³h*ïÂ*      !"#$%&'()0.4.1 Safe-Inferred 1ÂÄÅÆÍØÛÝ 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). Safe-Inferred 1ÂÄÅÆÍØÛÝ b 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). Safe-Inferred)*1ØÝ d" 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]"#$"#$ Safe-Inferred )*1ÅÆØÝŽ% 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.%&'()%&'()  Safe-Inferred¾<          !" # $%&'()*+$,--&-'./&/'01'vec-optics-0.4.1-Jd7p6E2DrjVExz5MW5Fn6Y&Data.Vec.DataFamily.SpineStrict.OpticsData.Vec.Lazy.OpticsData.Vec.Lazy.Inline.OpticsData.Vec.Pull.Optics vec-opticsIIsoLOpticsData.Vec.Optics.Instances_Cons_head_tail_Pull_Vecix$fField9VecVecaa$fField8VecVecaa$fField7VecVecaa$fField6VecVecaa$fField5VecVecaa$fField4VecVecaa$fField3VecVecaa$fField2VecVecaa$fField1VecVecaa $fIxedVec$fEachFinVecVecab vec-0.5.1-9DTqDLhm2NsFI2TEHeGl5EData.Vec.DataFamily.SpineStrictVec*optics-core-0.4.1.1-AT0TxZW2KPr2kfHNBCG67IOptics.Cons.Core Optics.PrismPrismConsOptics.Traversal Traversal'toPullfromPullOptics.At.CoreAt Optics.LensLens Traversal Data.Vec.Lazy Optics.IsoData.Vec.Lazy.Inline Data.Vec.Pull