From: PHO <pho@cielonegro.org>
Date: Sat, 1 Jan 2011 07:45:33 +0000 (+0900)
Subject: Give up using type families for stream muxing
X-Git-Tag: RELEASE-0.1~13
X-Git-Url: http://git.cielonegro.org/gitweb.cgi?p=EsounD.git;a=commitdiff_plain;h=bb3dbc2442352e09bafe4415d3784f7f61230b17

Give up using type families for stream muxing
---

diff --git a/Sound/EsounD/Internals.hs b/Sound/EsounD/Internals.hs
index 4c45036..ef8c659 100644
--- a/Sound/EsounD/Internals.hs
+++ b/Sound/EsounD/Internals.hs
@@ -2,7 +2,6 @@
     EmptyDataDecls
   , FlexibleInstances
   , MultiParamTypeClasses
-  , TypeFamilies
   , UnicodeSyntax
   #-}
 module Sound.EsounD.Internals
@@ -11,8 +10,7 @@ module Sound.EsounD.Internals
     , Channels(..)
     , Mono
     , Stereo
-
-    , Mux(..)
+    , interleave
 
     , wrapSocket
     , closeSocket
@@ -42,37 +40,26 @@ instance Frame Int16 where
 class Channels ch where
     channelFmt ∷ ch → C'esd_format_t
 
-class (Frame fr, Channels ch) ⇒ Mux (vec ∷ ★ → ★) fr ch where
-    type DemuxedVec vec fr ch
-    mux ∷ DemuxedVec vec fr ch → vec fr
-
 -- Mono
 data Mono
 
 instance Channels Mono where
     channelFmt _ = c'ESD_MONO
 
-instance Frame fr ⇒ Mux vec fr Mono where
-    type DemuxedVec vec fr Mono = vec fr
-    mux = id
-
 -- Stereo
 data Stereo
 
 instance Channels Stereo where
     channelFmt _ = c'ESD_STEREO
 
-instance Frame fr ⇒ Mux L.Vector fr Stereo where
-    type DemuxedVec L.Vector fr Stereo = (L.Vector fr, L.Vector fr)
-    mux (left, right) = loop left right
-        where
-          -- THINKME: consider using storablevector-streamfusion
-          loop l r
-              = let Just (lFr, l') = L.viewL l
-                    Just (rFr, r') = L.viewL r
-                    lr' = loop l' r'
-                in
-                  L.cons lFr (L.cons rFr lr')
+interleave ∷ Frame fr ⇒ L.Vector fr → L.Vector fr → L.Vector fr
+interleave l r
+    -- THINKME: consider using storablevector-streamfusion
+    = let Just (lFr, l') = L.viewL l
+          Just (rFr, r') = L.viewL r
+          lr' = interleave l' r'
+      in
+        L.cons lFr (L.cons rFr lr')
 
 -- Utility functions
 wrapSocket ∷ String → CInt → IO Handle
diff --git a/Sound/EsounD/Player.hs b/Sound/EsounD/Player.hs
index 7691672..cfb4e31 100644
--- a/Sound/EsounD/Player.hs
+++ b/Sound/EsounD/Player.hs
@@ -5,7 +5,6 @@
   , MultiParamTypeClasses
   , UnicodeSyntax
   , ScopedTypeVariables
-  , TypeFamilies
   #-}
 -- | EsounD player streams.
 module Sound.EsounD.Player
@@ -44,9 +43,13 @@ instance Dup (Player fr ch) where
     dup pl = do ch' ← dup (plCloseH pl)
                 return pl { plCloseH = ch' }
 
-instance (Mux L.Vector fr ch, dvec ~ DemuxedVec L.Vector fr ch) ⇒ Writable (Player fr ch) dvec where
-      write pl dvec
-          = liftIO $ sanitizeIOError $ L.hPut (plHandle pl) (mux dvec)
+instance Frame fr ⇒ Writable (Player fr Mono) (L.Vector fr) where 
+    write pl v
+        = liftIO $ sanitizeIOError $ L.hPut (plHandle pl) v
+
+instance Frame fr ⇒ Writable (Player fr Stereo) (L.Vector fr, L.Vector fr) where
+    write pl (l, r)
+        = liftIO $ sanitizeIOError $ L.hPut (plHandle pl) (interleave l r)
 
 -- | Open an ESD handle for playing a stream.
 openPlayer ∷ ∀fr ch s pr.
diff --git a/Sound/EsounD/Streams.hs b/Sound/EsounD/Streams.hs
index b379afb..4f0a100 100644
--- a/Sound/EsounD/Streams.hs
+++ b/Sound/EsounD/Streams.hs
@@ -5,12 +5,10 @@
 -- | EsounD stream I/O
 module Sound.EsounD.Streams
     ( Writable(..)
-    , Mux(..) -- defined by Internals
     )
     where
 import Control.Monad.IO.Class
 import Control.Monad.Trans.Region
-import Sound.EsounD.Internals
 
 class Writable ws dvec where
     write ∷ ( AncestorRegion pr cr