Welcome to OStack Knowledge Sharing Community for programmer and developer-Open, Learning and Share
Welcome To Ask or Share your Answers For Others

Categories

0 votes
1.3k views
in Technique[技术] by (71.8m points)

haskell - Instance Show for function

I'm currently trying to write a little Show instance for primitive arithmetic functions.

Goal ist to make a list of functions showable.

The very simple function for show looks like that:

  showOp :: (Int -> Int -> Int) -> String
  showOp op
    | op 3 3 == 6 = "plus"
    | op 3 3 == 0 = "minus"
    | op 3 3 == 9 = "times"
    | op 3 3 == 1 = "divide"
    | otherwise = "undefined"

But I can't get an instance of Show for (Int -> Int -> Int). I tried it like that:

    instance Show (Int -> Int -> Int) where
    show op = show "asdf"

But it doesn't work. WinHugs just returns the Error

    Syntax error in instance head (variable expected)

Is it even possible to define Show for functions? If it is, how could I tackle that problem?

See Question&Answers more detail:os

与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
Welcome To Ask or Share your Answers For Others

1 Answer

0 votes
by (71.8m points)

Don't use WinHugs. Use GHC.

In fact, in recent Haskell Platform versions there is already an instance of functions for Show.

Prelude Text.Show.Functions> show (+1)
"<function>"
Prelude Text.Show.Functions> show (x -> x ++ "foo")
"<function>"

Now, in your case, however, you need -XFlexibleInstances on, since your instance isn't of the form (Constructor a1 .. an) where a1 .. an are distinct type variables.

Turn it on with {-# LANGUAGE FlexibleInstances #-}


与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
Welcome to OStack Knowledge Sharing Community for programmer and developer-Open, Learning and Share
Click Here to Ask a Question

...