haskell - 类型文字用法

Question

我试图了解haskell 类型文字的用法。特别是，我想我会写一个函数来显示自定义类型的类型文字

newtype Fixed (p :: Nat) a = Fixed a

instance (KnownNat p) => Show (Fixed p a) where
    show _ = show $ natVal (Proxy::Proxy p)

但是，ghc (7.8) 无法推断出 KnownNat n0，这意味着我并没有像我认为的那样限制事物。谁能提出什么问题？

Answer 1

您需要-XScopedTypeVariables让 GHC 认识到 p您的Proxy p与 p 相同您的类型签名。

{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
import Data.Proxy
import GHC.TypeLits

newtype Fixed (p :: Nat) a = Fixed a

instance (KnownNat p) => Show (Fixed p a) where
        show _ = show $ natVal (Proxy::Proxy p)