Top-1.7: Constraint solving framework employed by the Helium Compiler.

Safe HaskellSafe-Infered

Top.Monad.StateFix

Description

 

Documentation

type StateFix s = StateFixT s IdentitySource

data StateFixT s m a Source

Constructors

Fix 

Fields

unFix :: StateT (s (StateFixT s m)) m a
 

Instances

MonadWriter w m => MonadWriter w (StateFixT s m) 
MonadTrans (StateFixT s) 
Monad m => MonadState (s (StateFixT s m)) (StateFixT s m) 
Monad m => Monad (StateFixT s m) 
(Monad m, Embedded ClassBasic (s (StateFixT s m)) (t (StateFixT s m)), HasBasic (SelectFix t (StateFixT s m)) info) => HasBasic (StateFixT s m) info 
(Monad m, Embedded ClassSubst (s (StateFixT s m)) t, HasSubst (Select t (StateFixT s m)) info) => HasSubst (StateFixT s m) info 
(Monad m, Embedded ClassQual (s (StateFixT s m)) t, HasQual (Select t (StateFixT s m)) info) => HasQual (StateFixT s m) info 
(Monad m, Embedded ClassTI (s (StateFixT s m)) t, HasTI (Select t (StateFixT s m)) info) => HasTI (StateFixT s m) info 
(Monad m, Embedded ClassSubst (s (StateFixT s m)) t, HasTG (Select t (StateFixT s m)) info) => HasTG (StateFixT s m) info 

runStateFixT :: StateFixT s m a -> s (StateFixT s m) -> m (a, s (StateFixT s m))Source

evalStateFixT :: Monad m => StateFixT s m a -> s (StateFixT s m) -> m aSource

execStateFixT :: Monad m => StateFixT s m a -> s (StateFixT s m) -> m (s (StateFixT s m))Source

runStateFix :: StateFix s a -> s (StateFix s) -> (a, s (StateFix s))Source

evalStateFix :: StateFix s a -> s (StateFix s) -> aSource

execStateFix :: StateFix s a -> s (StateFix s) -> s (StateFix s)Source

module Control.Monad.State