bind-marshal-0.1: test/TestCases/FullStaticCase5.hs
module TestCases.FullStaticCase5 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
237 :: Word8 <- des
2432342725 :: Word32 <- des_word32_be
v_0 :: Word32 <- des_word32_be
14 :: Word8 <- des
v_1 :: Word32 <- des_word32_be
133 :: Word8 <- des
v_2 :: Word16 <- des_word16_be
v_3 :: Word8 <- des
31500 :: Word16 <- des_word16_be
29725 :: Word16 <- des_word16_be
45309 :: Word16 <- des_word16_be
4041880020 :: Word32 <- des_word32_be
6097 :: Word16 <- des_word16_be
2505111969 :: Word32 <- des_word32_be
v_4 :: Word32 <- des_word32_be
227 :: Word8 <- des
2045292545 :: Word32 <- des_word32_be
v_5 :: Word16 <- des_word16_be
v_6 :: Word32 <- des_word32_be
14 :: Word8 <- des
v_7 :: Word32 <- des_word32_be
2434 :: Word16 <- des_word16_be
2125984829 :: Word32 <- des_word32_be
3037258204 :: Word32 <- des_word32_be
v_8 :: Word16 <- des_word16_be
247 :: Word8 <- des
30 :: Word8 <- des
15313 :: Word16 <- des_word16_be
v_9 :: Word32 <- des_word32_be
190 :: Word8 <- des
84 :: Word8 <- des
224 :: Word8 <- des
145 :: Word8 <- des
188 :: Word8 <- des
48590 :: Word16 <- des_word16_be
v_10 :: Word8 <- des
v_11 :: Word16 <- des_word16_be
v_12 :: Word32 <- des_word32_be
45257 :: Word16 <- des_word16_be
44707 :: Word16 <- des_word16_be
v_13 :: Word32 <- des_word32_be
255 :: Word8 <- des
v_14 :: Word32 <- des_word32_be
12729 :: Word16 <- des_word16_be
v_15 :: Word8 <- des
57436 :: Word16 <- des_word16_be
v_16 :: Word32 <- des_word32_be
v_17 :: Word8 <- des
24 :: Word8 <- des
v_18 :: Word32 <- des_word32_be
v_19 :: Word16 <- des_word16_be
v_20 :: Word8 <- des
v_21 :: Word8 <- des
v_22 :: Word16 <- des_word16_be
v_23 :: Word8 <- des
3487 :: Word16 <- des_word16_be
2698337360 :: Word32 <- des_word32_be
171 :: Word8 <- des
57 :: Word8 <- des
146 :: Word8 <- des
v_24 :: Word32 <- des_word32_be
v_25 :: Word16 <- des_word16_be
v_26 :: Word8 <- des
v_27 :: Word8 <- des
v_28 :: Word16 <- des_word16_be
v_29 :: Word8 <- des
64836 :: Word16 <- des_word16_be
v_30 :: Word16 <- des_word16_be
v_31 :: Word8 <- des
40363 :: Word16 <- des_word16_be
65 :: Word8 <- des
v_32 :: Word8 <- des
188 :: Word8 <- des
v_33 :: Word16 <- des_word16_be
v_34 :: Word32 <- des_word32_be
23 :: Word8 <- des
v_35 :: Word16 <- des_word16_be
8959 :: Word16 <- des_word16_be
218 :: Word8 <- des
v_36 :: Word32 <- des_word32_be
v_37 :: Word8 <- des
125 :: Word8 <- des
v_38 :: Word32 <- des_word32_be
v_39 :: Word16 <- des_word16_be
static_return [ Word32Value v_0 , Word32Value v_1 , Word16Value v_2 , Word8Value v_3 , Word32Value v_4 , Word16Value v_5 , Word32Value v_6 , Word32Value v_7 , Word16Value v_8 , Word32Value v_9 , Word8Value v_10 , Word16Value v_11 , Word32Value v_12 , Word32Value v_13 , Word32Value v_14 , Word8Value v_15 , Word32Value v_16 , Word8Value v_17 , Word32Value v_18 , Word16Value v_19 , Word8Value v_20 , Word8Value v_21 , Word16Value v_22 , Word8Value v_23 , Word32Value v_24 , Word16Value v_25 , Word8Value v_26 , Word8Value v_27 , Word16Value v_28 , Word8Value v_29 , Word16Value v_30 , Word8Value v_31 , Word8Value v_32 , Word16Value v_33 , Word32Value v_34 , Word16Value v_35 , Word32Value v_36 , Word8Value v_37 , Word32Value v_38 , Word16Value v_39 ]
ser_static_structure vs = do
let [ Word32Value v_0 , Word32Value v_1 , Word16Value v_2 , Word8Value v_3 , Word32Value v_4 , Word16Value v_5 , Word32Value v_6 , Word32Value v_7 , Word16Value v_8 , Word32Value v_9 , Word8Value v_10 , Word16Value v_11 , Word32Value v_12 , Word32Value v_13 , Word32Value v_14 , Word8Value v_15 , Word32Value v_16 , Word8Value v_17 , Word32Value v_18 , Word16Value v_19 , Word8Value v_20 , Word8Value v_21 , Word16Value v_22 , Word8Value v_23 , Word32Value v_24 , Word16Value v_25 , Word8Value v_26 , Word8Value v_27 , Word16Value v_28 , Word8Value v_29 , Word16Value v_30 , Word8Value v_31 , Word8Value v_32 , Word16Value v_33 , Word32Value v_34 , Word16Value v_35 , Word32Value v_36 , Word8Value v_37 , Word32Value v_38 , Word16Value v_39 ] = vs
ser (237 :: Word8)
ser_word32_be 2432342725
ser_word32_be v_0
ser (14 :: Word8)
ser_word32_be v_1
ser (133 :: Word8)
ser_word16_be v_2
ser v_3
ser_word16_be 31500
ser_word16_be 29725
ser_word16_be 45309
ser_word32_be 4041880020
ser_word16_be 6097
ser_word32_be 2505111969
ser_word32_be v_4
ser (227 :: Word8)
ser_word32_be 2045292545
ser_word16_be v_5
ser_word32_be v_6
ser (14 :: Word8)
ser_word32_be v_7
ser_word16_be 2434
ser_word32_be 2125984829
ser_word32_be 3037258204
ser_word16_be v_8
ser (247 :: Word8)
ser (30 :: Word8)
ser_word16_be 15313
ser_word32_be v_9
ser (190 :: Word8)
ser (84 :: Word8)
ser (224 :: Word8)
ser (145 :: Word8)
ser (188 :: Word8)
ser_word16_be 48590
ser v_10
ser_word16_be v_11
ser_word32_be v_12
ser_word16_be 45257
ser_word16_be 44707
ser_word32_be v_13
ser (255 :: Word8)
ser_word32_be v_14
ser_word16_be 12729
ser v_15
ser_word16_be 57436
ser_word32_be v_16
ser v_17
ser (24 :: Word8)
ser_word32_be v_18
ser_word16_be v_19
ser v_20
ser v_21
ser_word16_be v_22
ser v_23
ser_word16_be 3487
ser_word32_be 2698337360
ser (171 :: Word8)
ser (57 :: Word8)
ser (146 :: Word8)
ser_word32_be v_24
ser_word16_be v_25
ser v_26
ser v_27
ser_word16_be v_28
ser v_29
ser_word16_be 64836
ser_word16_be v_30
ser v_31
ser_word16_be 40363
ser (65 :: Word8)
ser v_32
ser (188 :: Word8)
ser_word16_be v_33
ser_word32_be v_34
ser (23 :: Word8)
ser_word16_be v_35
ser_word16_be 8959
ser (218 :: Word8)
ser_word32_be v_36
ser v_37
ser (125 :: Word8)
ser_word32_be v_38
ser_word16_be v_39
static_return ()
static_structure = StaticStructure {properties = [Value (Word8Value 237),Value (Word32Value 2432342725),Hole {byte_offset = 5, hole_type = Word32Hole},Value (Word8Value 14),Hole {byte_offset = 10, hole_type = Word32Hole},Value (Word8Value 133),Hole {byte_offset = 15, hole_type = Word16Hole},Hole {byte_offset = 17, hole_type = Word8Hole},Value (Word16Value 31500),Value (Word16Value 29725),Value (Word16Value 45309),Value (Word32Value 4041880020),Value (Word16Value 6097),Value (Word32Value 2505111969),Hole {byte_offset = 34, hole_type = Word32Hole},Value (Word8Value 227),Value (Word32Value 2045292545),Hole {byte_offset = 43, hole_type = Word16Hole},Hole {byte_offset = 45, hole_type = Word32Hole},Value (Word8Value 14),Hole {byte_offset = 50, hole_type = Word32Hole},Value (Word16Value 2434),Value (Word32Value 2125984829),Value (Word32Value 3037258204),Hole {byte_offset = 64, hole_type = Word16Hole},Value (Word8Value 247),Value (Word8Value 30),Value (Word16Value 15313),Hole {byte_offset = 70, hole_type = Word32Hole},Value (Word8Value 190),Value (Word8Value 84),Value (Word8Value 224),Value (Word8Value 145),Value (Word8Value 188),Value (Word16Value 48590),Hole {byte_offset = 81, hole_type = Word8Hole},Hole {byte_offset = 82, hole_type = Word16Hole},Hole {byte_offset = 84, hole_type = Word32Hole},Value (Word16Value 45257),Value (Word16Value 44707),Hole {byte_offset = 92, hole_type = Word32Hole},Value (Word8Value 255),Hole {byte_offset = 97, hole_type = Word32Hole},Value (Word16Value 12729),Hole {byte_offset = 103, hole_type = Word8Hole},Value (Word16Value 57436),Hole {byte_offset = 106, hole_type = Word32Hole},Hole {byte_offset = 110, hole_type = Word8Hole},Value (Word8Value 24),Hole {byte_offset = 112, hole_type = Word32Hole},Hole {byte_offset = 116, hole_type = Word16Hole},Hole {byte_offset = 118, hole_type = Word8Hole},Hole {byte_offset = 119, hole_type = Word8Hole},Hole {byte_offset = 120, hole_type = Word16Hole},Hole {byte_offset = 122, hole_type = Word8Hole},Value (Word16Value 3487),Value (Word32Value 2698337360),Value (Word8Value 171),Value (Word8Value 57),Value (Word8Value 146),Hole {byte_offset = 132, hole_type = Word32Hole},Hole {byte_offset = 136, hole_type = Word16Hole},Hole {byte_offset = 138, hole_type = Word8Hole},Hole {byte_offset = 139, hole_type = Word8Hole},Hole {byte_offset = 140, hole_type = Word16Hole},Hole {byte_offset = 142, hole_type = Word8Hole},Value (Word16Value 64836),Hole {byte_offset = 145, hole_type = Word16Hole},Hole {byte_offset = 147, hole_type = Word8Hole},Value (Word16Value 40363),Value (Word8Value 65),Hole {byte_offset = 151, hole_type = Word8Hole},Value (Word8Value 188),Hole {byte_offset = 153, hole_type = Word16Hole},Hole {byte_offset = 155, hole_type = Word32Hole},Value (Word8Value 23),Hole {byte_offset = 160, hole_type = Word16Hole},Value (Word16Value 8959),Value (Word8Value 218),Hole {byte_offset = 165, hole_type = Word32Hole},Hole {byte_offset = 169, hole_type = Word8Hole},Value (Word8Value 125),Hole {byte_offset = 171, hole_type = Word32Hole},Hole {byte_offset = 175, hole_type = Word16Hole}]}