mindestens zwei Maybes

Question

Ich möchte die mindestens zwei vielleicht Werte erhalten, oder wenn man nichts bekommen, ist das nicht nichts ein, oder nichts zurück, wenn beide Eingänge nichts sind. Ich kann eine einfache Funktion schreiben, um dies zu tun, aber ich vermute, es gibt eine Möglichkeit, dies zu tun, ohne eine benutzerdefinierte Funktion zu schreiben. Entschuldigung, wenn dies eine kleine Frage ist, aber gibt es einen einfacheren Weg als die Verwendung dieser benutzerdefinierten Funktion?

minMaybe :: Ord a => Maybe a -> Maybe a -> Maybe a 
minMaybe Nothing b = b 
minMaybe a Nothing = a 
minMaybe (Just a) (Just b) = Just $ min a b 

Answer 1

Sie können nicht die Applicative oder Monad Beispiel dafür verwenden, da jede Nothing in diesen Kontexten wird Ihr Gesamtergebnis ist eine Nothing haben. Das heißt, der Begriff "einfacher" ist sehr eigenwillig, und Ihre Funktion ist in Ordnung, wie es ist.

Answer 2

Sie können schreiben mit der Alternative Instanz Maybe:

minMaybe a b = liftA2 min a b <|> a <|> b 

Alternativ Sie maxBound als Standard verwenden könnte, so dass es dann immer wählen, die andere:

minMaybe a b = liftA2 min (d a) (d b) 
    where d x = x <|> Just maxBound 

Aber ich don empfehle das nicht.

Answer 3

Es ist möglich, die Spezifikation mit Operatoren von Control.Applicative zu erfüllen.

myMin :: Ord x => Maybe x -> Maybe x -> Maybe x 
myMin a b = min <$> a <*> b <|> a <|> b 

wo die <|> für Maybe Geräte "Präferenz"

Nothing <|> b = b 
a  <|> _ = a 

Die Sache ist

min <$> Just a <*> Just b = Just (min a b) 

aber

min <$> Just a <*> Nothing = Nothing 

, die in irgendeiner incorre geführt hat Antwort auf diese Frage. Wenn Sie <|> verwenden, können Sie den berechneten Wert min bevorzugen, wenn dieser verfügbar ist, aber mit einem der beiden Werte wiederherstellen, wenn nur einer Just ist.

Aber sollten Sie fragen, ob es angemessen ist, Maybe auf diese Weise zu verwenden. Mit der unrühmlichen Ausnahme seiner Monoid Instanz ist Maybe eingerichtet, um fehleranfällige Berechnungen zu modellieren. Was Sie hier haben, ist die Erweiterung eines bestehenden Ord mit einem "top" -Element.

data Topped x = Val x | Top deriving (Show, Eq, Ord) 

und Sie werden feststellen, dass min für Topped x ist genau das, was Sie brauchen. Es ist gut, an Typen nicht nur die Darstellung von Daten, sondern auch die Ausstattung von Daten mit Struktur zu denken. Nothing steht normalerweise für eine Art von Fehler, daher ist es möglicherweise besser, einen anderen Typ für Ihren Zweck zu verwenden.