units-2.4: A domain-specific type system for dimensional analysis

Index - :

:* 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
:/ 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
:@ 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
:^ 
1 (Type/Class)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
2 (Data Constructor)Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology