Changes between Initial Version and Version 1 of Ticket #3

Show
Ignore:
Timestamp:
12/04/09 17:07:28 (5 years ago)
Author:
jmcarthur
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3 – description

    initial v1  
    3737 * Should we have different operators for different fixities? ($) has a very particular fixity which we might not always want for e.g. list indexing. 
    3838 * All the examples above have the codomain as a type parameter. Can we leave out the Codomain type in this type class and just have it take * -> * instead? 
     39* Are there any other functions that could naturally be in this type class?