arbor-monad-counter-2.0.0

Safe HaskellNone
LanguageHaskell2010

Arbor.Monad.Counter.Type

Documentation

type CounterKey = String Source #

newtype CounterValue Source #

Constructors

CounterValue 

Fields

Instances
Generic CounterValue Source # 
Instance details

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 Source # 
Instance details

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

data Counters Source #

Constructors

Counters 

Fields

Instances
Generic Counters Source # 
Instance details

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 Source # 
Instance details

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

Minimal complete definition

getCounters

Methods

getCounters :: m Counters Source #

Instances
MonadCounters m => MonadCounters (MaybeT m) Source # 
Instance details

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: MaybeT m Counters Source #

MonadCounters m => MonadCounters (ResourceT m) Source # 
Instance details

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: ResourceT m Counters Source #

MonadCounters m => MonadCounters (IdentityT m) Source # 
Instance details

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: IdentityT m Counters Source #

MonadCounters m => MonadCounters (ExceptT e m) Source # 
Instance details

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: ExceptT e m Counters Source #

MonadCounters m => MonadCounters (StateT s m) Source # 
Instance details

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: StateT s m Counters Source #

MonadCounters m => MonadCounters (ReaderT e m) Source # 
Instance details

Defined in Arbor.Monad.Counter.Type

Methods

getCounters :: ReaderT e m Counters Source #