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 | |
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 |