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 :: Type -> Type

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.1-Beplx26z56T4L9Xk4hGWqW" 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

Instances

Generic Counters

Defined in Arbor.Monad.Counter.Type

Associated Types

type Rep Counters :: Type -> Type

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.1-Beplx26z56T4L9Xk4hGWqW" False) (C1 (MetaCons "Counters" PrefixI True) (S1 (MetaSel (Just "current") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CountersMap) :*: S1 (MetaSel (Just "previous") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CountersMap)))

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

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