Haskell没有Show的实例

时间:2014-05-06 21:35:19

标签: haskell

这是我的代码

type Niveles = (Int, Int, Int)
type Persona = (String, Niveles)    
type Pocion = (String, [(String, Int, [Efectos])])
type Ingredientes = [(String, Int, [Efectos])]
type Efectos = Niveles -> Niveles

aplicar3 f (a,b,c) = (f a, f b, f c)

invertir3 (a,b,c) = (c,b,a)

fst3 (a,_,_) = a
snd3 (_,b,_) = b
trd3 (_,_,c) = c

personas = [("Harry",(11, 5, 4)), ("Ron",(6,4,6)), ("Hermione",(8,12,2)), ("Draco",(7,9,6))]

f1 (ns,nc,nf) = (ns+1,nc+2,nf+3)
f2 = aplicar3 (max 7)
f3 (ns,nc,nf)
    | ns >= 8 = (ns,nc,nf+5)
    | otherwise = (ns,nc,nf-3)

misPociones :: [Pocion]
misPociones = [
    ("Felix Felices",[("Escarabajos Machacados",52,[f1,f2]),("Ojo de Tigre Sucio",2,[f3])]),
    ("Multijugos",[("Cuerno de Bicornio en Polvo",10, [invertir3, (\(a,b,c) -> (a,a,c))]),("Sanguijuela hormonal",54,[(aplicar3 (*2)), (\(a,b,c) -> (a,a,c)) ])]),
    ("Flores de Bach",[("Orquidea Salvaje",8,[f3]), ("Rosita",1,[f1])])]


efectosDePocion pocion = map trd3 (elementos pocion)

elementos :: Pocion -> Ingredientes
elementos (_, ingredientes) = ingredientes

我在最后一段代码中遇到问题,当我尝试使用函数" elementos":

elementos ("Felix Felices",[("Escarabajos Machacados",52,[f1,f2]),("Ojo de Tigre Sucio",2,[f3])])

我收到了错误消息:

<interactive>:311:1:
    No instance for (Show ((Int, Int, Int) -> (Int, Int, Int)))
      arising from a use of `print'
    Possible fix:
      add an instance declaration for
      (Show ((Int, Int, Int) -> (Int, Int, Int)))
    In a stmt of an interactive GHCi command: print it

有人可以向我解释一下吗?我该如何解决?

2 个答案:

答案 0 :(得分:12)

简而言之,函数正确评估 - 问题是由ghci中的评估引起的。

您的函数调用返回Ingredientes类型的值,这是[(String, Int, [Efectos])]的类型同义词。 ghci尝试将返回的值打印到控制台,因此尝试在其上调用show。但Efectos是函数的类型同义词。 ghci告诉您它不知道如何显示函数,因为它不是类型类Show的成员:No instance for (Show ((Int, Int, Int) -> (Int, Int, Int)))

它可能不应该关注你 - 通过评估ghci中的任何函数,你会得到类似的错误。

答案 1 :(得分:4)

将.hs文件添加到以下代码

instance Show (a -> b) where
         show a= "funcion"

现在ghci将能够打印“funcion”(功能)

祝你好运!