strict-stm: added castStrict{TQueue,TBQueue,TChan}

castStrictTArray is not possible with ghc

Author: coot

strict-stm/src/Control/Concurrent/Class/MonadSTM/Strict/TBQueue.hs

@@ -11,6 +11,7 @@ module Control.Concurrent.Class.MonadSTM.Strict.TBQueue
   , LazyTBQueue
   , toLazyTBQueue
   , fromLazyTBQueue
+  , castStrictTBQueue
   , newTBQueue
   , newTBQueueIO
   , readTBQueue
@@ -45,6 +46,10 @@ newtype StrictTBQueue m a = StrictTBQueue { toLazyTBQueue :: LazyTBQueue m a }
 fromLazyTBQueue :: LazyTBQueue m a -> StrictTBQueue m a
 fromLazyTBQueue = StrictTBQueue
 
+castStrictTBQueue :: LazyTBQueue m ~ LazyTBQueue n
+                  => StrictTBQueue m a -> StrictTBQueue n a
+castStrictTBQueue (StrictTBQueue var) = StrictTBQueue var
+
 labelTBQueue :: MonadLabelledSTM m => StrictTBQueue m a -> String -> STM m ()
 labelTBQueue (StrictTBQueue queue) = Lazy.labelTBQueue queue
 

strict-stm/src/Control/Concurrent/Class/MonadSTM/Strict/TChan.hs

@@ -11,6 +11,7 @@ module Control.Concurrent.Class.MonadSTM.Strict.TChan
   , LazyTChan
   , toLazyTChan
   , fromLazyTChan
+  , castStrictTChan
   , newTChan
   , newBroadcastTChan
   , writeTChan
@@ -36,6 +37,10 @@ newtype StrictTChan m a = StrictTChan { toLazyTChan :: LazyTChan m a }
 fromLazyTChan :: LazyTChan m a -> StrictTChan m a
 fromLazyTChan = StrictTChan
 
+castStrictTChan :: LazyTChan m ~ LazyTChan n
+                => StrictTChan m a -> StrictTChan n a
+castStrictTChan (StrictTChan var) = StrictTChan var
+
 newTChan :: MonadSTM m => STM m (StrictTChan m a)
 newTChan = StrictTChan <$> Lazy.newTChan
 

strict-stm/src/Control/Concurrent/Class/MonadSTM/Strict/TQueue.hs

@@ -12,6 +12,7 @@ module Control.Concurrent.Class.MonadSTM.Strict.TQueue
   , LazyTQueue
   , toLazyTQueue
   , fromLazyTQueue
+  , castStrictTQueue
   , newTQueue
   , newTQueueIO
   , readTQueue
@@ -42,6 +43,10 @@ newtype StrictTQueue m a = StrictTQueue { toLazyTQueue :: LazyTQueue m a }
 fromLazyTQueue :: LazyTQueue m a -> StrictTQueue m a
 fromLazyTQueue = StrictTQueue
 
+castStrictTQueue :: LazyTQueue m ~ LazyTQueue n
+                 => StrictTQueue m a -> StrictTQueue n a
+castStrictTQueue (StrictTQueue var) = StrictTQueue var
+
 labelTQueue :: MonadLabelledSTM m => StrictTQueue m a -> String -> STM m ()
 labelTQueue (StrictTQueue queue) = Lazy.labelTQueue queue