インスタンス内のデータ定義から特定のタイプを取得するにはどうすればよいですか？

Question

Fractal Mandelbrotのインスタンスでは、escapeCount f (C comp3)の場合、fはMandelbrotのデータ型を表します。どのように私はMaxIterのような要素にアクセスしますか？私が望むことができる各要素の定義を書くだけでいいですか？

type MaxIter = Int 
    type Row = Int 
    type Col = Int 
    data Complex = C Double Double     deriving (Show,Eq) 
    data Mandelbrot = M MaxIter Row Col Complex Complex deriving (Eq) 

    class (Show f) => Fractal f where 
    escapeCount :: f -> Complex -> Int 

    instance Fractal Mandelbrot where 
       escapeCount f (C comp3) = <- I assume this means that comp3 is of type C? 

Answer 1

私はあなたが達成しようとしているものの仕様わからないんだけど、あなたは、パターンマッチングでこれらのデータ型の部分にアクセスすることができます

instance Fractal Mandelbrot where 
    escapeCount (M maxIter row col c1 c2) c3 = ... 

これは内部の部品が使用可能になります必要に応じては、できるだけ多くのパターンマッチングを行うことができますなどの変数maxIter、row、col、としての機能

：

escapeCount (M maxIter row col (C real1 imag1) (C real2 imag2)) (C real3 imag3) = ... 

また、私はComplex datatype from Data.Complexをお勧めします。すでにNumのインスタンスがあるので、通常の数字だけでなく、便利な関数の基本と同様に、追加、減算などができます。