« Previous | Next » 

Revision 6e1e47d4

ID6e1e47d40e0985584109c018e621943d93634d76
Parent 3fc9410e
Child d808bf6e

Added by Petr Pudlak about 10 years ago

Add a generic TH currying function for arbitrary arity

.. and also a function for extracting a type argument from a type.

Signed-off-by: Petr Pudlak <>
Reviewed-by: Klaus Aehlig <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences