데이터 킨이있는 유형 수준 맵

Question

유형이 [*] 인 유형 수준 목록이있는 공통 패턴이 있으며 목록의 각 요소에 유형이 * -> * 인 유형 생성자를 적용하고 싶습니다. 예를 들어 '[Int, Double, Integer]을 '[Maybe Int, Maybe Double, Maybe Integer]으로 변경하고 싶습니다.

여기 입력 수준 map을 구현하려는 시도입니다.

{-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FlexibleInstances, FlexibleContexts, TypeOperators, DataKinds, ScopedTypeVariables, GADTs #-} 

-- turns a type list '[b1, b2, b3] 
-- into the type list '[a b1, a b2, a b3] 
class TypeMap (a :: * -> *) (bs :: [*]) where 
    type Map a bs :: [*] 

instance TypeMap a '[b] where 
    type Map a '[b] = '[a b] 

instance TypeMap a (b1 ': b2 ': bs) where 
    type Map a (b1 ': b2 ': bs) = ((a b1) ': (Map a (b2 ': bs))) 


data HList :: [*] -> * where 
       HNil :: HList '[] 
       HCons :: a -> HList as -> HList (a ': as) 

class Foo as where 
    toLists :: HList as -> HList (Map [] as) 

instance Foo '[a] where 
    toLists (HCons a HNil) = HCons [a] HNil 

instance (Foo (a2 ': as)) => Foo (a1 ': a2 ': as) where 
    toLists (HCons a as) = 
     let as' = case (toLists as) of 
        (HCons a2 as'') -> HCons [head a2] as'' -- ERROR 
     in HCons [a] as' 

이

Could not deduce (a3 ~ [t0]) 
    from the context (Foo ((':) * a2 as)) 
     bound by the instance declaration at Test.hs:35:10-50 
    or from ((':) * a1 ((':) * a2 as) ~ (':) * a as1) 
     bound by a pattern with constructor 
       HCons :: forall a (as :: [*]). 
          a -> HList as -> HList ((':) * a as), 
       in an equation for `toLists' 
     at Test.hs:36:14-23 
    or from (Map [] as1 ~ (':) * a3 as2) 
     bound by a pattern with constructor 
       HCons :: forall a (as :: [*]). 
          a -> HList as -> HList ((':) * a as), 
       in a case alternative 
     at Test.hs:38:22-34 
     `a3' is a rigid type variable bound by 
      a pattern with constructor 
      HCons :: forall a (as :: [*]). 
         a -> HList as -> HList ((':) * a as), 
      in a case alternative 
      at Test.hs:38:22 
    Expected type: HList (Map [] ((':) * a2 as)) 
     Actual type: HList ((':) * [t0] as2) 
    In the return type of a call of `HCons' 
    In the expression: HCons [head a2] as'' 
    In a case alternative: (HCons a2 as'') -> HCons [head a2] as'' 

내가 풍부한 유형 약어를 추가 해봤 오류가 발생하지만 오류가 더 많거나 적은 동일한 나오는 : GHC도 추측 할 수없는의 첫 번째 요소 HList는 (정상적인) 목록입니다. 내가 바보 같은 짓을하고 있니? 뭔가 불법인가? 아니면 주위에 어떤 방법이 있습니까?

Answer 1

TypeMap a (b1 ': b2 ': bs)을 작성하면 Map ...을 정의하는 재귀와 일치하지 않으므로 1 또는 2 개의 요소가 아닌 TypeMap 목록을 만들 때 오류가 발생합니다. 또한, 귀하의 경우에는이 유형의 가족이있는 것이 더 깔끔합니다. 코드 컴파일이 [] 및 b:bs에 대한 인스턴스로 [a] 및 b1:b2:bs에 대한 인스턴스를 변경하는 것입니다 수

map f [] = [] 
map f (x:xs) = f x : map f xs 

Answer 2

최소한의 변화 :

type family TypeMap (a :: * -> *) (xs :: [*]) :: [*] 
type instance TypeMap t '[] = '[] 
type instance TypeMap t (x ': xs) = t x ': TypeMap t xs 

참고이 거의의 직접 번역 한 것입니다.

instance TypeMap a '[] where 
    type Map a '[] = '[] 

instance TypeMap a (b ': bs) where 
    type Map a (b ': bs) = a b ': Map a bs