Ribosome.Control.Ribosome

Documentation

data Ribosome e

Constructors

Ribosome

Fields

• name :: String
• internal :: TVar RibosomeInternal
• env :: e

newRibosome :: MonadIO m => String -> e -> m (Ribosome (TVar e))

newtype RibosomeInternal

Constructors

RibosomeInternal

Fields

• locks :: Locks

_internal :: HasRibosome c e => Lens' c (TVar RibosomeInternal)

_locks :: HasRibosomeInternal c => Lens' c Locks

type Locks = Map String (TMVar ())

newInternalTVar :: MonadIO m => m (TVar RibosomeInternal)