module Sound.MED.Raw.HybridInstr where
import qualified Sound.MED.Raw.SynthWF as SynthWF
import Sound.MED.Raw.SynthWF(SynthWF)
import Sound.MED.Basic.Amiga
import Sound.MED.Basic.Utility
import Control.Monad (liftM)
data HybridInstr = HybridInstr
{ HybridInstr -> UBYTE
defaultdecay :: UBYTE
, HybridInstr -> [UBYTE]
reserved :: [ UBYTE ]
, HybridInstr -> UWORD
rep :: UWORD
, HybridInstr -> UWORD
replen :: UWORD
, HybridInstr -> UWORD
voltbllen :: UWORD
, HybridInstr -> UWORD
wftbllen :: UWORD
, HybridInstr -> UBYTE
volspeed :: UBYTE
, HybridInstr -> UBYTE
wfspeed :: UBYTE
, HybridInstr -> UWORD
wforms :: UWORD
, HybridInstr -> [UBYTE]
voltbl :: [ UBYTE ]
, HybridInstr -> [UBYTE]
wftbl :: [ UBYTE ]
, HybridInstr -> PTR
wf0 :: PTR
, HybridInstr -> [Maybe SynthWF]
wf :: [ Maybe SynthWF ]
}
deriving (Int -> HybridInstr -> ShowS
[HybridInstr] -> ShowS
HybridInstr -> String
(Int -> HybridInstr -> ShowS)
-> (HybridInstr -> String)
-> ([HybridInstr] -> ShowS)
-> Show HybridInstr
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [HybridInstr] -> ShowS
$cshowList :: [HybridInstr] -> ShowS
show :: HybridInstr -> String
$cshow :: HybridInstr -> String
showsPrec :: Int -> HybridInstr -> ShowS
$cshowsPrec :: Int -> HybridInstr -> ShowS
Show)
{-# SPECIALISE peek :: PTR -> StorableReader HybridInstr #-}
{-# SPECIALISE peek :: PTR -> ByteStringReader HybridInstr #-}
peek :: (Reader m) => PTR -> m HybridInstr
peek :: PTR -> m HybridInstr
peek PTR
p = do
let nonEmpty :: [a] -> (a, [a])
nonEmpty (a
x:[a]
xs) = (a
x,[a]
xs)
nonEmpty [] = String -> (a, [a])
forall a. HasCallStack => String -> a
error String
"list must be non-empty"
UBYTE
defaultdecay' <- Peek m UBYTE
forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
6)
[UBYTE]
reserved' <- Peek m UBYTE -> [PTR] -> m [UBYTE]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM Peek m UBYTE
forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE ([PTR] -> m [UBYTE]) -> [PTR] -> m [UBYTE]
forall a b. (a -> b) -> a -> b
$ PTR -> PTR -> Int -> [PTR]
pointerRange (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
7) PTR
1 Int
3
UWORD
rep' <- Peek m UWORD
forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
10)
UWORD
replen' <- Peek m UWORD
forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
12)
UWORD
voltbllen' <- Peek m UWORD
forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
14)
UWORD
wftbllen' <- Peek m UWORD
forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
16)
UBYTE
volspeed' <- Peek m UBYTE
forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
18)
UBYTE
wfspeed' <- Peek m UBYTE
forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
19)
UWORD
wforms' <- Peek m UWORD
forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
20)
[UBYTE]
voltbl' <- Peek m UBYTE -> [PTR] -> m [UBYTE]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM Peek m UBYTE
forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE ([PTR] -> m [UBYTE]) -> [PTR] -> m [UBYTE]
forall a b. (a -> b) -> a -> b
$ PTR -> PTR -> Int -> [PTR]
pointerRange (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
22) PTR
1 Int
128
[UBYTE]
wftbl' <- Peek m UBYTE -> [PTR] -> m [UBYTE]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM Peek m UBYTE
forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE ([PTR] -> m [UBYTE]) -> [PTR] -> m [UBYTE]
forall a b. (a -> b) -> a -> b
$ PTR -> PTR -> Int -> [PTR]
pointerRange (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
150) PTR
150 Int
128
(PTR
wf0',[PTR]
wf'') <- ([PTR] -> (PTR, [PTR])) -> m [PTR] -> m (PTR, [PTR])
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM [PTR] -> (PTR, [PTR])
forall a. [a] -> (a, [a])
nonEmpty (m [PTR] -> m (PTR, [PTR])) -> m [PTR] -> m (PTR, [PTR])
forall a b. (a -> b) -> a -> b
$
(PTR -> m PTR) -> [PTR] -> m [PTR]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM PTR -> m PTR
forall (m :: * -> *). Reader m => Peek m PTR
peekPTR ([PTR] -> m [PTR]) -> [PTR] -> m [PTR]
forall a b. (a -> b) -> a -> b
$ PTR -> PTR -> Int -> [PTR]
pointerRange (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+PTR
278) PTR
4 Int
64
[Maybe SynthWF]
wf' <- (PTR -> m (Maybe SynthWF)) -> [PTR] -> m [Maybe SynthWF]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM (PTR -> m SynthWF
forall (m :: * -> *). Reader m => PTR -> m SynthWF
SynthWF.peek (PTR -> m SynthWF) -> (PTR -> PTR) -> PTR -> m SynthWF
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (PTR
pPTR -> PTR -> PTR
forall a. Num a => a -> a -> a
+) (PTR -> m SynthWF) -> PTR -> m (Maybe SynthWF)
forall (m :: * -> *) a.
Monad m =>
(PTR -> m a) -> PTR -> m (Maybe a)
$?) [PTR]
wf''
HybridInstr -> m HybridInstr
forall (m :: * -> *) a. Monad m => a -> m a
return (HybridInstr -> m HybridInstr) -> HybridInstr -> m HybridInstr
forall a b. (a -> b) -> a -> b
$ UBYTE
-> [UBYTE]
-> UWORD
-> UWORD
-> UWORD
-> UWORD
-> UBYTE
-> UBYTE
-> UWORD
-> [UBYTE]
-> [UBYTE]
-> PTR
-> [Maybe SynthWF]
-> HybridInstr
HybridInstr
UBYTE
defaultdecay' [UBYTE]
reserved' UWORD
rep' UWORD
replen' UWORD
voltbllen' UWORD
wftbllen'
UBYTE
volspeed' UBYTE
wfspeed' UWORD
wforms' [UBYTE]
voltbl' [UBYTE]
wftbl' PTR
wf0' [Maybe SynthWF]
wf'