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, 31 May 2011 21:59:10 +0000 (14:59 -0700)
commitcc87288eddc05564cd759a3273dbbad99985fb0d
treeca49b0a2f6024ab9c6921fd44a0b4478ed9abe14
parent8d2a759dcb2ad886e39e01d27e4f15ba1c52c7ba
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