腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
圈层
工具
MCP广场
文章/答案/技术大牛
搜索
搜索
关闭
发布
搜索
关闭
文章
问答
(398)
视频
开发者手册
清单
用户
专栏
沙龙
全部问答
原创问答
Stack Exchange问答
更多筛选
回答情况:
全部
有回答
回答已采纳
提问时间:
不限
一周内
一月内
三月内
一年内
问题标签:
未找到与 相关的标签
筛选
重置
2
回答
Clojure
Zipper
to EDN
我使用Clojure
Zipper
创建了以下图表 / | \ / \使用以下代码: (require '[clojure.zip
浏览 11
修改于2015-02-20
得票数 2
1
回答
Clojure:
zipper
-> html
经过几天的努力,我的大脑围绕着拉链,我想我终于明白了如何从顺序数据中创建它们。对于如何将拉链树转换成不同的数据结构,有什么好的资源吗?
浏览 4
提问于2015-11-04
得票数 4
回答已采纳
1
回答
Laravel Chumper
Zipper
close()没有创建zip文件
现在代码是:$
zipper
= new \Chumper\
Zipper
\
Zipper
;.$
zipper
->folder($zipPath . DIRECTORY_SEPARATOR .$myfolder->name, $
zipper
, $user); Log::info(
浏览 0
修改于2016-12-09
得票数 0
1
回答
理解为什么
Zipper
是Comonad
现在我可以用def f'(z:
Zipper
[A]):B = f(z.focus, z.left)替换我的f,并将这个新函数f'传递给
Zipper
[A]的cobind方法。最后,cobind返回一个
Zipper
[B]类型的新拉链,可以将其转换为list,因此问题就解决了。现在请注意cobind[A](f:
Zipper
[A] => B):
Zipper
[B]和bind[A](f:A => List[B]):List[B]之间的对称性,这就是为什么List是Monad而
Zi
浏览 22
修改于2017-05-23
得票数 113
回答已采纳
3
回答
用于创建xml请求的
Zipper
?
首先想到的是
Zipper
,但我真的不确定它们是否可以在这里使用。 也许我没有很好地理解它,但如果已经定义了一些结构,并且需要在该结构中进行更改,则
Zipper
似乎是很好的。拉链可以用于改变结构吗?
浏览 3
修改于2015-02-11
得票数 48
1
回答
用
Zipper
解决Twitter Puddle问题
waterLevel[i] =我可能会尝试用
Zipper
浏览 2
修改于2017-05-23
得票数 3
2
回答
具有多个构造函数的Haskell
Zipper
for ADT
我看到的一个问题是,我的
Zipper
实现必须进行更改,以反映所有这些新的可能构造函数。有什么办法可以解决这个问题吗?或者我错过了一些重要的概念?-------------------------- (
Zipper
,up ,right→ Maybe (
Zipper
)up (t1, Unary1 o c) = Just (Una
浏览 3
修改于2012-08-22
得票数 6
1
回答
Haskell:在tree+
zipper
构造中避免堆溢出
->
Zipper
TnLabeladdWord (
Zipper
(DFA ts) parents) s = addWord z restTnLabel -> Maybe (
Zipper
TnLabel)parent (
Zipper
focus ((event, left,} r
浏览 3
提问于2014-10-29
得票数 0
2
回答
使用clojure xml
zipper
返回多个值
假设我们有一些如下的XML: <b> <d> <f> </f> </b> ... <!-- more b sub-trees --> 现在,查看zip_filter/x
浏览 1
修改于2010-01-11
得票数 4
回答已采纳
1
回答
zipper
库中的make-node
根据拉链定义,参数分支?孩子们都很清楚,我可以给他们下定义。但是make-node函数令人困惑。所以我使用了下面的拉链函数调用, (zip/
zipper
map?
浏览 1
修改于2015-03-18
得票数 2
2
回答
用Data.Tree.
Zipper
遍历玫瑰树
我能想到这样做的唯一方法是使用Data.Tree.
Zipper
在步骤1中遍历树,然后在步骤2中使用拉链将节点插入到特定位置。 这是否解决问题的有效方法?如果是这样的话,我如何使用Data.Tree.
Zipper
中的函数来实现上面的步骤1?我发现树遍历很难实现,因为它需要两个维度的递归:深度和广度。
浏览 1
提问于2013-10-09
得票数 6
回答已采纳
4
回答
返回由
Zipper
中的谓词过滤的流
我已经编写了使用
zipper
+comonad查找第一个的代码:import Scalaz._ val in = NonEmptyList(-7, 1, 5, 2,
浏览 0
修改于2015-07-17
得票数 1
1
回答
Laravel Chumper
Zipper
如何在没有特定文件夹名称的情况下解压
我有一个zip文件,格式如下: |- test/ |- test2.txt$
zipper
= new
Zipper
(); $
zipper
->make('test.zip')->folder('test')->extractTo('foo'); //extracts contents of
浏览 7
提问于2017-02-02
得票数 2
5
回答
Zipper
数据结构是什么?我应该使用它吗?
我想知道如何使用
zipper
更改树节点。以及如何不复制整个树(或其中大部分)。或者,也许可以更新树,但我只是看不到方向?
浏览 7
修改于2008-12-19
得票数 51
回答已采纳
1
回答
对于依赖类型的HOAS
Zipper
: Type -> Type -> Type where E : String -> Context g ->
Zipper
Zipper
Bool xZipUp (Z e (R (Cnst {a} e1 e2) {x} c t u)) =
Zipper
a x ZipU
浏览 6
提问于2018-02-05
得票数 1
回答已采纳
1
回答
我应该如何在Haskell中启用Data.List.
Zipper
?
我需要一个拉链而不是一张单子。我不知道如何将它与我的项目联系起来。文档页面对此并没有太多的说明:
浏览 0
提问于2013-10-31
得票数 2
回答已采纳
2
回答
Data.Tree.
Zipper
中拉链数据类型中的冗余信息?
在Data.Tree.
Zipper
中,玫瑰树的拉链数据类型是 { _content :: t a -- ^ The currently
浏览 2
提问于2014-03-17
得票数 2
回答已采纳
2
回答
如何在Laravel,
zipper
中解压文件到公共文件夹
$directoryName; $zipArchive =
Zipper
::make('storage/app/resources/'.
浏览 6
修改于2018-03-04
得票数 0
2
回答
将Clojure中的XML文件插入到
Zipper
树中
我感到困惑的是,如何以惯常的方式更改通过clojure.contrib的zip-filter.xml访问的xml树。应该尝试这样做,还是有更好的方法?<itemlist> <name>John</name> </item> <name&
浏览 0
提问于2010-05-20
得票数 9
回答已采纳
2
回答
以zig /
zipper
方式将两个数据帧合并为一个新的数据帧
我有df1和df2,我想创建新的数据帧df3,这样df3的第一条记录应该是来自df1的第一条记录,df3的第二条记录应该是df2的第一条记录。它以类似的方式继续着。 我对熊猫尝试了很多方法,但都没有得到答案。 有什么方法可以做到这一点吗?
浏览 12
修改于2021-08-06
得票数 0
第 2 页
第 3 页
第 4 页
第 5 页
第 6 页
第 7 页
第 8 页
第 9 页
第 10 页
第 11 页
点击加载更多
领券