"OneまたはBoth"の正規のhaskell型はありますか？

Question

A、おそらくB、そして間違いなく1つのデータ構造を必要としています。私はこの事のための一般的なデータ型をハックした場合、それはおそらく次のようになります。このデータ構造

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 

ない名前がありますか？ハスケルで1つまたは両方の構造を扱う標準的な方法はありますか？

Answer 1

Data.These

これは、いずれかの入力がある場合 組み合わせが定義されている2つの値の組み合わせを表現するのに有用であり得ます。代数的には、タイプ は、 の合計と積に簡単には含まれない（A + B + AB）を表します。Either A (B, Maybe A)のようなタイプは不明瞭で、 は使いにくいです。

Answer 2

Data.Theseが挙げられ、おそらく最良の選択ですが、私は自分自身をロールバックした場合、私のようにそれを行うだろうとされています：あなたが「0個、1個を望んでいた場合

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")