1 Dec
2011
1 Dec
'11
12:04 a.m.
On Wed, Nov 30, 2011 at 23:55, Richard O'Keefe
The "value-level reflection functions" in Data.TypeLevel.Num.Ops all seem to be 'undefined'.
Those are operations on type level representations, but expressed at the value level; that is, in some sense the opposite of what you're looking for. Looks like what you really want is Data.TypeLevel.Num.Sets.toNum (or toInt in the same module). -- brandon s allbery allbery.b@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms