terrence.brannon wrote:
>
>
>
> I am confused by the pipe syntax. Where is it fully discussed with
> examples?
>
>
Here's another example:
sumlength :: [t] t t -> (t,t) | +, one t
I'm guessing this is saying that both + and one must be applicable to the
argument of type t
So in some cases it seems to be saying that a certain function must be
applicable and in other cases it is saying that the datum has to be of a
certain type.
But I dont know where to find this fully described with examples, so I'm
sort of hitting in the dark :)
--
View this message in context:
http://www.nabble.com/where-are-function-type-restrictions-discussed--tp19162663p19162757.html
Sent from the Clean mailing list archive at Nabble.com.
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
