Type class for dividing dimensions L
by R
Type class for inverting a hlist of dimensions
Type class for multiplying two hlists of dimensions
Typeclass for simplifying a merged HList to produce a multiplied HList
Typeclass for simplifying a merged HList to produce a multiplied HList
Given a FieldType[D, (U, F)], produces a FieldType[D, (U, F)] with no change. This occurs when a term exists in L but not in R, or vice versa Given a FieldType[D, ((U, LF), (U, RF))] produces a FieldType[D, (U, TF)] where TF is the sum of LF and RF. If TF is invalid, the term is removed from the output.
Type class for raising dimensions to the power P
Type class for raising dimensions to the power 1 / P
Type class for printing dimensions
Type class for printing dimensions