Data.Dimensions.Unsafe

This module exports the constructor of the Dim type. This allows you to write dimension-unsafe code. Use at your peril.

The Dim type

newtype Dim n a

Dim adds a dimensional annotation to its base type n. This is the representation for all dimensioned quantities.

Constructors

Dim n

Instances

Eq n => Eq (Dim n ([] (DimSpec *)))

Floating n => Floating (Dim n ([] (DimSpec *)))

Fractional n => Fractional (Dim n ([] (DimSpec *)))

Num n => Num (Dim n ([] (DimSpec *)))

Ord n => Ord (Dim n ([] (DimSpec *)))

Real n => Real (Dim n ([] (DimSpec *)))

RealFloat n => RealFloat (Dim n ([] (DimSpec *)))

RealFrac n => RealFrac (Dim n ([] (DimSpec *)))

(ShowDimSpec dims, Show n) => Show (Dim n dims)