6

kind の型に対する新しい計算をどのように定義しますGHC.TypeLits.Natか? 型ファミリーを定義できることを望んでいます

type family WIDTH (n :: Nat) :: Nat

そのようWIDTH 0 ~ 0なWIDTH (n+1) ~ log2 n

4

1 に答える 1