monadiccp-0.7.7: Constraint Programming

Safe HaskellSafe
LanguageHaskell98

Control.Search.SStateT

Documentation

data SStateT s m a Source #

Instances

MonadFix m => MonadFix (SStateT s m) Source # 

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

Tup2 a !b 

snd2 :: Tup2 a b -> b Source #

fst2 :: Tup2 a b -> a Source #