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 :: Type -> Type) | 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) | |||||
Defined in Control.Monad.Primitive Associated Types
| |||||
RandomGen g => FrozenGen (STGen g) (ST s) | |||||
Defined in System.Random.Stateful Associated Types
| |||||
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 |