hexpr-0.0.0.0: A framework for symbolic, homoiconic languages.
Control.Monad.Stack
type Stack s = StackT s IdentitySource
runStack :: Stack s a -> aSource
data StackT s m a Source
Instances
runStackT :: Monad m => StackT s m a -> m aSource
peek :: Monad m => StackT s m (Maybe s)Source
pop :: Monad m => StackT s m (Maybe s)Source
push :: Monad m => s -> StackT s m ()Source
peeks :: Monad m => (s -> a) -> StackT s m (Maybe a)Source
testTop :: Monad m => (s -> Bool) -> StackT s m BoolSource