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

Methods

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

Monad m => Monad (CounterT m)

Methods

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

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

return :: a -> CounterT m a

fail :: String -> CounterT m a

Functor m => Functor (CounterT m)

Methods

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

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

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

Methods

pure :: a -> CounterT m a

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

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

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

Monad m => ChCounter (CounterT m)

Methods

countOn :: CounterT m Int

class Monad m => ChCounter m where

Typeclass for all counter monads.

Minimal complete definition

countOn

Methods

countOn :: m Int

Tell the current number and increment it

Instances

Monad m => ChCounter (CounterT m)

Methods

countOn :: CounterT m Int

ChCounter m => ChCounter (AtomStoreT m)

Methods

countOn :: AtomStoreT m Int

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

Run the given function inside a counter