PureScriptでいずれかを折りたたむにはどうすればよいですか？

Question

私はタイプEither String (Either String Int)のオブジェクトを持っています。私はタイプEither String Intのオブジェクトにそれを崩壊したいと思います。

PureScriptには、このための機能がありますか？

Answer 1

それはHaskellのと同じです：

import Prelude 
import Data.Either 

let a = Left "a" :: Either String (Either String Int) 
let b = Right (Left "b") :: Either String (Either String Int) 
let c = Right (Right 123) :: Either String (Either String Int) 

join a -- Left "a" 
join b -- Left "b" 
join c -- Right 123