하나의 특정 데이터 생성자가 다른 데이터 생성자를 허용하지 않고 둘 다 동일한 유형을 제공 할 수 있습니까?

Question

나는

[Leaf 1, Rooted (Leaf 2), Branch (Leaf 3) (Branch (Leaf 4) (Leaf 5))] 

수 있습니다 하스켈 타입 T을 좋아하지만

[Leaf 1, Rooted (Leaf 2), Branch (Rooted (Leaf 3)) (Branch (Leaf 4) (Leaf 5))] 

즉 것입니다. 을 제외한 모든 생성자는 Branch의 첫 번째 또는 두 번째 인수에 나타날 수 있습니다 (전체 코드에는 몇 개의 생성자가 더 있음).

나는 우리가 Branch (Rooted …) …을 할 수 있도록

{-# LANGUAGE GADTs #-} 
data T (x::Bool) where 
    Leaf :: Int -> T True 
    Rooted :: T True -> T False 
    Branch :: T True -> T True -> T True 

같은 것들을 시도했지만 또한 다른 유형 ([T True, T False])의 목록이 될 것이기 때문에 우리가 [Rooted …, One …]을 할 수 없음을 의미했습니다.

은 내가

{-# LANGUAGE GADTs, DataKinds, KindSignatures #-} 
data T where 
    Leaf :: Int -> T 
    Rooted :: T -> T 
    Branch :: UnRooted a => a -> a -> T 
class UnRooted a 
instance UnRooted Leaf 
instance UnRooted Branch 

하지만 GHC을 할 수있는 희망, DataKinds으로 보았다 (7.10.3) Data constructor ‘Leaf’ comes from an un-promotable type ‘T’을 제공합니다.

하스 켈에서이를 수행 할 방법이 있습니까? 당신은 부울 값 숨기는 생성자에서 모든 것을 감싸는 경우

Answer 1

당신은 최초의 솔루션을 사용할 수 있습니다 : 우리는 어쨌든 유형을 포장해야 위하여려고하는 경우에, 그러나

{-# LANGUAGE GADTs, DataKinds, KindSignatures, RankNTypes #-} 
data T (x::Bool) where 
    Leaf :: Int -> T True 
    Rooted :: T True -> T False 
    Branch :: T True -> T True -> T True 

data TWrap = forall (x :: Bool). TWrap (T x) 

[TWrap $ Leaf 1, TWrap $ Rooted (Leaf 2), TWrap $ Branch (Leaf 3) (Branch (Leaf 4) (Leaf 5))] 

을, 그냥 갈 아마 더 낫다

data T = Leaf Int | Branch T T 
data TWrap = Unrooted T | Rooted T 

[Unrooted $ Leaf 1, Rooted $ Leaf 2, Unrooted $ Branch (Leaf 3) (Branch (Leaf 4) (Leaf 5))] 

---

뭘 요구하는 것은 기본적으로 dependent types이며, 하스켈이없는 (012 : 유형을 분할하는 더 간단한 솔루션).