(Data.Functor.Classes.Show1 ExprF)에 대한 인스턴스가 없음

Question

숫자의 소수 분해를 찾기 위해 작은 프로그램을 작성했습니다. main 함수를 제외하고 컴파일하는 것 같습니다. Show1 인스턴스를 찾을 수 없다는 불만이 있습니다.

{-# LANGUAGE DeriveFunctor #-} 

module FactorAnamorphism where 

import Data.Functor.Foldable 
import Data.List 

nextPrimeFactor :: Integer -> Maybe Integer 
nextPrimeFactor n = find (\x -> n `mod` x /= 0) [2..(floor $ sqrt $ fromIntegral n)] 

data ExprF r = FactorF Integer | MultF r r deriving (Show, Functor) 
type Expr = Fix ExprF 

factor :: Integer -> Expr 
factor = ana coAlg where 
    coAlg fac = case (nextPrimeFactor fac) of 
    Just prime -> MultF prime (fac `div` prime) 
    Nothing -> FactorF fac 

main :: IO() 
main = putStrLn $ show $ factor 10 

로그 : Fix에 대한

% stack build 
haskell-playground-0.1.0.0: build (lib + exe) 
Preprocessing library haskell-playground-0.1.0.0... 
Preprocessing executable 'factor-anamorphism' for 
haskell-playground-0.1.0.0... 
[1 of 1] Compiling FactorAnamorphism (app/FactorAnamorphism.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/factor-anamorphism/factor-anamorphism-tmp/FactorAnamorphism.o) 

/Users/ian/proj/macalinao/haskell-playground/app/FactorAnamorphism.hs:22:19: error: 
    • No instance for (Data.Functor.Classes.Show1 ExprF) 
     arising from a use of ‘show’ 
    • In the second argument of ‘($)’, namely ‘show $ factor 10’ 
     In the expression: putStrLn $ show $ factor 10 
     In an equation for ‘main’: main = putStrLn $ show $ factor 10 

-- While building package haskell-playground-0.1.0.0 using: 
     /Users/ian/.stack/setup-exe-cache/x86_64-osx/Cabal-simple_mPHDZzAJ_1.24.2.0_ghc-8.0.2 --builddir=.stack-work/dist/x86_64-osx/Cabal-1.24.2.0 build lib:haskell-playground exe:factor-anamorphism exe:haskell-playground-exe --ghc-options " -ddump-hi -ddump-to-file" 
    Process exited with code: ExitFailure 1 

Answer 1

Show의 예는 다음과 같습니다 Show1 f => Show (Fix f), 컴파일러는 Show1 ExprF을 기대하는 이유입니다.

Show1은 Data.Functor.Classes 아래에서 찾을 수 있으며 deriving-compat에서 Text.Show.Deriving에 파생 된 TH 스크립트가 있습니다.