Documentation

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

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

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