Haskell、画像を行列に変換する

Question

画像PixelRGB8を取り込んで行列に変換しようとしましたが、行列上の畳み込みを行いました。最初の試行では、それを行列に変換し、行列を画像に戻したいと思っています。

私はこのエラーが表示されます。

• No instance for (Element Word8) 
     arising from a use of ‘matrixToImg’ 
    • In the expression: matrixToImg $ imgToMatrix img 
     In an equation for ‘convImg’: 
      convImg img = matrixToImg $ imgToMatrix img 
Failed, modules loaded: none. 

それが何を意味するのでしょうか？

これはコードです。

import Codec.Picture 
import Data.Matrix 
import Data.Vector 
import Data.Vector.Storable 

import Debug.Trace 
import GHC.Word 

import Numeric.LinearAlgebra.Data 
import Numeric.LinearAlgebra 
convImg ::Image PixelRGB8 -> Image PixelRGB8 
convImg img = matrixToImg $ imgToMatrix img 

imgToMatrix ::Image PixelRGB8->Numeric.LinearAlgebra.Matrix Word8 
imgToMatrix Image { imageWidth = w, imageHeight = h, imageData = vec } = ((3*w)><h) (Data.Vector.Storable.toList vec) 

matrixToImg::Numeric.LinearAlgebra.Matrix Word8-> Image PixelRGB8 
matrixToImg matrix = Image (rows matrix `quot` 3) (cols matrix) (vectorToStorableVector (Numeric.LinearAlgebra.Data.flatten(matrix))) 
    where vectorToStorableVector vec= Data.Vector.Storable.fromList $ Numeric.LinearAlgebra.Data.toList vec 

ありがとうございます。

Answer 1

hmatrixは、Elementのインスタンス数が限定されており、Word8はその1つではありません。それが使用する簡単なIntegralタイプはtype Z = Int64です。 Matrix Int64が覚えていることを覚えておけば、道徳的にはWord8です。以下のような変換が可能です。 （あなたが書き込んだものと同じですが、数字はfromIntegralです）

import Codec.Picture 
import Data.Vector 
import Data.Vector.Storable 

import Debug.Trace 
import GHC.Word 

import Numeric.LinearAlgebra.Data 
import Numeric.LinearAlgebra 

convImg ::Image PixelRGB8 -> Image PixelRGB8 
convImg img = matrixToImg $ imgToMatrix img 

imgToMatrix ::Image PixelRGB8 -> Numeric.LinearAlgebra.Matrix Z 
imgToMatrix Image { imageWidth = w, imageHeight = h, imageData = vec } = ((3*w)><h) (Data.Vector.Storable.toList $ (Data.Vector.Storable.map fromIntegral) (vec)) 

matrixToImg::Numeric.LinearAlgebra.Matrix Z -> Image PixelRGB8 
matrixToImg matrix = Image (rows matrix `quot` 3) (cols matrix) (vectorToStorableVector (Numeric.LinearAlgebra.Data.flatten(matrix))) 
    where vectorToStorableVector = 
       Data.Vector.Storable.fromList . Prelude.map fromIntegral . Numeric.LinearAlgebra.Data.toList