dimensional-1.0.1.2: Statically checked physical dimensions, using Type Families and Data Kinds.

Index - -

-Numeric.Units.Dimensional, Numeric.Units.Dimensional.Prelude