Data.Measure.Class · measures-0.1.0.3

classclass Eq a => Measure a where

Core combinators for a possibly-multidimensional measurement

a is a fixed set of measurements of a single object. It is not the measurements from multiple objects.

(zero, plus) is a commutative monoid
(zero, max) is a bounded join-semilattice
(min, max) is a lattice
lattice-ordered monoid min (plus a b) (plus a c) = a + min b c

Note that the bounded join-semilattice precludes negative (components of) measurements.

Methods

zero :: a
The measurement of nothing
See Measure for laws.
plus :: a -> a -> a
Combine two measurements
If a consists of multiple measurements, this is componentwise.
See Measure for laws.
min :: a -> a -> a
The lesser of two measurements
If a consists of multiple measurements, this is componentwise.
See Measure for laws.
max :: a -> a -> a
The greater of two measurements
If a consists of multiple measurements, this is componentwise.
See Measure for laws.

Instances15Semigroup, Monoid, Measure, …

Measure NaturalDefined in measures-0.1.0.3 · Data.Measure.Class
Measure Word16Defined in measures-0.1.0.3 · Data.Measure.Class
plus throws DataMeasureClassOverflowException
Measure Word32Defined in measures-0.1.0.3 · Data.Measure.Class
plus throws DataMeasureClassOverflowException
Measure Word64Defined in measures-0.1.0.3 · Data.Measure.Class
plus throws DataMeasureClassOverflowException
Measure Word8Defined in measures-0.1.0.3 · Data.Measure.Class
plus throws DataMeasureClassOverflowException
Measure a => Semigroup (InstantiatedAt Measure a)Defined in measures-0.1.0.3 · Data.Measure.Class
The (zero, plus) monoid
Measure a => Monoid (InstantiatedAt Measure a)Defined in measures-0.1.0.3 · Data.Measure.Class
The (zero, plus) monoid
(Monoid a, Ord a) => Measure (InstantiatedAt Ord a)Defined in measures-0.1.0.3 · Data.Measure.Class
(Eq a, Generic a, GMeasure (Rep a)) => Measure (InstantiatedAt Generic a)Defined in measures-0.1.0.3 · Data.Measure.Class
(Measure a, Measure b) => Measure (a, b)Defined in measures-0.1.0.3 · Data.Measure.Class
(Measure a, Measure b, Measure c) => Measure (a, b, c)Defined in measures-0.1.0.3 · Data.Measure.Class
(Measure a, Measure b, Measure c, Measure d) => Measure (a, b, c, d)Defined in measures-0.1.0.3 · Data.Measure.Class
(Measure a, Measure b, Measure c, Measure d, Measure e) => Measure (a, b, c, d, e)Defined in measures-0.1.0.3 · Data.Measure.Class
(Measure a, Measure b, Measure c, Measure d, Measure e, Measure f) => Measure (a, b, c, d, e, f)Defined in measures-0.1.0.3 · Data.Measure.Class
(Measure a, Measure b, Measure c, Measure d, Measure e, Measure f, Measure g) => Measure (a, b, c, d, e, f, g)Defined in measures-0.1.0.3 · Data.Measure.Class

Methods

Methods

Exceptions