Data.Chatty.Counter

Provides a counter monad.

Documentation

newtype CounterT m a

A counter monad.

Constructors

Counter

Fields

runCounterT :: Int -> m (a, Int)

Instances

MonadTrans CounterT

Monad m => Monad (CounterT m)

Functor m => Functor (CounterT m)

(Functor m, Monad m) => Applicative (CounterT m)

Monad m => ChCounter (CounterT m)

class Monad m => ChCounter m where

Typeclass for all counter monads.

Methods

countOn :: m Int

Tell the current number and increment it

Instances

Monad m => ChCounter (CounterT m)

ChCounter m => ChCounter (AtomStoreT m)

withCounter :: (Monad m, Functor m) => CounterT m a -> m a

Run the given function inside a counter