I thought that section 3.7 of the Clean Language Report, "Typing functions", would explain the vertical pipe syntax I often see in function type descriptions, e.g:
from_then_to:: !a !a !a -> .[a] | Enum a I am confused by the pipe syntax. Where is it fully discussed with examples? The reason I get confused is that above I see the type constructor Enum used but below I see some function named "space" used: wordify :: ![a] -> [[a]] | space a By the way, how would I find out where space is defined? It has to be in StdEnv or Parsers, but I am not sure how to figure this out by myself. -- View this message in context: http://www.nabble.com/where-are-function-type-restrictions-discussed--tp19162663p19162663.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
