sequenceA関数
Traversable型クラス
のmethodの1つ
sequence関数
のApplicative版
sequence関数
の一般化
sequence
A
の「A」は、
A
pplicativeのソレだね
mrsekut.icon
定義
code:hs
sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a)
sequenceA = traverse id
データ構造
t
と計算コンテナ
f
を入れ替えている
traverse
では要素を舐めていく時に、
各要素に
f
を適用するが、
sequenceA
の場合は何もしないので
id
を渡している