Safe Haskell | None |
---|---|

Language | Haskell2010 |

- 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 :: Num n => 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

'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.

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 |

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

fromMeasured globalScale normalizedScale measure -> a

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.