Copyright	(C) 2013 Richard Eisenberg
License	(C) 2013 Richard Eisenberg
Maintainer	Richard Eisenberg (eir@cis.upenn.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None

Data.Dimensions.Unsafe

Contents

Description

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

Synopsis

The `Dim` type

newtype Dim n a Source

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

Constructors

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)

The Dim type