Data.Metrology.Internal

LCSU lookup

type family Lookup dim lcsu :: *

type family LookupList keys map :: [Factor *]

Validity checking

type family ConvertibleLCSUs dfactors l1 l2 :: Constraint

type family ValidDLU dfactors lcsu unit

type family ValidDL dfactors lcsu :: Constraint

type family units1 *~ units2 :: Constraint

type family CanonicalUnitsOfFactors fs :: [*]

Manipulating units

type family DimOfUnitIsConsistent unit :: Constraint

type family IsCanonical unit

type CanonicalUnit unit

type family CanonicalUnit' base_unit unit :: *

type family BaseHasConvRatio unit

class UnitFactor units

Maniuplating dimension specifications

data Factor star

type family a $= b :: Bool

type family Extract s lst :: ([Factor *], Maybe (Factor *))

type family Reorder a b :: [Factor *]

type family Reorder' scrut t :: [Factor *]

type family a @~ b :: Constraint

type family Normalize d :: [Factor *]

type family a @@+ b :: [Factor *]

type family a @+ b :: [Factor *]

type family a @@- b :: [Factor *]

type family a @- b :: [Factor *]

type family NegDim a :: Factor *

type family NegList a :: [Factor *]

type family base @* power :: [Factor *]

type family dims @/ z :: [Factor *]

Set operations on lists

Dimensions