Control.Monad.Butai

Documentation

data ButaiT m a

Instances

MonadTrans ButaiT

MonadState s m => MonadState s (ButaiT m)

Monad m => Monad (ButaiT m)

Monad m => Functor (ButaiT m)

Monad m => Applicative (ButaiT m)

MonadIO m => MonadIO (ButaiT m)

register :: forall m v0 r. (:!) (ButaiBase v0) m => Karakuri v0 r -> m (Key r)

look :: forall m v0 v1. (:!) (ButaiBase v0) m => Key v1 -> m v1

updateAll :: forall m v0. (:!) (ButaiBase v0) m => m ()

newtype Key a

Constructors

Kao Int

transButaiT :: (Monad m, Monad n) => (forall x. m x -> n x) -> ButaiT m a -> ButaiT n a

runButaiT :: forall m a. Monad m => ButaiT m a -> m a