Template Haskell을 사용하여 생성 된 코드로 TH 패키지가 아닌 패키지를 만드는 방법은 무엇입니까?

Question

나는

newtype Tuple2 a = Tuple2 { untuple2 :: (a, a) } 
    deriving (...) 

tuple2 :: a -> a -> Tuple2 a 
tuple2 = ... 

instance Traversable Tuple2 where ... 
instance Foldable Tuple2 where ... 
instance Functor Tuple2 where ... 
instance Applicative Tuple2 where ... 

이 2에서 15에 반복 같은 튜플에 대해 래퍼를 정의하고 인스턴스를 형성 추가하는 작은 패키지를 만들고 있어요, 그래서 템플릿 하스켈의 작업처럼 보인다.

생성 된 코드는 항상 Haskell 98과 호환되므로 최종 결과가 Haskell 98 호환 패키지이기를 바랍니다. Template Haskell을 사용하여 코드를 생성하고 TH 자체를 사용하지 않는 패키지를 만들 수 있습니까? (가능하면 나는, 자동화 된 방법을 선호하는 것입니다.) 그것을위한 도구가 있습니다

Answer 1

: 그는에 될 것 같지 않습니다

zeroth을 발견하기 전에

• EvilSplicer, Joey Hess가 쓴이 더 이상 적극적인 개발.

면책 조항 : 본인 스스로 시도하지 않았습니다.

Answer 2

하스켈 소스 코드를 일반 텍스트 파일로 출력하는 하스켈 프로그램을 작성하는 것은 항상 가능합니다. 그런 다음 다른 파일처럼 컴파일 할 수 있습니다.

이 물론 당신, 포기하지 않는 무엇 :

• 구문 검사를. (즉, 생성하는 코드에 구문 오류가있을 수 있습니다.)
• 이미 컴파일 된 수작업으로 작성된 코드를 검사하는 기능입니다.
• 유형 유추와 같은 다른 GHC 기능을 사용할 수있는 기능입니다.