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
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 :: forall (m :: * -> *). Reader m => PTR -> m HybridInstr
peek PTR
p = do
let nonEmpty :: [a] -> (a, [a])
nonEmpty (a
x:[a]
xs) = (a
x,[a]
xs)
nonEmpty [] = forall a. HasCallStack => String -> a
error String
"list must be non-empty"
UBYTE
defaultdecay' <- forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE (PTR
pforall a. Num a => a -> a -> a
+PTR
6)
[UBYTE]
reserved' <- forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE forall a b. (a -> b) -> a -> b
$ PTR -> PTR -> Int -> [PTR]
pointerRange (PTR
pforall a. Num a => a -> a -> a
+PTR
7) PTR
1 Int
3
UWORD
rep' <- forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pforall a. Num a => a -> a -> a
+PTR
10)
UWORD
replen' <- forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pforall a. Num a => a -> a -> a
+PTR
12)
UWORD
voltbllen' <- forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pforall a. Num a => a -> a -> a
+PTR
14)
UWORD
wftbllen' <- forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pforall a. Num a => a -> a -> a
+PTR
16)
UBYTE
volspeed' <- forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE (PTR
pforall a. Num a => a -> a -> a
+PTR
18)
UBYTE
wfspeed' <- forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE (PTR
pforall a. Num a => a -> a -> a
+PTR
19)
UWORD
wforms' <- forall (m :: * -> *). Reader m => Peek m UWORD
peekUWORD (PTR
pforall a. Num a => a -> a -> a
+PTR
20)
[UBYTE]
voltbl' <- forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE forall a b. (a -> b) -> a -> b
$ PTR -> PTR -> Int -> [PTR]
pointerRange (PTR
pforall a. Num a => a -> a -> a
+PTR
22) PTR
1 Int
128
[UBYTE]
wftbl' <- forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM forall (m :: * -> *). Reader m => Peek m UBYTE
peekUBYTE forall a b. (a -> b) -> a -> b
$ PTR -> PTR -> Int -> [PTR]
pointerRange (PTR
pforall a. Num a => a -> a -> a
+PTR
150) PTR
150 Int
128
(PTR
wf0',[PTR]
wf'') <- forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM forall {a}. [a] -> (a, [a])
nonEmpty forall a b. (a -> b) -> a -> b
$
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM forall (m :: * -> *). Reader m => Peek m PTR
peekPTR forall a b. (a -> b) -> a -> b
$ PTR -> PTR -> Int -> [PTR]
pointerRange (PTR
pforall a. Num a => a -> a -> a
+PTR
278) PTR
4 Int
64
[Maybe SynthWF]
wf' <- forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM (forall (m :: * -> *). Reader m => PTR -> m SynthWF
SynthWF.peek forall b c a. (b -> c) -> (a -> b) -> a -> c
. (PTR
pforall a. Num a => a -> a -> a
+) forall (m :: * -> *) a.
Monad m =>
(PTR -> m a) -> PTR -> m (Maybe a)
$?) [PTR]
wf''
forall (m :: * -> *) a. Monad m => a -> m a
return 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'