goldfirere/units

Extract dimensionless quantities?

Opened this issue · 1 comments

andrevidela commented

I've got some code that performs a division that removes all dimensions

a :: Mass SI n
b :: Mass SI n
c :: Qu '[] SI n
c = a |/| b

I need to extract this n for further processing by another library. Would it make sense to add

extract :: Qu '[] l n -> n
extract = coerce

?

goldfirere commented

Looks reasonable to me. Please do submit a PR! Thanks.