add GArrowTensor, GArrowUnit, and GArrowExponent which use type families to reduce...
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 10 May 2011 04:59:46 +0000 (21:59 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 10 May 2011 04:59:46 +0000 (21:59 -0700)
commit47c002441ab30c48e93a0cd70a5f129f712329e0
treee8f8b668e421ee97ae7c735daedd59fe289afc47
parent9bcc30e533d29ee316a7ba572254765b97b4b0d0
add GArrowTensor, GArrowUnit, and GArrowExponent which use type families to reduce the type-level clutter caused by generalized arrows having 3-4 parameters
GHC/HetMet/CodeTypes.hs
GHC/HetMet/GArrow.hs
GHC/HetMet/Private.hs