小编Ano*_*ous的帖子

在条件语句分支中告诉依赖函数条件为真

我有一个带有类型签名的函数(x, y : SomeType) -> (cond x y) = True -> SomeType.当我在if-then-else/case/with语句中检查条件时,如何将相应分支中的函数传递给事实,该条件为真?

idris

10
推荐指数
1
解决办法
1076
查看次数

从 FFI 返回的切片创建 OsStr(ing) 的正确方法是什么?

我有一个函数接受带有 args 的回调data: *const u8, length: usize,它代表某个路径。由此创建 OsStr(ing) 的正确方法是什么?

from_byte_sliceOsStrExt但似乎它没有检查数据是否正确 WTF-8 或其他什么,并且不清楚如何使用它。

ffi rust

5
推荐指数
1
解决办法
2175
查看次数

标签 统计

ffi ×1

idris ×1

rust ×1