Safe Haskell	Safe-Inferred
Language	Haskell2010

Instrument.Types

Synopsis

createInstrumentPool :: ConnectInfo -> IO Connection
type Samplers = Map (MetricName, Dimensions) Sampler
type Counters = Map (MetricName, Dimensions) Counter
data Instrument = I {
- hostName :: HostName
- samplers :: !(IORef Samplers)
- counters :: !(IORef Counters)
- redis :: Connection
}
data InstrumentConfig = ICfg {
- redisQueueBound :: Maybe Integer
}
data SubmissionPacket = SP {
- spTimeStamp :: !Double
- spName :: !MetricName
- spPayload :: !Payload
- spDimensions :: !Dimensions
}
newtype MetricName = MetricName {
- metricName :: String
}
newtype DimensionName = DimensionName {
- dimensionName :: Text
}
newtype DimensionValue = DimensionValue {
- dimensionValue :: Text
}
type Dimensions = Map DimensionName DimensionValue
data Payload
- = Samples {
  - unSamples :: [Double]
  }
- | Counter {
  - unCounter :: Integer
  }
data Aggregated = Aggregated {
- aggTS :: Double
- aggName :: MetricName
- aggPayload :: AggPayload
- aggDimensions :: Dimensions
}
data AggPayload
- = AggStats Stats
- | AggCount Integer
data Stats = Stats {
- smean :: Double
- ssum :: Double
- scount :: Int
- smax :: Double
- smin :: Double
- srange :: Double
- sstdev :: Double
- sskewness :: Double
- skurtosis :: Double
- squantiles :: Map Int Double
}
hostDimension :: DimensionName
data HostDimensionPolicy
- = AddHostDimension
- | DoNotAddHostDimension
newtype Quantile = Q {
- quantile :: Int
}

Documentation

createInstrumentPool :: ConnectInfo -> IO Connection Source #

type Samplers = Map (MetricName, Dimensions) Sampler Source #

type Counters = Map (MetricName, Dimensions) Counter Source #

data Instrument Source #

Constructors

I
Fields hostName :: HostName samplers :: !(IORef Samplers) counters :: !(IORef Counters) redis :: Connection

Instances

Instances details

Monad m => HasInstrument (ReaderT Instrument m) Source #
Instance details Defined in Instrument.ClientClass Methods getInstrument :: ReaderT Instrument m Instrument Source #

data InstrumentConfig Source #

Constructors

ICfg
Fields redisQueueBound :: Maybe Integer

Instances

Instances details

Default InstrumentConfig Source #
Instance details Defined in Instrument.Types Methods def :: InstrumentConfig #

data SubmissionPacket Source #

Constructors

SP
Fields spTimeStamp :: !Double Timing of this submission spName :: !MetricName Metric name spPayload :: !Payload Collected values spDimensions :: !Dimensions Defines slices that this packet belongs to. This allows drill-down on the backends. For instance, you could do "server_name" "app1" or "queue_name" "my_queue"

Instances

Instances details

