monadiccp-0.7.7: Constraint Programming
Control.Search.SStateT
data SStateT s m a Source #
Instances
Methods
mfix :: (a -> SStateT s m a) -> SStateT s m a #
sstateT :: (s -> m (Tup2 a s)) -> SStateT s m a Source #
runSStateT :: s -> SStateT s m a -> m (Tup2 a s) Source #
data Tup2 a b Source #
Constructors
snd2 :: Tup2 a b -> b Source #
fst2 :: Tup2 a b -> a Source #