Jikka.Common.Alpha

Description

Alpha provides a monad to run alpha-conversion. This monad has only a feature to make unique numbers.

Documentation

Methods

Instances details

Monad m => MonadAlpha (AlphaT m) Source #
Instance details Defined in Jikka.Common.Alpha Methods nextCounter :: AlphaT m Int Source #
MonadAlpha m => MonadAlpha (ExceptT e m) Source #
Instance details Defined in Jikka.Common.Alpha Methods nextCounter :: ExceptT e m Int Source #
MonadAlpha m => MonadAlpha (ReaderT r m) Source #
Instance details Defined in Jikka.Common.Alpha Methods nextCounter :: ReaderT r m Int Source #
MonadAlpha m => MonadAlpha (StateT s m) Source #
Instance details Defined in Jikka.Common.Alpha Methods nextCounter :: StateT s m Int Source #
(MonadAlpha m, Monoid w) => MonadAlpha (WriterT w m) Source #
Instance details Defined in Jikka.Common.Alpha Methods nextCounter :: WriterT w m Int Source #

newtype AlphaT m a Source #

Constructors

AlphaT
Fields runAlphaT :: Int -> m (a, Int)

Instances details

MonadTrans AlphaT Source #
Instance details Defined in Jikka.Common.Alpha Methods lift :: Monad m => m a -> AlphaT m a #
MonadError e m => MonadError e (AlphaT m) Source #
Instance details Defined in Jikka.Common.Alpha Methods throwError :: e -> AlphaT m a # catchError :: AlphaT m a -> (e -> AlphaT m a) -> AlphaT m a #
Monad m => Monad (AlphaT m) Source #
Instance details Defined in Jikka.Common.Alpha Methods (>>=) :: AlphaT m a -> (a -> AlphaT m b) -> AlphaT m b # (>>) :: AlphaT m a -> AlphaT m b -> AlphaT m b # return :: a -> AlphaT m a #
Functor m => Functor (AlphaT m) Source #
Instance details Defined in Jikka.Common.Alpha Methods fmap :: (a -> b) -> AlphaT m a -> AlphaT m b # (<$) :: a -> AlphaT m b -> AlphaT m a #
MonadFix m => MonadFix (AlphaT m) Source #
Instance details Defined in Jikka.Common.Alpha Methods mfix :: (a -> AlphaT m a) -> AlphaT m a #
Monad m => Applicative (AlphaT m) Source #
Instance details Defined in Jikka.Common.Alpha Methods pure :: a -> AlphaT m a # (<>) :: AlphaT m (a -> b) -> AlphaT m a -> AlphaT m b # liftA2 :: (a -> b -> c) -> AlphaT m a -> AlphaT m b -> AlphaT m c # (>) :: AlphaT m a -> AlphaT m b -> AlphaT m b # (<*) :: AlphaT m a -> AlphaT m b -> AlphaT m a #
MonadIO m => MonadIO (AlphaT m) Source #
Instance details Defined in Jikka.Common.Alpha Methods liftIO :: IO a -> AlphaT m a #
Monad m => MonadAlpha (AlphaT m) Source #
Instance details Defined in Jikka.Common.Alpha Methods nextCounter :: AlphaT m Int Source #