haskell - Haskell：在没有实例的模块中使用类型类的函数

Question

我有一个定义和导出类型和类型类的模块，如下所示。问题是我似乎无法在此模块中使用该类的功能，因为还没有该类的实例。

这是 GHC 错误：“'aabb' 的类型签名缺少随附的绑定”

有没有办法解决这个问题？谢谢。

module AABB (
 AABB
,Boundable(..)
,aabb
,consume
) where

type AABB = (Vec3,Vec3)

class Boundable a where
aabb ∷  a → AABB

consume ∷  (Boundable a) ⇒ AABB → a → AABB
consume (v0,v1) x = (minV v0 v2, maxV v1 v3)
   where (v2,v3) = aabb x

maxV ∷  Vec3 → Vec3 → Vec3
maxV (Vec3 x0 y0 z0) (Vec3 x1 y1 z1) = Vec3 (max x0 x1) (max y0 y1) (max z0 z1)

minV ∷  Vec3 → Vec3 → Vec3
minV (Vec3 x0 y0 z0) (Vec3 x1 y1 z1) = Vec3 (min x0 x1) (min y0 y1) (min z0 z1)

Answer 1

您需要缩进aabb.

class Boundable a where
    aabb ∷  a → AABB

或者使用大括号：

class Boundable a where {
aabb ∷  a → AABB
}