| Copyright | (c) Galois Inc 2014-2020 |
|---|---|
| License | BSD3 |
| Maintainer | Joe Hendrix <jhendrix@galois.com> |
| Stability | provisional |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
What4.Utils.MonadST
Description
This module defines the MonadST class, which contains the ST and IO monads and a small collection of moand transformers over them.
Documentation
class Monad m => MonadST s m | m -> s where Source #
Instances
| MonadST RealWorld IO Source # | |
| MonadST s (ST s) Source # | |
| MonadST s m => MonadST s (ReaderT r m) Source # | |
Defined in What4.Utils.MonadST | |
| MonadST s m => MonadST s (StateT u m) Source # | |
Defined in What4.Utils.MonadST | |
| MonadST s m => MonadST s (StateT u m) Source # | |
Defined in What4.Utils.MonadST | |
| (MonadST s m, Monoid w) => MonadST s (WriterT w m) Source # | |
Defined in What4.Utils.MonadST | |
| (MonadST s m, Monoid w) => MonadST s (WriterT w m) Source # | |
Defined in What4.Utils.MonadST | |
| MonadST s (VarRecorder s t) Source # | |
Defined in What4.Expr.VarIdentification Methods liftST :: ST s a -> VarRecorder s t a Source # | |
| MonadST s m => MonadST s (ContT r m) Source # | |
Defined in What4.Utils.MonadST | |
Instances
| MonadST s (ST s) Source # | |
| MonadFix (ST s) | |
Defined in Control.Monad.Fix | |
| Applicative (ST s) | |
| Functor (ST s) | |
| Monad (ST s) | |
| MonadThrow (ST s) | |
Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> ST s a | |
| PrimBase (ST s) | |
Defined in Control.Monad.Primitive | |
| PrimMonad (ST s) | |
| RandomGen g => FrozenGen (STGen g) (ST s) | |
| Monoid a => Monoid (ST s a) | |
| Semigroup a => Semigroup (ST s a) | |
| Show (ST s a) | |
| RandomGen r => RandomGenM (STGenM r s) r (ST s) | |
Defined in System.Random.Stateful Methods applyRandomGenM :: (r -> (a, r)) -> STGenM r s -> ST s a | |
| RandomGen g => StatefulGen (STGenM g s) (ST s) | |
Defined in System.Random.Stateful Methods uniformWord32R :: Word32 -> STGenM g s -> ST s Word32 uniformWord64R :: Word64 -> STGenM g s -> ST s Word64 uniformWord8 :: STGenM g s -> ST s Word8 uniformWord16 :: STGenM g s -> ST s Word16 uniformWord32 :: STGenM g s -> ST s Word32 uniformWord64 :: STGenM g s -> ST s Word64 uniformShortByteString :: Int -> STGenM g s -> ST s ShortByteString | |
| type PrimState (ST s) | |
Defined in Control.Monad.Primitive type PrimState (ST s) = s | |
| type MutableGen (STGen g) (ST s) | |
Defined in System.Random.Stateful type MutableGen (STGen g) (ST s) = STGenM g s | |