Jikka.Common.Alpha

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

Documentation

class Monad m => MonadAlpha m where

Methods

nextCounter :: m Int

Instances

MonadAlpha IO

Defined in Jikka.Common.Alpha

Methods

nextCounter :: IO Int

MonadAlpha Q

Defined in Jikka.Common.Alpha

Methods

nextCounter :: Q Int

Monad m => MonadAlpha (AlphaT m)

Defined in Jikka.Common.Alpha

Methods

nextCounter :: AlphaT m Int

MonadAlpha m => MonadAlpha (ExceptT e m)

Defined in Jikka.Common.Alpha

Methods

nextCounter :: ExceptT e m Int

MonadAlpha m => MonadAlpha (ReaderT r m)

Defined in Jikka.Common.Alpha

Methods

nextCounter :: ReaderT r m Int

MonadAlpha m => MonadAlpha (StateT s m)

Defined in Jikka.Common.Alpha

Methods

nextCounter :: StateT s m Int

(MonadAlpha m, Monoid w) => MonadAlpha (WriterT w m)

Defined in Jikka.Common.Alpha

Methods

nextCounter :: WriterT w m Int

newtype AlphaT m a

Constructors

AlphaT

Fields

• runAlphaT :: Int -> m (a, Int)

Instances

MonadTrans AlphaT

Defined in Jikka.Common.Alpha

Methods

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

MonadError e m => MonadError e (AlphaT m)

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)

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)

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)

Defined in Jikka.Common.Alpha

Methods

mfix :: (a -> AlphaT m a) -> AlphaT m a

Monad m => Applicative (AlphaT m)

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)

Defined in Jikka.Common.Alpha

Methods

liftIO :: IO a -> AlphaT m a

Monad m => MonadAlpha (AlphaT m)

Defined in Jikka.Common.Alpha

Methods

nextCounter :: AlphaT m Int

liftCatch :: Catch e m (a, Int) -> Catch e (AlphaT m) a

evalAlphaT :: Functor m => AlphaT m a -> Int -> m a

evalAlpha :: AlphaT Identity a -> Int -> a

resetAlphaT :: Monad m => Int -> AlphaT m ()