DA.Traversable
Daml 模块 DA.Traversable 参考文档
DA.Traversable
DA.Traversable
可从左到右遍历并对每个元素执行动作的数据结构类型类。
通常应限定导入以避免与
Prelude 中函数冲突，例如：
import DA.Traversable qualified as F
模块快照
类型类
class (Functor t, Foldable t) => Traversable t
表示可从左到右遍历的数据结构的 Functor。
方法：
-
mapA : Applicative f => (a -> f b) -> t a -> f (t b)将结构中每个元素映射为动作，从左到右求值并收集结果。 -
sequence : Applicative f => t (f a) -> f (t a)从左到右求值结构中的每个动作并收集结果。
实例：
instance Ord k => Traversable (Map k)instance Traversable TextMapinstance Traversable Optionalinstance Traversable NonEmptyinstance Traversable (Validation err)instance Traversable (Either a)instance Traversable []instance Traversable a
函数
forA
forA : (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)forA 是参数翻转的 mapA。
本文由 CC Privacy Club 根据 Canton Network 官方文档（CC-BY-4.0）整理翻译，仅供学习；实现细节以官方最新版本为准。