gpt4 book ai didi

purescript - 我如何折叠 PureScript 中的一个?

转载 作者:行者123 更新时间:2023-12-01 00:35:46 26 4
gpt4 key购买 nike

我有一个类型为 Either String (Either String Int) 的对象.我想将其折叠为 Either String Int 类型的对象.

PureScript 中是否有为此提供的函数?

最佳答案

它与 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

关于purescript - 我如何折叠 PureScript 中的一个?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41316092/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com