Hello,
Can you help me understand how to make something more quantified than
just (a -> b) a member of a class?
Thanks in advance!
==============================================================================
This is a "literate" program and may be saved as "t.lhs" (say) then
loaded into Haskell.
I am using O'Hugs version 0.5 under Windows 98.
We want to make ((Int,Float) -> String) a Show.
Try the direct approach:
-------------------------------------------
instance Show ((Int,Float) -> String) where
showsPrec _ f _ = f (3,5.4)
-------------------------------------------
It fails with 'Type variable expected in instance type'.
Try defining a type synonym:
-------------------------------------------
>type MyF = ((Int,Float) -> String)
instance Show MyF where
showsPrec _ f _ = f (3,5.4)
-------------------------------------------
It fails with 'Type synonym "MyF" not permitted in instance of "Show" '.
Try defining a newtype:
-------------------------------------------
>newtype MyNewtype = MyDataConstructor ((Int,Float) -> String)
>instance Show MyNewtype where
> showsPrec _ (MyDataConstructor f) _ = f (3,5.4)
>--We never really made MyF a Show, but function "show'" is a
workaround.
>show' myF = show (MyDataConstructor myF)
-------------------------------------------
Testing:
-------------------------------------------
>f :: MyF
>f x | x == (3,5.4) = "This shows the value of my function applied to a
certain argument."
> | otherwise = "OK"
>test = show' f
-------------------------------------------
