Data.Dimensions.Poly

The Dim type

data Dim n a

Maniuplating dimension specifications

data DimSpec star

type family a ($=) b :: Bool

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

type family Reorder a b :: [DimSpec *]

type family a (@~) b :: Constraint

type family Normalize d :: [DimSpec *]

type family a (@+) b :: [DimSpec *]

type family a (@-) b :: [DimSpec *]

type family NegDim a :: DimSpec *

type family NegList a :: [DimSpec *]

type family base (@*) power :: [DimSpec *]

type family dims (@/) z :: [DimSpec *]