当使用四叉树表示2 ^ n x 2 ^ n矩阵时

Question

我刚刚在教科书上找到了这个定义，无法想象nexp应该做什么/意味着什么：

data (Eq a, Show a) => QT a = C a | Q (QT a) (QT a) (QT a) (QT a)
    deriving (Eq, Show)

data (Eq a, Num a, Show a) => Mat a = Mat {
    nexp :: Int,
    mat :: QT a}
    deriving (Eq,Show)

nexp :: Int 的目的是什么？

Answer 1

我最好的猜测是nexp只是 exp -onent中使用的 n 来定义矩阵的大小（2^n x 2^n ）。