"하나 또는 둘 다"에 대해 표준 haskell 유형이 있습니까?

Question

A, 아마도 B 그리고 분명히 그 중 하나가 포함 된 데이터 구조가 필요합니다. 이 데이터 형식을 일반 데이터 형식으로 해킹하면 다음과 같이 표시됩니다.

data OneOrBoth a b = A a | B b | AB a b 

maybeA :: OneOrBoth a b -> Maybe a 
maybeB :: OneOrBoth a b -> Maybe b 
eitherL :: OneOrBoth a b -> Either a b -- Prefers a 
eitherR :: OneOrBoth a b -> Either a b -- Prefers b 
hasBoth, hasExactlyOne, hasA, hasB :: OneOrBoth a b -> Bool 

이 데이터 구조에 이름이 있습니까? 하스켈에서 한쪽 또는 양쪽 구조를 처리 할 표준 방법이 있습니까?

Answer 1

Data.These

이 어느 입력이 있으면 조합 정의 두 값의 조합을 나타내는 것이 유용 할 수있다. 대수적으로 유형 은 합계 및 제품에 쉽게 포함되지 않는 (A + B + AB)를 나타냅니다. Either A (B, Maybe A)과 같은 유형은 불분명하고 은 사용하기가 불편합니다.

Answer 2

Data.These 언급, 아마도 최선의 선택,하지만 난 내 자신의 롤한다면, 나는 그것을 할 거라고하고있다 : 당신이 "제로를 원한다면,

import Control.Applicative ((<$>), (<*>)) 

type These a b = Either (Either a b) (a, b) 

maybeA :: These a b -> Maybe a 
maybeA (Left (Left a)) = Just a 
maybeA (Right (a, _)) = Just a 
maybeA _    = Nothing 

maybeB :: These a b -> Maybe b 
maybeB (Left (Right b)) = Just b 
maybeB (Right (_, b)) = Just b 
maybeB _    = Nothing 

eitherA :: These a b -> Either a b 
eitherA (Left (Left a)) = Left a 
eitherA (Right (a, _)) = Left a 
eitherA (Left (Right b)) = Right b 

eitherB :: These a b -> Either a b 
eitherB (Left (Right b)) = Right b 
eitherB (Right (_, b)) = Right b 
eitherB (Left (Left a)) = Left a 

hasBoth, hasJustA, hasJustB, hasA, hasB :: These a b -> Bool 

hasBoth (Right _) = True 
hasBoth _   = False 

hasJustA (Left (Left _)) = True 
hasJustA _    = False 

hasJustB (Left (Right _)) = True 
hasJustB _    = False 

hasA = (||) <$> hasBoth <*> hasJustA 
hasB = (||) <$> hasBoth <*> hasJustB 

Answer 3

하나 , 또는 둘 다 "라고 말하면 1 + A + B + A*B = (1 + A) * (1 + B) 또는 (Maybe A, Maybe B)입니다.

당신은 newtype에서 (Maybe A, Maybe B) 포장 제거 스마트 생성자를 사용하여 A + B + A*B = (1+A)*(1+B)-1을 할 수있는 (Nothing,Nothing) :

λ this "red" `oror` that "blue" `oror` those "beige" "yellow" 
Some (Just "red",Just "blue") 
λ this "red" `orro` that "blue" `orro` those "beige" "yellow" 
Some (Just "red",Just "yellow") 
λ this "red" `roor` that "blue" `roor` those "beige" "yellow" 
Some (Just "beige",Just "blue") 
λ this "red" `roro` that "blue" `roro` those "beige" "yellow" 
Some (Just "beige",Just "yellow")