Séquences de correspondance de motifs dans Haskell

Question

L'appariement de motifs est l'une des caractéristiques Haskell les plus élégantes.

J'ai récemment travaillé sur un projet où j'ai besoin d'une structure de données de file d'attente, donc j'utilise Data.Sequence. Cependant, il semble que je dois renoncer à l'élégance de correspondance de motif et le recours aux gardes:

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

Puis-je utiliser pattern matching avec des séquences ou dois-je utiliser des gardes?

Answer 1

ephemient est sur la bonne voie avec des motifs de vue, mais je pense qu'il ya une façon de le faire qui est en fait tout à fait agréable. Data.Sequence a été réellement écrit avec des vues à l'esprit et vous devriez utiliser les types ViewL ou ViewR afin de patternmatch sur la structure de données.

{-# LANGUAGE ViewPatterns #-} 

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

Answer 2

Vous pouvez utiliser view patterns au lieu de gardes, mais en fait ce n'est pas mieux (IMO). Les gardes ont l'air bien me ...

{-# LANGUAGE ViewPatterns #-} 

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