hexpr-0.0.0.0: A framework for symbolic, homoiconic languages.

Safe HaskellSafe-Inferred

Control.Monad.Stack

Documentation

type Stack s = StackT s IdentitySource

runStack :: Stack s a -> aSource

data StackT s m a Source

Instances

MonadTrans (StackT s) 
Monad m => Monad (StackT s m) 
Monad m => Functor (StackT s m) 
Monad m => Applicative (StackT s m) 
MonadIO m => MonadIO (StackT s m) 

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