폐쇄 형 패밀리에 대한 제약 조건은 무엇입니까?

Question

나는

pretty :: Text -> Text = id 
pretty :: String -> Text = T.pack 
pretty :: (Show a) => a -> Text = T.pack . show 

그래서 아이디어는 이미 Show 인스턴스가 아무것도 설정 할 수 있다는 것입니다

pretty :: (Show a) => a -> Text 

같은 유형의 함수의 끔찍하게 비모수 버전을 쓰고 싶습니다 Text에 의해서만 -ing하고 있습니다. 단, Text과 String을 제외하고는 특별한 경우가 있습니다.

{-# LANGUAGE TypeFamilies #-} 
{-# LANGUAGE MultiParamTypeClasses #-} 
{-# LANGUAGE TypeSynonymInstances, FlexibleInstances, FlexibleContexts #-} 
{-# LANGUAGE DataKinds, ConstraintKinds #-} 
module Pretty (pretty) where 

import Data.Text (Text) 
import qualified Data.Text as T 

type family StringLike a :: Bool where 
    StringLike String = True 
    StringLike Text = True 
    StringLike a = False 

class (b ~ StringLike a) => Pretty' a b where 
    pretty' :: a -> Text 

instance Pretty' String True where 
    pretty' = T.pack 

instance Pretty' Text True where 
    pretty' = id 

instance (Show a, StringLike a ~ False) => Pretty' a False where 
    pretty' = T.pack . show 

type Pretty a = (Pretty' a (StringLike a)) 

pretty :: (Pretty a) => a -> Text 
pretty = pretty' 

과는 pretty 기능을 제외하고 아무것도 내 보내지 않고 사용할 수 있습니다

다음 코드는 작동합니다.

그러나, 나는 pretty의 유형 서명에 대해 너무 행복하지 않다 :

pretty :: (Pretty a) => a -> Text 

내가 StringLike는 폐쇄 형 가족이기 때문에, GHC 알아낼 수있는 방법이 있어야한다고 생각 만 (Show a) 경우

1. The following hold trivially just by substituting the results of applying StringLike: 
(StringLike String ~ True, Pretty' String True) 
(StringLike Text ~ True, Pretty' Text True) 

2. For everything else, we *also* know the result of applying StringLike: 
(Show a, StringLike a ~ False) => (Pretty' a (StringLike a)) 

이의 GHC를 설득 할 수있는 방법이 있나요 : 이후, (Pretty a) 이미 만족, 보유?

Answer 1

나는 StringLike는 폐쇄 형 가족이기 때문에, GHC는 (Show a)가 보유하고있는 경우, (Pretty a)가

그 유형 검사를 요구하려면 이미 만족하고 있음을 알아낼 수있는 방법이 있어야한다고 생각 , 매개 변수 다형성을 깨뜨릴 것입니다. 당신의 인수로 이제 형 가족

type family IsInt a :: Bool where 
    IsInt Int = True 
    IsInt a = False 
class (b ~ IsInt a) => TestInt a b where 
    isInt :: a -> Bool 
instance TestInt Int True where 
    isInt _ = True 
instance (IsInt a ~ False) => TestInt a False where 
    isInt _ = False 

을 정의 고려, GHC는 ()에서 TestInt a를 충족 할 수 있어야한다. 즉, Int와 동일한 지 여부를 테스트 할 수 있어야합니다. 이것은 분명히 불가능합니다.

마찬가지로, Show a 사전은 a -> ShowS과 같습니다. 그 인수가 StringLike인지 여부를 어떻게 결정할 수 있습니까?

Answer 2

아마도 내가 당신의 목표를 오해했을 수도 있지만, 이것은 당신이 원하는 유형을 얻으려는 많은 노력처럼 보입니다. 이 pretty가, 인해 IncoherentInstances를 입력 Pretty a => a -> Text을 가져야한다고 보일 수도 있지만

{-# LANGUAGE TypeSynonymInstances, FlexibleInstances, UndecidableInstances, IncoherentInstances #-} 
module Prettied where 

import Data.Text (Text, pack) 

class Pretty a where pretty :: a -> Text 

instance   Pretty Text where pretty = id 
instance   Pretty String where pretty = pack 
instance Show a => Pretty a  where pretty = pack . show 

실제로 유형 Show a => a -> Text이있을 것이다. IncoherentInstances을 사용하면 유효한 코드를 해독 할 수있는 기능 중 하나이기 때문에이 모듈이 자체 모듈에 있어야합니다.