diagrams-core-1.3.0.3: Core libraries for diagrams EDSL

Diagrams.Core.Measure

Synopsis

Documentation

newtype Measured n a Source

'Measured n a' is an object that depends on local, normalized and global scales. The normalized and global scales are calculated when rendering a diagram.

For attributes, the local scale gets multiplied by the average scale of the transform.

Constructors

 Measured Fieldsunmeasure :: (n, n, n) -> a

Instances

 Profunctor Measured Monad (Measured n) Functor (Measured n) Applicative (Measured n) Distributive (Measured n) Representable (Measured n) Additive (Measured n) Floating a => Floating (Measured n a) Fractional a => Fractional (Measured n a) Num a => Num (Measured n a) Monoid a => Monoid (Measured n a) Semigroup a => Semigroup (Measured n a) HasOrigin t => HasOrigin (Measured n t) Qualifiable a => Qualifiable (Measured n a) HasStyle b => HasStyle (Measured n b) Juxtaposable a => Juxtaposable (Measured n a) Typeable (* -> * -> *) Measured MonadReader (n, n, n) (Measured n) type Rep (Measured n) = (n, n, n) type N (Measured n a) = N a type V (Measured n a) = V a

type Measure n = Measured n n Source

A measure is a Measured number.

fromMeasured :: Num n => n -> n -> Measured n a -> a Source

fromMeasured globalScale normalizedScale measure -> a

output :: Num n => n -> Measure n Source

Output units don't change.

local :: Num n => n -> Measure n Source

Local units are scaled by the average scale of a transform.

global :: Num n => n -> Measure n Source

Global units are ?

normalized :: Num n => n -> Measure n Source

Normalized units get scaled so that one normalized unit is the size of the final diagram.

normalised :: Num n => n -> Measure n Source

Just like normalized but spelt properly.

scaleLocal :: Num n => n -> Measured n a -> Measured n a Source

Scale the local units of a Measured thing.

atLeast :: Ord n => Measure n -> Measure n -> Measure n Source

Calculate the smaller of two measures.

atMost :: Ord n => Measure n -> Measure n -> Measure n Source

Calculate the larger of two measures.