Allow TypeOperators with nonzero arity in typeclass constraints

quangis / transforge

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

GNU General Public License v3.0

2 stars 0 forks source link

Allow TypeOperators with nonzero arity in typeclass constraints #84

Open nsbgn opened 2 years ago

nsbgn commented 2 years ago

If we have a parameterized type F and G and we say x << [F, G], we clearly mean that x is constrained to either F(...) or G(...).