search

emilaxelsson / syntactic

Generic representation and manipulation of abstract syntax
BSD 3-Clause "New" or "Revised" License
25 stars 13 forks source link

Specialize instances #25

Closed emwap closed 8 years ago

emwap commented 8 years ago

This PR adds SPECIALIZE pragmas to most (all) class instances.

With these instances most of the type level computations on the syntactic sum-types can be performed at compile time.

The only remaining constructs that do not specialize completely are Tuple and Select.