Запись Упрощение шаблону внутри фильтра

Question

Рассмотрим следующий пример:

data TestType = Free | Occupied { oc_field1 :: Int, 
            oc_field2 :: Int, 
            oc_field3 :: Int, 
            oc_field4 :: Int 
           } 

type SampleTest = [TestType] 

filterOccupied :: SampleTest -> SampleTest 
filterOccupied test = filter (\x -> case x of 
           Occupied _ _ _ _ -> True 
           Free -> False) test 

В приведенном выше примере, внутри filterOccupied я должен использовать четыре _ для согласования Occupied типа.

Это становится очень болезненным, когда в записях имеется более десяти полей. Есть лучший способ сделать это ?

Answer 1

Вместо этого вы можете использовать шаблон {}.

filterOccupied :: SampleTest -> SampleTest 
filterOccupied test = filter (\x -> case x of 
           Occupied {} -> True 
           Free -> False) test 

Answer 2

Добавление ответа Snak, это также может быть проще с пониманием списка:

filterOccupied :: SampleTest -> SampleTest 
filterOccupied test = [x | x@(Occupied {}) <- test] 

только те элементы, которые соответствуют шаблону, сохраняются в списке.

Answer 3

насчет:

data TestType = Free 
       | Occupied { oc_field1 :: Int 
         , oc_field2 :: Int 
         , oc_field3 :: Int 
         , oc_field4 :: Int 
         } 
    deriving Eq 

filterOccupied :: [TestType] -> [TestType] 
filterOccupied = filter (Free/=)