Wie reduziere ich ein Entweder in PureScript?

Question

Ich habe ein Objekt vom Typ Either String (Either String Int). Ich möchte es auf ein Objekt vom Typ Either String Int reduzieren.

Gibt es dafür in PureScript eine Funktion?

Answer 1

Es ist die gleiche wie 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