數據類型是提升爲那種級別只有一個值

Question

我明白我可以促進Bool那種水平，像這樣，在Bool有可能成爲True或False：

{-# LANGUAGE DataKinds #-} 
{-# LANGUAGE TypeFamilies #-} 

type family TF t :: Bool 
type instance TF Int = True 
type instance TF Bool = False 

我想，而不是促進()當然這隻有一個值()。但是，這似乎並沒有工作：

{-# LANGUAGE DataKinds #-} 
{-# LANGUAGE TypeFamilies #-} 

type family TF t ::() 
type instance TF Int =() 
type instance TF Bool =() 

我想我可以只使用Bool和True，但有一個有價值的類型，可晉升爲樣的水平？

Answer 1

嘗試使用'()代替()在類型級別：

type family ToNull t ::() 
type instance ToNull Int = '() 
type instance ToNull Bool = '() 

而且True和False實際上是速記的'True和'False在類型級別。

的問題是有四個()的範圍：

1. 普通型的()樣*
2. 的1只構造這也是()
促進了那種 ()
3. 類型'()類型()由2升級而來，其類型同義詞()默認爲

沒有有時可選的單引號，1和4是不明確的。

您可以檢查GHC的用戶指南詳細信息：7.9. Datatype promotion