System.Metrics.Monad

Documentation

class MonadIO m => MonadMetrics m where

Methods

getTracker :: (TrackerLike tracker, KnownSymbol name, Typeable metric, Ord (metric tracker name)) => metric tracker name -> m tracker

Instances

MonadIO m => MonadMetrics (MetricsT m)

Defined in System.Metrics.Monad

Methods

getTracker :: forall tracker (name :: Symbol) metric. (TrackerLike tracker, KnownSymbol name, Typeable metric, Ord (metric tracker name)) => metric tracker name -> MetricsT m tracker

data MetricsT (m :: k -> *) (a :: k)

Instances

MonadReader r m => MonadReader r (MetricsT m)

Defined in System.Metrics.Monad

Methods

ask :: MetricsT m r

local :: (r -> r) -> MetricsT m a -> MetricsT m a

reader :: (r -> a) -> MetricsT m a

MonadTrans (MetricsT :: (Type -> Type) -> Type -> Type)

Defined in System.Metrics.Monad

Methods

lift :: Monad m => m a -> MetricsT m a

Monad m => Monad (MetricsT m)

Defined in System.Metrics.Monad

Methods

(>>=) :: MetricsT m a -> (a -> MetricsT m b) -> MetricsT m b

(>>) :: MetricsT m a -> MetricsT m b -> MetricsT m b

return :: a -> MetricsT m a

Functor m => Functor (MetricsT m)

Defined in System.Metrics.Monad

Methods

fmap :: (a -> b) -> MetricsT m a -> MetricsT m b

(<$) :: a -> MetricsT m b -> MetricsT m a

Applicative m => Applicative (MetricsT m)

Defined in System.Metrics.Monad

Methods

pure :: a -> MetricsT m a

(<*>) :: MetricsT m (a -> b) -> MetricsT m a -> MetricsT m b

liftA2 :: (a -> b -> c) -> MetricsT m a -> MetricsT m b -> MetricsT m c

(*>) :: MetricsT m a -> MetricsT m b -> MetricsT m b

(<*) :: MetricsT m a -> MetricsT m b -> MetricsT m a

MonadIO m => MonadIO (MetricsT m)

Defined in System.Metrics.Monad

Methods

liftIO :: IO a -> MetricsT m a

MonadThrow m => MonadThrow (MetricsT m)

Defined in System.Metrics.Monad

Methods

throwM :: Exception e => e -> MetricsT m a

MonadCatch m => MonadCatch (MetricsT m)

Defined in System.Metrics.Monad

Methods

catch :: Exception e => MetricsT m a -> (e -> MetricsT m a) -> MetricsT m a

MonadIO m => MonadMetrics (MetricsT m)

Defined in System.Metrics.Monad

Methods

getTracker :: forall tracker (name :: Symbol) metric. (TrackerLike tracker, KnownSymbol name, Typeable metric, Ord (metric tracker name)) => metric tracker name -> MetricsT m tracker

runMetricsT :: MetricsT m a -> MetricsStore -> m a

type Metrics = MetricsT IO