Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
This module contains a small wrapper around Data.Dynamic.
Synopsis
- data Dynamics
- newDynamics :: STM Dynamics
- addDynamic :: Typeable a => Dynamics -> DynamicsAddr -> a -> STM ()
- delDynamic :: Dynamics -> DynamicsAddr -> STM ()
- withDynamic :: (MonadUnliftIO m, Typeable a) => Dynamics -> DynamicsAddr -> a -> m b -> m b
- lookupDynamic :: Typeable a => Dynamics -> DynamicsAddr -> STM (Maybe a)
- waitDynamic :: (MonadIO m, Typeable a) => Milli -> Dynamics -> DynamicsAddr -> m (WaitResult a)
Documentation
newDynamics :: STM Dynamics #
addDynamic :: Typeable a => Dynamics -> DynamicsAddr -> a -> STM () #
delDynamic :: Dynamics -> DynamicsAddr -> STM () #
withDynamic :: (MonadUnliftIO m, Typeable a) => Dynamics -> DynamicsAddr -> a -> m b -> m b #
Wrap add/del around the action.
waitDynamic :: (MonadIO m, Typeable a) => Milli -> Dynamics -> DynamicsAddr -> m (WaitResult a) #