diagrams-core-1.3.0.3: Core libraries for diagrams EDSL

Safe HaskellNone
LanguageHaskell2010

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 

Fields

unmeasure :: (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.