Documentation

data SStateT s m a Source

sstateT :: (s -> m (Tup2 a s)) -> SStateT s m aSource

runSStateT :: s -> SStateT s m a -> m (Tup2 a s)Source

data Tup2 a b Source

snd2 :: Tup2 t t1 -> t1Source

fst2 :: Tup2 t t1 -> tSource