diagrams-core-1.4.0.1: Core libraries for diagrams EDSL

Diagrams.Core.Measure

Synopsis

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

Constructors

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

Instances

 # Methodsdimap :: (a -> b) -> (c -> d) -> Measured b c -> Measured a d #lmap :: (a -> b) -> Measured b c -> Measured a c #rmap :: (b -> c) -> Measured a b -> Measured a c #(#.) :: Coercible * c b => (b -> c) -> Measured a b -> Measured a c #(.#) :: Coercible * b a => Measured b c -> (a -> b) -> Measured a c # # Methods(>>=) :: Measured n a -> (a -> Measured n b) -> Measured n b #(>>) :: Measured n a -> Measured n b -> Measured n b #return :: a -> Measured n a #fail :: String -> Measured n a # # Methodsfmap :: (a -> b) -> Measured n a -> Measured n b #(<\$) :: a -> Measured n b -> Measured n a # # Methodspure :: a -> Measured n a #(<*>) :: Measured n (a -> b) -> Measured n a -> Measured n b #(*>) :: Measured n a -> Measured n b -> Measured n b #(<*) :: Measured n a -> Measured n b -> Measured n a # # Methodsdistribute :: Functor f => f (Measured n a) -> Measured n (f a) #collect :: Functor f => (a -> Measured n b) -> f a -> Measured n (f b) #distributeM :: Monad m => m (Measured n a) -> Measured n (m a) #collectM :: Monad m => (a -> Measured n b) -> m a -> Measured n (m b) # # Associated Typestype Rep (Measured n :: * -> *) :: * # Methodstabulate :: (Rep (Measured n) -> a) -> Measured n a #index :: Measured n a -> Rep (Measured n) -> a # # Methodszero :: Num a => Measured n a #(^+^) :: Num a => Measured n a -> Measured n a -> Measured n a #(^-^) :: Num a => Measured n a -> Measured n a -> Measured n a #lerp :: Num a => a -> Measured n a -> Measured n a -> Measured n a #liftU2 :: (a -> a -> a) -> Measured n a -> Measured n a -> Measured n a #liftI2 :: (a -> b -> c) -> Measured n a -> Measured n b -> Measured n c # Floating a => Floating (Measured n a) # Methodspi :: Measured n a #exp :: Measured n a -> Measured n a #log :: Measured n a -> Measured n a #sqrt :: Measured n a -> Measured n a #(**) :: Measured n a -> Measured n a -> Measured n a #logBase :: Measured n a -> Measured n a -> Measured n a #sin :: Measured n a -> Measured n a #cos :: Measured n a -> Measured n a #tan :: Measured n a -> Measured n a #asin :: Measured n a -> Measured n a #acos :: Measured n a -> Measured n a #atan :: Measured n a -> Measured n a #sinh :: Measured n a -> Measured n a #cosh :: Measured n a -> Measured n a #tanh :: Measured n a -> Measured n a #asinh :: Measured n a -> Measured n a #acosh :: Measured n a -> Measured n a #atanh :: Measured n a -> Measured n a #log1p :: Measured n a -> Measured n a #expm1 :: Measured n a -> Measured n a #log1pexp :: Measured n a -> Measured n a #log1mexp :: Measured n a -> Measured n a # Fractional a => Fractional (Measured n a) # Methods(/) :: Measured n a -> Measured n a -> Measured n a #recip :: Measured n a -> Measured n a # Num a => Num (Measured n a) # Methods(+) :: Measured n a -> Measured n a -> Measured n a #(-) :: Measured n a -> Measured n a -> Measured n a #(*) :: Measured n a -> Measured n a -> Measured n a #negate :: Measured n a -> Measured n a #abs :: Measured n a -> Measured n a #signum :: Measured n a -> Measured n a #fromInteger :: Integer -> Measured n a # Semigroup a => Semigroup (Measured n a) # Methods(<>) :: Measured n a -> Measured n a -> Measured n a #sconcat :: NonEmpty (Measured n a) -> Measured n a #stimes :: Integral b => b -> Measured n a -> Measured n a # Monoid a => Monoid (Measured n a) # Methodsmempty :: Measured n a #mappend :: Measured n a -> Measured n a -> Measured n a #mconcat :: [Measured n a] -> Measured n a # HasOrigin t => HasOrigin (Measured n t) # MethodsmoveOriginTo :: Point (V (Measured n t)) (N (Measured n t)) -> Measured n t -> Measured n t # (InSpace v n t, Transformable t, HasLinearMap v, Floating n) => Transformable (Measured n t) # Methodstransform :: Transformation (V (Measured n t)) (N (Measured n t)) -> Measured n t -> Measured n t # Qualifiable a => Qualifiable (Measured n a) # Methods(.>>) :: IsName a => a -> Measured n a -> Measured n a # HasStyle b => HasStyle (Measured n b) # MethodsapplyStyle :: Style (V (Measured n b)) (N (Measured n b)) -> Measured n b -> Measured n b # Juxtaposable a => Juxtaposable (Measured n a) # Methodsjuxtapose :: Vn (Measured n a) -> Measured n a -> Measured n a -> Measured n a # MonadReader (n, n, n) (Measured n) # Methodsask :: Measured n (n, n, n) #local :: ((n, n, n) -> (n, n, n)) -> Measured n a -> Measured n a #reader :: ((n, n, n) -> a) -> Measured n a # type Rep (Measured n) # type Rep (Measured n) = (n, n, n) type N (Measured n a) # type N (Measured n a) = N a type V (Measured n a) # type V (Measured n a) = V a

type Measure n = Measured n n #

A measure is a Measured number.

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

fromMeasured globalScale normalizedScale measure -> a

output :: n -> Measure n #

Output units don't change.

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

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

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

Global units are scaled so that they are interpreted relative to the size of the final rendered diagram.

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.

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

Calculate the smaller of two measures.

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

Calculate the larger of two measures.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7759611,"math_prob":0.9692228,"size":1366,"snap":"2022-27-2022-33","text_gpt3_token_len":362,"char_repetition_ratio":0.2973568,"word_repetition_ratio":0.3556338,"special_character_ratio":0.31771597,"punctuation_ratio":0.15953307,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9996872,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-07-03T05:32:15Z\",\"WARC-Record-ID\":\"<urn:uuid:b136ce7f-224a-46f6-b21c-47036fae0849>\",\"Content-Length\":\"57761\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:ba806ed3-d43c-4087-a8bb-e14171e02aff>\",\"WARC-Concurrent-To\":\"<urn:uuid:d9ba05ca-03b1-423e-9756-d53ec918aa2f>\",\"WARC-IP-Address\":\"52.217.80.59\",\"WARC-Target-URI\":\"http://support.hfm.io/1.6/api/diagrams-core-1.4.0.1/Diagrams-Core-Measure.html\",\"WARC-Payload-Digest\":\"sha1:WYA53YTXYEH7UWMC6Q6RMV4UNGADPPBY\",\"WARC-Block-Digest\":\"sha1:OWELDXQI64L4M5VVA53Y5MU5WOSCII7A\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656104215790.65_warc_CC-MAIN-20220703043548-20220703073548-00501.warc.gz\"}"}