4 , MultiParamTypeClasses
7 module Sound.EsounD.Internals
23 import Bindings.EsounD
25 import Data.StorableVector as S
26 import Data.StorableVector.Lazy as L
27 import Foreign.C.String
28 import Foreign.C.Types
30 import Foreign.Storable
31 import Prelude.Unicode
33 import System.Posix.IO
34 import System.Posix.Types
36 class Storable fr ⇒ Frame fr where
37 frameFmt ∷ fr → C'esd_format_t
39 instance Frame Int8 where
40 frameFmt _ = c'ESD_BITS8
42 instance Frame Int16 where
43 frameFmt _ = c'ESD_BITS16
45 class Channels ch where
46 channelFmt ∷ ch → C'esd_format_t
51 instance Channels Mono where
52 channelFmt _ = c'ESD_MONO
57 instance Channels Stereo where
58 channelFmt _ = c'ESD_STEREO
60 {-# INLINE interleave #-}
61 interleave ∷ Storable α ⇒ L.Vector α → L.Vector α → L.Vector α
63 -- THINKME: consider using storablevector-streamfusion
64 = let Just (lFr, l') = L.viewL l
65 Just (rFr, r') = L.viewL r
66 lr' = interleave l' r'
68 L.cons lFr (L.cons rFr lr')
70 {-# INLINE deinterleave #-}
71 deinterleave ∷ Storable α ⇒ L.Vector α → (L.Vector α, L.Vector α)
73 -- THINKME: consider using storablevector-streamfusion
74 = let (lr, v') = L.splitAt 2 v
79 let Just (lFr, r) = L.viewL lr
80 Just (rFr, _) = L.viewL r
81 (l', r') = deinterleave v'
83 (L.cons lFr l', L.cons rFr r')
86 toLSV ∷ Storable α ⇒ S.Vector α → L.Vector α
87 toLSV v = L.fromChunks [v]
89 wrapSocket ∷ String → CInt → IO Handle
90 wrapSocket e (-1) = fail e
91 wrapSocket _ fd = fdToHandle (Fd fd)
93 closeSocket ∷ Handle → IO ()
94 closeSocket h = do (Fd fd) ← handleToFd h
95 _ ← c'esd_close (fromIntegral fd)
98 withCStrOrNull ∷ Maybe String → (CString → IO a) → IO a
99 withCStrOrNull Nothing f = f nullPtr
100 withCStrOrNull (Just s) f = withCString s f
102 failOnError ∷ Monad m ⇒ String → CInt → m ()
105 | otherwise = return ()