4 , MultiParamTypeClasses
8 module Sound.EsounD.Internals
22 import Bindings.EsounD
24 import Data.StorableVector.Lazy as L
25 import Foreign.C.String
26 import Foreign.C.Types
28 import Foreign.Storable
30 import System.Posix.IO
31 import System.Posix.Types
33 class Storable fr ⇒ Frame fr where
34 frameFmt ∷ fr → C'esd_format_t
36 instance Frame Int8 where
37 frameFmt _ = c'ESD_BITS8
39 instance Frame Int16 where
40 frameFmt _ = c'ESD_BITS16
42 class Channels ch where
43 channelFmt ∷ ch → C'esd_format_t
45 class (Frame fr, Channels ch) ⇒ Mux (vec ∷ ★ → ★) fr ch where
46 type DemuxedVec vec fr ch
47 mux ∷ DemuxedVec vec fr ch → vec fr
52 instance Channels Mono where
53 channelFmt _ = c'ESD_MONO
55 instance Frame fr ⇒ Mux vec fr Mono where
56 type DemuxedVec vec fr Mono = vec fr
62 instance Channels Stereo where
63 channelFmt _ = c'ESD_STEREO
65 instance Frame fr ⇒ Mux L.Vector fr Stereo where
66 type DemuxedVec L.Vector fr Stereo = (L.Vector fr, L.Vector fr)
67 mux (left, right) = loop left right
69 -- THINKME: consider using storablevector-streamfusion
71 = let Just (lFr, l') = L.viewL l
72 Just (rFr, r') = L.viewL r
75 L.cons lFr (L.cons rFr lr')
78 wrapSocket ∷ String → CInt → IO Handle
79 wrapSocket e (-1) = fail e
80 wrapSocket _ fd = fdToHandle (Fd fd)
82 closeSocket ∷ Handle → IO ()
83 closeSocket h = do (Fd fd) ← handleToFd h
84 _ ← c'esd_close (fromIntegral fd)
87 withCStrOrNull ∷ Maybe String → (CString → IO a) → IO a
88 withCStrOrNull Nothing f = f nullPtr
89 withCStrOrNull (Just s) f = withCString s f