| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Diagrams.Core.Measure
- newtype Measured n a = Measured {
- unmeasure :: (n, n, n) -> a
- type Measure n = Measured n n
- fromMeasured :: Num n => n -> n -> Measured n a -> a
- output :: n -> Measure n
- local :: Num n => n -> Measure n
- global :: Num n => n -> Measure n
- normalized :: Num n => n -> Measure n
- normalised :: Num n => n -> Measure n
- scaleLocal :: Num n => n -> Measured n a -> Measured n a
- atLeast :: Ord n => Measure n -> Measure n -> Measure n
- atMost :: Ord n => Measure n -> Measure n -> Measure n
Documentation
newtype Measured n a
'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.
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) | |
| 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 |
fromMeasured :: Num n => n -> n -> Measured n a -> a
fromMeasured globalScale normalizedScale measure -> a
normalized :: Num n => n -> Measure n
Normalized units get scaled so that one normalized unit is the size of the final diagram.
normalised :: Num n => n -> Measure n
Just like normalized but spelt properly.
scaleLocal :: Num n => n -> Measured n a -> Measured n a
Scale the local units of a Measured thing.