bind-marshal-0.1: test/TestCases/FullStaticCase19.hs
module TestCases.FullStaticCase19 where
import Bind.Marshal.Prelude
import Bind.Marshal.Action.Base
import Bind.Marshal.Action.Monad.Static
import Bind.Marshal.Action.Static
import Bind.Marshal.DesAction.Static
import Bind.Marshal.SerAction.Static
import Bind.Marshal.StaticProperties
import Bind.Marshal.StdLib.Des
import Bind.Marshal.StdLib.Utils.Des
import Bind.Marshal.StdLib.Ser
import Bind.Marshal.StdLib.Utils.Ser
import ArbMarshal
import ArbMarshal.GenCode.Utils
import Data.Word
des_static_structure = do
105 :: Word8 <- des
65189 :: Word16 <- des_word16_be
245 :: Word8 <- des
v_0 :: Word8 <- des
70 :: Word8 <- des
v_1 :: Word8 <- des
40784 :: Word16 <- des_word16_be
114 :: Word8 <- des
235 :: Word8 <- des
34718 :: Word16 <- des_word16_be
v_2 :: Word32 <- des_word32_be
v_3 :: Word32 <- des_word32_be
v_4 :: Word8 <- des
144 :: Word8 <- des
v_5 :: Word8 <- des
6 :: Word8 <- des
1553777234 :: Word32 <- des_word32_be
3531265250 :: Word32 <- des_word32_be
v_6 :: Word16 <- des_word16_be
124 :: Word8 <- des
1333487335 :: Word32 <- des_word32_be
v_7 :: Word16 <- des_word16_be
56770 :: Word16 <- des_word16_be
v_8 :: Word32 <- des_word32_be
v_9 :: Word32 <- des_word32_be
231 :: Word8 <- des
82 :: Word8 <- des
v_10 :: Word16 <- des_word16_be
v_11 :: Word32 <- des_word32_be
5440 :: Word16 <- des_word16_be
v_12 :: Word16 <- des_word16_be
v_13 :: Word32 <- des_word32_be
209 :: Word8 <- des
233 :: Word8 <- des
v_14 :: Word16 <- des_word16_be
230 :: Word8 <- des
v_15 :: Word16 <- des_word16_be
207 :: Word8 <- des
125 :: Word8 <- des
23 :: Word8 <- des
826826017 :: Word32 <- des_word32_be
static_return [ Word8Value v_0 , Word8Value v_1 , Word32Value v_2 , Word32Value v_3 , Word8Value v_4 , Word8Value v_5 , Word16Value v_6 , Word16Value v_7 , Word32Value v_8 , Word32Value v_9 , Word16Value v_10 , Word32Value v_11 , Word16Value v_12 , Word32Value v_13 , Word16Value v_14 , Word16Value v_15 ]
ser_static_structure vs = do
let [ Word8Value v_0 , Word8Value v_1 , Word32Value v_2 , Word32Value v_3 , Word8Value v_4 , Word8Value v_5 , Word16Value v_6 , Word16Value v_7 , Word32Value v_8 , Word32Value v_9 , Word16Value v_10 , Word32Value v_11 , Word16Value v_12 , Word32Value v_13 , Word16Value v_14 , Word16Value v_15 ] = vs
ser (105 :: Word8)
ser_word16_be 65189
ser (245 :: Word8)
ser v_0
ser (70 :: Word8)
ser v_1
ser_word16_be 40784
ser (114 :: Word8)
ser (235 :: Word8)
ser_word16_be 34718
ser_word32_be v_2
ser_word32_be v_3
ser v_4
ser (144 :: Word8)
ser v_5
ser (6 :: Word8)
ser_word32_be 1553777234
ser_word32_be 3531265250
ser_word16_be v_6
ser (124 :: Word8)
ser_word32_be 1333487335
ser_word16_be v_7
ser_word16_be 56770
ser_word32_be v_8
ser_word32_be v_9
ser (231 :: Word8)
ser (82 :: Word8)
ser_word16_be v_10
ser_word32_be v_11
ser_word16_be 5440
ser_word16_be v_12
ser_word32_be v_13
ser (209 :: Word8)
ser (233 :: Word8)
ser_word16_be v_14
ser (230 :: Word8)
ser_word16_be v_15
ser (207 :: Word8)
ser (125 :: Word8)
ser (23 :: Word8)
ser_word32_be 826826017
static_return ()
static_structure = StaticStructure {properties = [Value (Word8Value 105),Value (Word16Value 65189),Value (Word8Value 245),Hole {byte_offset = 4, hole_type = Word8Hole},Value (Word8Value 70),Hole {byte_offset = 6, hole_type = Word8Hole},Value (Word16Value 40784),Value (Word8Value 114),Value (Word8Value 235),Value (Word16Value 34718),Hole {byte_offset = 13, hole_type = Word32Hole},Hole {byte_offset = 17, hole_type = Word32Hole},Hole {byte_offset = 21, hole_type = Word8Hole},Value (Word8Value 144),Hole {byte_offset = 23, hole_type = Word8Hole},Value (Word8Value 6),Value (Word32Value 1553777234),Value (Word32Value 3531265250),Hole {byte_offset = 33, hole_type = Word16Hole},Value (Word8Value 124),Value (Word32Value 1333487335),Hole {byte_offset = 40, hole_type = Word16Hole},Value (Word16Value 56770),Hole {byte_offset = 44, hole_type = Word32Hole},Hole {byte_offset = 48, hole_type = Word32Hole},Value (Word8Value 231),Value (Word8Value 82),Hole {byte_offset = 54, hole_type = Word16Hole},Hole {byte_offset = 56, hole_type = Word32Hole},Value (Word16Value 5440),Hole {byte_offset = 62, hole_type = Word16Hole},Hole {byte_offset = 64, hole_type = Word32Hole},Value (Word8Value 209),Value (Word8Value 233),Hole {byte_offset = 70, hole_type = Word16Hole},Value (Word8Value 230),Hole {byte_offset = 73, hole_type = Word16Hole},Value (Word8Value 207),Value (Word8Value 125),Value (Word8Value 23),Value (Word32Value 826826017)]}