Question

我正在研究Haskell光线跟踪器。我有以下相机类型：

data Cameras = Ortographic | Pinhole {
    d :: Float,
    zoom :: Float,
    eye, lookAt, up :: Vector,
    cu, cv, cw :: Vector
} deriving (Show)

以下Camera-typeclass：

class Camera a where
    renderPixel :: a -> (Float, Float) -> [Object] -> Float -> Vector
    rayDirection :: a -> Vector -> Vector

现在，当我尝试将类型作为类型类的实例时，如下所示：

instance Camera Cameras where
    --Ortographic
    renderPixel (Ortographic) (x, y) scene numSamples = ...

    --Pinhole
    rayDirection (Pinhole d _ _ _ _ cu cv cw) (Vector2 u v) =
        normalize ((cu<*>u) <+> (cv<*>v) <-> (cw<*>d))

    renderPixel (Pinhole d _ _ _ _ cu cv cw) (x, y) scene numSamples = ...

我收到一条错误，上面写着“'renderPixel'的定义冲突”，指向每个摄像头启动renderPixel函数的行。我做错了什么？

Answer 1

我很确定这两个renderPixel方程必须在彼此之后。也就是说，rayDirection函数应该移到renderPixel个方程之前或之后。

由于模式匹配，函数可以有几个方程（线），但它仍然是单个函数，你不能在方程之间推动另一个函数定义。

实例化时Haskell“冲突的定义”

1 个答案: