Searched refs:ListZip (Results 1 – 2 of 2) sorted by relevance
12 data ListZipper a = ListZip [a] [a] constructor18 firstHole (x : xs) = Just (x, ListZip [] xs)20 plugHole x (ListZip ys zs) = reverse ys ++ x : zs21 nextHole x (ListZip ys []) = Left (reverse (x : ys))22 nextHole x (ListZip ys (z : zs)) = Right (z, ListZip (x : ys) zs)
565 void ListZip(string fileName) { in ListZip() method in ICSharpCode.SharpZipLib.Samples.SZ.SharpZipArchiver737 ListZip(file); in List()