Generic SubmissionPacket Source #
Instance details Defined in Instrument.Types Associated Types type Rep SubmissionPacket :: Type -> Type # Methods from :: SubmissionPacket -> Rep SubmissionPacket x # to :: Rep SubmissionPacket x -> SubmissionPacket #
Show SubmissionPacket Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> SubmissionPacket -> ShowS # show :: SubmissionPacket -> String # showList :: [SubmissionPacket] -> ShowS #
Serialize SubmissionPacket Source #
Instance details Defined in Instrument.Types Methods put :: Putter SubmissionPacket # get :: Get SubmissionPacket #
Eq SubmissionPacket Source #
Instance details Defined in Instrument.Types Methods (==) :: SubmissionPacket -> SubmissionPacket -> Bool # (/=) :: SubmissionPacket -> SubmissionPacket -> Bool #
Migrate SubmissionPacket Source #
Instance details Defined in Instrument.Types Associated Types type MigrateFrom SubmissionPacket # Methods migrate :: MigrateFrom SubmissionPacket -> SubmissionPacket #
SafeCopy SubmissionPacket Source #
Instance details Defined in Instrument.Types Methods version :: Version SubmissionPacket # kind :: Kind SubmissionPacket # getCopy :: Contained (Get SubmissionPacket) # putCopy :: SubmissionPacket -> Contained Put # internalConsistency :: Consistency SubmissionPacket # objectProfile :: Profile SubmissionPacket # errorTypeName :: Proxy SubmissionPacket -> String #
type Rep SubmissionPacket Source #
Instance details Defined in Instrument.Types type Rep SubmissionPacket = D1 ('MetaData "SubmissionPacket" "Instrument.Types" "instrument-0.6.1.0-6Lbe4kLcaNb1isRA7npnNm" 'False) (C1 ('MetaCons "SP" 'PrefixI 'True) ((S1 ('MetaSel ('Just "spTimeStamp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :: S1 ('MetaSel ('Just "spName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MetricName)) :: (S1 ('MetaSel ('Just "spPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Payload) :*: S1 ('MetaSel ('Just "spDimensions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Dimensions))))
type MigrateFrom SubmissionPacket Source #
Instance details Defined in Instrument.Types type MigrateFrom SubmissionPacket

newtype MetricName Source #

Constructors

MetricName
Fields metricName :: String

Instances

Instances details

IsString MetricName Source #
Instance details Defined in Instrument.Types Methods fromString :: String -> MetricName #
Generic MetricName Source #
Instance details Defined in Instrument.Types Associated Types type Rep MetricName :: Type -> Type # Methods from :: MetricName -> Rep MetricName x # to :: Rep MetricName x -> MetricName #
Show MetricName Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> MetricName -> ShowS # show :: MetricName -> String # showList :: [MetricName] -> ShowS #
Serialize MetricName Source #
Instance details Defined in Instrument.Types Methods put :: Putter MetricName # get :: Get MetricName #
Eq MetricName Source #
Instance details Defined in Instrument.Types Methods (==) :: MetricName -> MetricName -> Bool # (/=) :: MetricName -> MetricName -> Bool #
Ord MetricName Source #
Instance details Defined in Instrument.Types Methods compare :: MetricName -> MetricName -> Ordering # (<) :: MetricName -> MetricName -> Bool # (<=) :: MetricName -> MetricName -> Bool # (>) :: MetricName -> MetricName -> Bool # (>=) :: MetricName -> MetricName -> Bool # max :: MetricName -> MetricName -> MetricName # min :: MetricName -> MetricName -> MetricName #
SafeCopy MetricName Source #
Instance details Defined in Instrument.Types Methods version :: Version MetricName # kind :: Kind MetricName # getCopy :: Contained (Get MetricName) # putCopy :: MetricName -> Contained Put # internalConsistency :: Consistency MetricName # objectProfile :: Profile MetricName # errorTypeName :: Proxy MetricName -> String #
type Rep MetricName Source #
Instance details Defined in Instrument.Types type Rep MetricName = D1 ('MetaData "MetricName" "Instrument.Types" "instrument-0.6.1.0-6Lbe4kLcaNb1isRA7npnNm" 'True) (C1 ('MetaCons "MetricName" 'PrefixI 'True) (S1 ('MetaSel ('Just "metricName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype DimensionName Source #

Constructors

DimensionName
Fields dimensionName :: Text

Instances

Instances details

IsString DimensionName Source #
Instance details Defined in Instrument.Types Methods fromString :: String -> DimensionName #
Generic DimensionName Source #
Instance details Defined in Instrument.Types Associated Types type Rep DimensionName :: Type -> Type # Methods from :: DimensionName -> Rep DimensionName x # to :: Rep DimensionName x -> DimensionName #
Show DimensionName Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> DimensionName -> ShowS # show :: DimensionName -> String # showList :: [DimensionName] -> ShowS #
Serialize DimensionName Source #
Instance details Defined in Instrument.Types Methods put :: Putter DimensionName # get :: Get DimensionName #
Eq DimensionName Source #
Instance details Defined in Instrument.Types Methods (==) :: DimensionName -> DimensionName -> Bool # (/=) :: DimensionName -> DimensionName -> Bool #
Ord DimensionName Source #
Instance details Defined in Instrument.Types Methods compare :: DimensionName -> DimensionName -> Ordering # (<) :: DimensionName -> DimensionName -> Bool # (<=) :: DimensionName -> DimensionName -> Bool # (>) :: DimensionName -> DimensionName -> Bool # (>=) :: DimensionName -> DimensionName -> Bool # max :: DimensionName -> DimensionName -> DimensionName # min :: DimensionName -> DimensionName -> DimensionName #
SafeCopy DimensionName Source #
Instance details Defined in Instrument.Types Methods version :: Version DimensionName # kind :: Kind DimensionName # getCopy :: Contained (Get DimensionName) # putCopy :: DimensionName -> Contained Put # internalConsistency :: Consistency DimensionName # objectProfile :: Profile DimensionName # errorTypeName :: Proxy DimensionName -> String #
type Rep DimensionName Source #
Instance details Defined in Instrument.Types type Rep DimensionName = D1 ('MetaData "DimensionName" "Instrument.Types" "instrument-0.6.1.0-6Lbe4kLcaNb1isRA7npnNm" 'True) (C1 ('MetaCons "DimensionName" 'PrefixI 'True) (S1 ('MetaSel ('Just "dimensionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype DimensionValue Source #

Constructors

DimensionValue
Fields dimensionValue :: Text

Instances

Instances details

IsString DimensionValue Source #
Instance details Defined in Instrument.Types Methods fromString :: String -> DimensionValue #
Generic DimensionValue Source #
Instance details Defined in Instrument.Types Associated Types type Rep DimensionValue :: Type -> Type # Methods from :: DimensionValue -> Rep DimensionValue x # to :: Rep DimensionValue x -> DimensionValue #
Show DimensionValue Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> DimensionValue -> ShowS # show :: DimensionValue -> String # showList :: [DimensionValue] -> ShowS #
Serialize DimensionValue Source #
Instance details Defined in Instrument.Types Methods put :: Putter DimensionValue # get :: Get DimensionValue #
Eq DimensionValue Source #
Instance details Defined in Instrument.Types Methods (==) :: DimensionValue -> DimensionValue -> Bool # (/=) :: DimensionValue -> DimensionValue -> Bool #
Ord DimensionValue Source #
Instance details Defined in Instrument.Types Methods compare :: DimensionValue -> DimensionValue -> Ordering # (<) :: DimensionValue -> DimensionValue -> Bool # (<=) :: DimensionValue -> DimensionValue -> Bool # (>) :: DimensionValue -> DimensionValue -> Bool # (>=) :: DimensionValue -> DimensionValue -> Bool # max :: DimensionValue -> DimensionValue -> DimensionValue # min :: DimensionValue -> DimensionValue -> DimensionValue #
SafeCopy DimensionValue Source #
Instance details Defined in Instrument.Types Methods version :: Version DimensionValue # kind :: Kind DimensionValue # getCopy :: Contained (Get DimensionValue) # putCopy :: DimensionValue -> Contained Put # internalConsistency :: Consistency DimensionValue # objectProfile :: Profile DimensionValue # errorTypeName :: Proxy DimensionValue -> String #
type Rep DimensionValue Source #
Instance details Defined in Instrument.Types type Rep DimensionValue = D1 ('MetaData "DimensionValue" "Instrument.Types" "instrument-0.6.1.0-6Lbe4kLcaNb1isRA7npnNm" 'True) (C1 ('MetaCons "DimensionValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "dimensionValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

type Dimensions = Map DimensionName DimensionValue Source #

data Payload Source #

Constructors

Samples
Fields unSamples :: [Double]
Counter
Fields unCounter :: Integer

Instances

Instances details

Generic Payload Source #
Instance details Defined in Instrument.Types Associated Types type Rep Payload :: Type -> Type # Methods from :: Payload -> Rep Payload x # to :: Rep Payload x -> Payload #
Show Payload Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> Payload -> ShowS # show :: Payload -> String # showList :: [Payload] -> ShowS #
Serialize Payload Source #
Instance details Defined in Instrument.Types Methods put :: Putter Payload # get :: Get Payload #
Eq Payload Source #
Instance details Defined in Instrument.Types Methods (==) :: Payload -> Payload -> Bool # (/=) :: Payload -> Payload -> Bool #
Migrate Payload Source #
Instance details Defined in Instrument.Types Associated Types type MigrateFrom Payload # Methods migrate :: MigrateFrom Payload -> Payload #
SafeCopy Payload Source #
Instance details Defined in Instrument.Types Methods version :: Version Payload # kind :: Kind Payload # getCopy :: Contained (Get Payload) # putCopy :: Payload -> Contained Put # internalConsistency :: Consistency Payload # objectProfile :: Profile Payload # errorTypeName :: Proxy Payload -> String #
type Rep Payload Source #
Instance details Defined in Instrument.Types type Rep Payload = D1 ('MetaData "Payload" "Instrument.Types" "instrument-0.6.1.0-6Lbe4kLcaNb1isRA7npnNm" 'False) (C1 ('MetaCons "Samples" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSamples") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Double])) :+: C1 ('MetaCons "Counter" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCounter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
type MigrateFrom Payload Source #
Instance details Defined in Instrument.Types type MigrateFrom Payload

data Aggregated Source #

Constructors

Aggregated
Fields aggTS :: Double Timestamp for this aggregation aggName :: MetricName Name of the metric aggPayload :: AggPayload Calculated stats for the metric aggDimensions :: Dimensions

Instances

Instances details

Generic Aggregated Source #
Instance details Defined in Instrument.Types Associated Types type Rep Aggregated :: Type -> Type # Methods from :: Aggregated -> Rep Aggregated x # to :: Rep Aggregated x -> Aggregated #
Show Aggregated Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> Aggregated -> ShowS # show :: Aggregated -> String # showList :: [Aggregated] -> ShowS #
Serialize Aggregated Source #
Instance details Defined in Instrument.Types Methods put :: Putter Aggregated # get :: Get Aggregated #
Default Aggregated Source #
Instance details Defined in Instrument.Types Methods def :: Aggregated #
Eq Aggregated Source #
Instance details Defined in Instrument.Types Methods (==) :: Aggregated -> Aggregated -> Bool # (/=) :: Aggregated -> Aggregated -> Bool #
Migrate Aggregated Source #
Instance details Defined in Instrument.Types Associated Types type MigrateFrom Aggregated # Methods migrate :: MigrateFrom Aggregated -> Aggregated #
SafeCopy Aggregated Source #
Instance details Defined in Instrument.Types Methods version :: Version Aggregated # kind :: Kind Aggregated # getCopy :: Contained (Get Aggregated) # putCopy :: Aggregated -> Contained Put # internalConsistency :: Consistency Aggregated # objectProfile :: Profile Aggregated # errorTypeName :: Proxy Aggregated -> String #
type Rep Aggregated Source #
Instance details Defined in Instrument.Types type Rep Aggregated = D1 ('MetaData "Aggregated" "Instrument.Types" "instrument-0.6.1.0-6Lbe4kLcaNb1isRA7npnNm" 'False) (C1 ('MetaCons "Aggregated" 'PrefixI 'True) ((S1 ('MetaSel ('Just "aggTS") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "aggName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetricName)) :: (S1 ('MetaSel ('Just "aggPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AggPayload) :*: S1 ('MetaSel ('Just "aggDimensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dimensions))))
type MigrateFrom Aggregated Source #
Instance details Defined in Instrument.Types type MigrateFrom Aggregated

data AggPayload Source #

Constructors

AggStats Stats
AggCount Integer

Instances

Instances details

Generic AggPayload Source #
Instance details Defined in Instrument.Types Associated Types type Rep AggPayload :: Type -> Type # Methods from :: AggPayload -> Rep AggPayload x # to :: Rep AggPayload x -> AggPayload #
Show AggPayload Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> AggPayload -> ShowS # show :: AggPayload -> String # showList :: [AggPayload] -> ShowS #
Serialize AggPayload Source #
Instance details Defined in Instrument.Types Methods put :: Putter AggPayload # get :: Get AggPayload #
Default AggPayload Source #
Instance details Defined in Instrument.Types Methods def :: AggPayload #
Eq AggPayload Source #
Instance details Defined in Instrument.Types Methods (==) :: AggPayload -> AggPayload -> Bool # (/=) :: AggPayload -> AggPayload -> Bool #
Migrate AggPayload Source #
Instance details Defined in Instrument.Types Associated Types type MigrateFrom AggPayload # Methods migrate :: MigrateFrom AggPayload -> AggPayload #
SafeCopy AggPayload Source #
Instance details Defined in Instrument.Types Methods version :: Version AggPayload # kind :: Kind AggPayload # getCopy :: Contained (Get AggPayload) # putCopy :: AggPayload -> Contained Put # internalConsistency :: Consistency AggPayload # objectProfile :: Profile AggPayload # errorTypeName :: Proxy AggPayload -> String #
type Rep AggPayload Source #
Instance details Defined in Instrument.Types type Rep AggPayload = D1 ('MetaData "AggPayload" "Instrument.Types" "instrument-0.6.1.0-6Lbe4kLcaNb1isRA7npnNm" 'False) (C1 ('MetaCons "AggStats" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Stats)) :+: C1 ('MetaCons "AggCount" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
type MigrateFrom AggPayload Source #
Instance details Defined in Instrument.Types type MigrateFrom AggPayload

data Stats Source #

Constructors

Stats
Fields smean :: Double ssum :: Double scount :: Int smax :: Double smin :: Double srange :: Double sstdev :: Double sskewness :: Double skurtosis :: Double squantiles :: Map Int Double

Instances

Instances details

Generic Stats Source #
Instance details Defined in Instrument.Types Associated Types type Rep Stats :: Type -> Type # Methods from :: Stats -> Rep Stats x # to :: Rep Stats x -> Stats #
Show Stats Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> Stats -> ShowS # show :: Stats -> String # showList :: [Stats] -> ShowS #
Serialize Stats Source #
Instance details Defined in Instrument.Types Methods put :: Putter Stats # get :: Get Stats #
Default Stats Source #
Instance details Defined in Instrument.Types Methods def :: Stats #
Eq Stats Source #
Instance details Defined in Instrument.Types Methods (==) :: Stats -> Stats -> Bool # (/=) :: Stats -> Stats -> Bool #
SafeCopy Stats Source #
Instance details Defined in Instrument.Types Methods version :: Version Stats # kind :: Kind Stats # getCopy :: Contained (Get Stats) # putCopy :: Stats -> Contained Put # internalConsistency :: Consistency Stats # objectProfile :: Profile Stats # errorTypeName :: Proxy Stats -> String #
type Rep Stats Source #
Instance details Defined in Instrument.Types type Rep Stats = D1 ('MetaData "Stats" "Instrument.Types" "instrument-0.6.1.0-6Lbe4kLcaNb1isRA7npnNm" 'False) (C1 ('MetaCons "Stats" 'PrefixI 'True) (((S1 ('MetaSel ('Just "smean") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "ssum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :: (S1 ('MetaSel ('Just "scount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "smax") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "smin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))) :: ((S1 ('MetaSel ('Just "srange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "sstdev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :: (S1 ('MetaSel ('Just "sskewness") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: (S1 ('MetaSel ('Just "skurtosis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :*: S1 ('MetaSel ('Just "squantiles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Int Double)))))))

hostDimension :: DimensionName Source #

Convention for the dimension of the hostname. Used in the client to inject hostname into the parameters map

data HostDimensionPolicy Source #

Should we automatically pull the host and add it as a dimension. Used at the call site of the various metrics (timeI, sampleI, etc). Hosts are basically grandfathered in as a dimension and the functionality of automatically injecting them is useful, but it is not relevant to some metrics and actually makes some metrics difficult to use depending on the backend, so we made them opt-in.

Constructors

AddHostDimension
DoNotAddHostDimension

Instances

Instances details

Show HostDimensionPolicy Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> HostDimensionPolicy -> ShowS # show :: HostDimensionPolicy -> String # showList :: [HostDimensionPolicy] -> ShowS #
Eq HostDimensionPolicy Source #
Instance details Defined in Instrument.Types Methods (==) :: HostDimensionPolicy -> HostDimensionPolicy -> Bool # (/=) :: HostDimensionPolicy -> HostDimensionPolicy -> Bool #

newtype Quantile Source #

Integer quantile, valid values range from 1-99, inclusive.

Constructors

Q
Fields quantile :: Int

Instances

Instances details

Bounded Quantile Source #
Instance details Defined in Instrument.Types Methods minBound :: Quantile # maxBound :: Quantile #
Show Quantile Source #
Instance details Defined in Instrument.Types Methods showsPrec :: Int -> Quantile -> ShowS # show :: Quantile -> String # showList :: [Quantile] -> ShowS #
Eq Quantile Source #
Instance details Defined in Instrument.Types Methods (==) :: Quantile -> Quantile -> Bool # (/=) :: Quantile -> Quantile -> Bool #
Ord Quantile Source #
Instance details Defined in Instrument.Types Methods compare :: Quantile -> Quantile -> Ordering # (<) :: Quantile -> Quantile -> Bool # (<=) :: Quantile -> Quantile -> Bool # (>) :: Quantile -> Quantile -> Bool # (>=) :: Quantile -> Quantile -> Bool # max :: Quantile -> Quantile -> Quantile # min :: Quantile -> Quantile -> Quantile #