Arbor.Monad.Counter.Type

Documentation

type CounterKey = String

newtype CounterValue

Constructors

CounterValue

Fields

• var :: TVar Int

Instances

Generic CounterValue

Defined in Arbor.Monad.Counter.Type

Associated Types

type Rep CounterValue :: * -> *

Methods

from :: CounterValue -> Rep CounterValue x

to :: Rep CounterValue x -> CounterValue

type Rep CounterValue

Defined in Arbor.Monad.Counter.Type

type Rep CounterValue = D1 (MetaData "CounterValue" "Arbor.Monad.Counter.Type" "arbor-monad-counter-2.0.0-HKJ9Ts9HkU0KXouov1vWpx" True) (C1 (MetaCons "CounterValue" PrefixI True) (S1 (MetaSel (Just "var") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TVar Int))))

type CountersMap = Map CounterKey CounterValue

data Counters

Constructors

Counters

Fields

• current :: CountersMap
• previous :: CountersMap
• total :: CountersMap

Instances

Generic Counters

Defined in Arbor.Monad.Counter.Type

Associated Types

type Rep Counters :: * -> *

Methods

from :: Counters -> Rep Counters x

to :: Rep Counters x -> Counters

type Rep Counters

Defined in Arbor.Monad.Counter.Type

type Rep Counters = D1 (MetaData "Counters" "Arbor.Monad.Counter.Type" "arbor-monad-counter-2.0.0-HKJ9Ts9HkU0KXouov1vWpx" False) (C1 (MetaCons "Counters" PrefixI True) (S1 (MetaSel (Just "current") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CountersMap) :*: (S1 (MetaSel (Just "previous") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CountersMap) :*: S1 (MetaSel (Just "total") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CountersMap))))

class (Monad m, MonadIO m) => MonadCounters m where

Minimal complete definition

getCounters

Methods

getCounters :: m Counters

Instances

MonadCounters m => MonadCounters (MaybeT m)

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: MaybeT m Counters

MonadCounters m => MonadCounters (ResourceT m)

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: ResourceT m Counters

MonadCounters m => MonadCounters (IdentityT m)

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: IdentityT m Counters

MonadCounters m => MonadCounters (ExceptT e m)

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: ExceptT e m Counters

MonadCounters m => MonadCounters (StateT s m)

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: StateT s m Counters

MonadCounters m => MonadCounters (ReaderT e m)

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: ReaderT e m Counters