Dopasowywanie do wzorca Seq w Haskell

Question

Dopasowywanie wzorców jest jedną z najbardziej eleganckich cech Haskella.

Pracowałem ostatnio nad projektem, w którym potrzebuję struktury danych kolejek, więc używam Data.Sequence. Jednak wygląda na to, muszę zrezygnować elegancję dopasowywania wzorców i uciekać się do strażników:

floodFillWorker :: Image -> RGBAColor -> Double -> PixelQueue -> Image 
floodFillWorker image base tolerance queue 
    | Seq.null queue = image 
    | otherwise  = doSomeWork image 

mogę używać wzór pasujący sekwencjami czy muszę używać strażników?

Answer 1

ephemient jest na dobrej drodze z widokiem wzorów ale myślę, że istnieje sposób, aby zrobić to co jest całkiem miłe. Data.Sequence został napisany z myślą o widokach i należy użyć typów ViewL lub ViewR w celu wzorcowania na strukturze danych.

{-# LANGUAGE ViewPatterns #-} 

floodFillWorker image _ _ (Seq.viewl -> EmptyL) = image 
floodFillWorker image base tolerance queue = doSomeWork image 

Answer 2

Możesz może użyć view patterns zamiast strażników, ale tak naprawdę nie jest lepsza (IMO). Strażnicy wyglądają dobrze mi ...

{-# LANGUAGE ViewPatterns #-} 

floodFillWorker image _ _ (Seq.null -> True) = image 
floodFillWorker image base tolerance queue = doSomeWork image