Îõ³h$Œ_*      !"#$%&'() Safe-Inferred />ÀÁÂÉÔ×Ùvec-lensMatch on non-empty *.Note: lens + is a , . In fact, * n a cannot have an instance of - as types don't match.vec-lens Head lens. Note: lens . is a /.'('a' ::: 'b' ::: 'c' ::: VNil) ^. _head'a'-('a' ::: 'b' ::: 'c' ::: VNil) & _head .~ 'x''x' ::: 'b' ::: 'c' ::: VNilvec-lens Head lens. Note: lens . is a /.vec-lensAn  from 0 and 1.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-lens* 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 />ÀÁÂÉÔ×Ù >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-lensMatch on non-empty 5.Note: lens + is a , . In fact, 5 n a cannot have an instance of - as types don't match.vec-lens Head lens. Note: lens . is a /.'('a' ::: 'b' ::: 'c' ::: VNil) ^. _head'a'-('a' ::: 'b' ::: 'c' ::: VNil) & _head .~ 'x''x' ::: 'b' ::: 'c' ::: VNilvec-lens Tail lens.vec-lensAn  from 6 and 7.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-lens5 doesn't have 2 instance, as we cannot remove value from 5. See  in  Data.Vec.Lazy module for an 3 (not 4). Safe-Inferred'(/ÔÙ &"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 8 from 9 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]"#$"#$ Safe-Inferred '(/ÁÂÔÙ+%vec-lens Index lens.>('a' L.::: 'b' L.::: 'c' L.::: L.VNil) ^. L._Pull . ix (FS FZ)'b'Ä('a' L.::: 'b' L.::: 'c' L.::: L.VNil) & L._Pull . ix (FS FZ) .~ 'x''a' ::: 'x' ::: 'c' ::: VNil&vec-lensMatch on non-empty ;.Note: lens + is a , . In fact, ; n a cannot have an instance of - as types don't match.'vec-lens Head lens. Note: lens . is a /.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 . is a /.)vec-lensPrism from list.%&'()%&'() Safe-Inferred[<                   !"#$%&'(("(#)")#*+#vec-lens-0.4-JcakQq0llJJG8irx3CP02m$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$fEachVecVecabvec-0.4-DxCSxAh17tm77Vn7UO50HPData.Vec.DataFamily.SpineStrictVec!lens-5.0.1-710fCXgAXemEg6Kij3StEbControl.Lens.ConsControl.Lens.TypePrismCons Traversal'toPullfromPullControl.Lens.AtAtLens Traversal Data.Vec.LazyData.Vec.Lazy.Inline Data.Vec.Pull