Wyodrębnianie listę wartości z listy maybes bez fromJust

Question

Wejście: [Just "foo", Just "bar", Nothing, Just "quux"]

wyjściowa: ["foo", "bar", "quux"]

Nie jestem zadowolony z następującym roztworze przy użyciu fromJust ponieważ nie jest bardzo przenośny do wiązu który nie lubi funkcje niebezpiecznych:

extract list = map fromJust $ filter isJust list

Czy istnieje inny zwięzły/uzywany sposób, aby to osiągnąć?

Answer 1

Można użyć catMaybes:

import Data.Maybe 
catMaybes list 

Answer 2

Λ: :m + Data.Maybe 
Λ: concatMap maybeToList [Just "foo", Just "bar", Nothing, Just "quux"] 
["foo","bar","quux"]