Control.Monad.Takahashi.Util

Documentation

stateSandbox :: MonadState s m => m a -> m a

sub :: Eq a => [a] -> [a] -> [a] -> [a]

interpret :: forall instr m b. Monad m => (forall a. instr a -> m a) -> Skeleton instr b -> m b