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 -- FIXME
  , 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'