Note that these have omitted the behavior of the function on bottom, so even on a
finite domains, the description is not complete.
john.
[EMAIL PROTECTED] wrote:
>
> George writes:
> > There is no problem with Showing functions with finite domains.
> > For example, try:
>
> > module ShowFun where
> > instance (Show a) => Show (Bool -> a) where
> > show f = show ((f True),(f False))
> > instance (Show a) => (Show (Int -> a))
>
> Why stop there? Eq and Read too, though they do become tricky at Int->Int.
>
> --------------------------------------------------------------------
> Ian Stark http://www.dcs.ed.ac.uk/home/stark
> LFCS, Division of Informatics, The University of Edinburgh, Scotland
