zipper

    2热度

    1回答

    我使用拉链laravel 5.3创建压缩文件, 得到错误的, Error: Your PHP version is not compiled with zip support PHP版本:5.6 chmod($withdrawalFilePath, 0777); $files = glob($withdrawalFilePath . '/*'); Zipper::make($withdrawa

    1热度

    1回答

    我走的是html/xml数据结构。我使用clojure.zip来穿过它。一旦找到我想要的节点(修剪),我找不到一种方法来删除所有的孩子和正确的节点。 例子: 比方说,我有这样的树(表示HTML): (def tree [:p "F" [:p "G" [:p "I" [:p "H"]]] [:p "B" [:p "D" [:p "

    17热度

    3回答

    {-# LANGUAGE DeriveFoldable #-} {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE DeriveTraversable #-} import Control.Comonad import Data.Functor.Reverse import Data.List (unfoldr) 首先,一些上下文(哈哈)的方式。我

    3热度

    1回答

    如何以相反顺序执行zip迭代器?我需要移动子数组的元素。 我的代码如下: for (x,y) in zip({c..d by stride},{a..b by stride},){ A1[x]=A1[y]; } 我需要以相反的顺序执行此(即乙 - >甲& d - > c)中,以避免在重叠区域的情况下,覆盖。 (a..b总是在c..d之前)。

    7热度

    1回答

    我在比较Huet's original paper与Clojure's implementation并试图找出为什么进行了更改。我是Clojure新手,如果我对Clojure代码的解释错了,请纠正我。 在Huet的论文中,路径的类型是(在Ocaml中)Top | Node of tree list * path * tree list;;。在Clojure中,还有两个附加字段,pnodes和cha

    14热度

    1回答

    在Huet的文章“The Zipper”中,他还提到疤痕是拉链的变体。与拉斯维加斯相比,哈斯克尔社区相当出名,疤痕几乎闻所未闻。从我能找到的文件本身和互联网上的任何地方几乎没有关于它们的信息。 所以我不得不问,他们根本没有用处,或者他们有用的东西,但大多数人只是不知道他们?

    4热度

    1回答

    使用Laravel 5.2和Zipper即时创建ZIP归档并由用户下载。我认为这个问题一般与Laravel或Zipper没有严格关系。步骤: 用户点击链接download_all。 第一个php脚本创建存档。 接下来将同一个脚本推送创建的文件强制用户下载。 一切听起来正常,但我有奇怪的行为所创建zip压缩包后(2点)PHP /服务器不能看到这个新创建的文件。 $ filePath上的文件大小和fi

    2热度

    2回答

    我找到了xml->非常混乱的用法。我已阅读文档和示例,但无法弄清楚如何获取xml文档的嵌套节点。 假设以下XML是一个拉链(从XML-ZIP): <html> <body> <div class='one'> <div class='two'></div> </div> </body> </html> 我试图返回带class = '二' 股利。 我期待这个工

    1热度

    1回答

    我想在PHP中创建我的项目目录的每周备份。我需要帮助在php中创建一个受密码保护的zip文件。我使用下面的功能,但不会创建一个完整的文件夹备份以及不帮助密码保护。 $path = realpath(''); $files = glob($path.'*'); $files = $files[0]; $password = "test'; @system('z

    1热度

    1回答

    为什么最后表达retruns {:a :foo, :args [{:id :XX}], :id :XX} 代替: {:a :foo, :args [], :id :XX} (require '[clojure.zip :as zip]) (defn my-zipper [tree] (zip/zipper (fn branch? [node] (:args no