bind-marshal-0.1: test/TestCases/FullStaticCase0.hs
module TestCases.FullStaticCase0 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
v_0 :: Word16 <- des_word16_be
154 :: Word8 <- des
60456 :: Word16 <- des_word16_be
30 :: Word8 <- des
193 :: Word8 <- des
151139490 :: Word32 <- des_word32_be
v_1 :: Word8 <- des
4 :: Word8 <- des
v_2 :: Word32 <- des_word32_be
1176619845 :: Word32 <- des_word32_be
178 :: Word8 <- des
v_3 :: Word16 <- des_word16_be
4055394780 :: Word32 <- des_word32_be
11491 :: Word16 <- des_word16_be
3329088736 :: Word32 <- des_word32_be
16407 :: Word16 <- des_word16_be
v_4 :: Word16 <- des_word16_be
v_5 :: Word16 <- des_word16_be
v_6 :: Word8 <- des
v_7 :: Word16 <- des_word16_be
179 :: Word8 <- des
1251394852 :: Word32 <- des_word32_be
601180003 :: Word32 <- des_word32_be
v_8 :: Word16 <- des_word16_be
1989047817 :: Word32 <- des_word32_be
34 :: Word8 <- des
v_9 :: Word8 <- des
188925259 :: Word32 <- des_word32_be
3088317435 :: Word32 <- des_word32_be
203 :: Word8 <- des
128 :: Word8 <- des
3306394667 :: Word32 <- des_word32_be
32748 :: Word16 <- des_word16_be
v_10 :: Word8 <- des
23683 :: Word16 <- des_word16_be
v_11 :: Word32 <- des_word32_be
252 :: Word8 <- des
v_12 :: Word8 <- des
45 :: Word8 <- des
v_13 :: Word32 <- des_word32_be
105 :: Word8 <- des
v_14 :: Word32 <- des_word32_be
27342 :: Word16 <- des_word16_be
v_15 :: Word8 <- des
v_16 :: Word32 <- des_word32_be
v_17 :: Word32 <- des_word32_be
0 :: Word8 <- des
v_18 :: Word32 <- des_word32_be
9432 :: Word16 <- des_word16_be
203 :: Word8 <- des
47302 :: Word16 <- des_word16_be
37522 :: Word16 <- des_word16_be
v_19 :: Word32 <- des_word32_be
v_20 :: Word32 <- des_word32_be
1575200506 :: Word32 <- des_word32_be
v_21 :: Word8 <- des
16431 :: Word16 <- des_word16_be
v_22 :: Word16 <- des_word16_be
v_23 :: Word32 <- des_word32_be
19 :: Word8 <- des
191 :: Word8 <- des
226 :: Word8 <- des
v_24 :: Word8 <- des
204 :: Word8 <- des
v_25 :: Word16 <- des_word16_be
217 :: Word8 <- des
110 :: Word8 <- des
v_26 :: Word16 <- des_word16_be
137 :: Word8 <- des
3876738985 :: Word32 <- des_word32_be
v_27 :: Word32 <- des_word32_be
v_28 :: Word16 <- des_word16_be
v_29 :: Word32 <- des_word32_be
1296152054 :: Word32 <- des_word32_be
v_30 :: Word32 <- des_word32_be
v_31 :: Word8 <- des
2564929105 :: Word32 <- des_word32_be
v_32 :: Word8 <- des
v_33 :: Word8 <- des
v_34 :: Word32 <- des_word32_be
v_35 :: Word8 <- des
2805119020 :: Word32 <- des_word32_be
v_36 :: Word16 <- des_word16_be
209 :: Word8 <- des
v_37 :: Word16 <- des_word16_be
v_38 :: Word32 <- des_word32_be
v_39 :: Word32 <- des_word32_be
6687 :: Word16 <- des_word16_be
2322597726 :: Word32 <- des_word32_be
v_40 :: Word16 <- des_word16_be
v_41 :: Word32 <- des_word32_be
v_42 :: Word32 <- des_word32_be
v_43 :: Word16 <- des_word16_be
182 :: Word8 <- des
5 :: Word8 <- des
125 :: Word8 <- des
v_44 :: Word16 <- des_word16_be
2201642759 :: Word32 <- des_word32_be
23206 :: Word16 <- des_word16_be
v_45 :: Word32 <- des_word32_be
52331 :: Word16 <- des_word16_be
v_46 :: Word8 <- des
v_47 :: Word32 <- des_word32_be
v_48 :: Word32 <- des_word32_be
250 :: Word8 <- des
10712 :: Word16 <- des_word16_be
7377 :: Word16 <- des_word16_be
v_49 :: Word16 <- des_word16_be
187 :: Word8 <- des
63669 :: Word16 <- des_word16_be
v_50 :: Word8 <- des
v_51 :: Word16 <- des_word16_be
855016789 :: Word32 <- des_word32_be
57589 :: Word16 <- des_word16_be
v_52 :: Word8 <- des
v_53 :: Word8 <- des
9 :: Word8 <- des
v_54 :: Word8 <- des
1986088679 :: Word32 <- des_word32_be
v_55 :: Word8 <- des
v_56 :: Word32 <- des_word32_be
v_57 :: Word8 <- des
7445 :: Word16 <- des_word16_be
v_58 :: Word16 <- des_word16_be
v_59 :: Word32 <- des_word32_be
static_return [ Word16Value v_0 , Word8Value v_1 , Word32Value v_2 , Word16Value v_3 , Word16Value v_4 , Word16Value v_5 , Word8Value v_6 , Word16Value v_7 , Word16Value v_8 , Word8Value v_9 , Word8Value v_10 , Word32Value v_11 , Word8Value v_12 , Word32Value v_13 , Word32Value v_14 , Word8Value v_15 , Word32Value v_16 , Word32Value v_17 , Word32Value v_18 , Word32Value v_19 , Word32Value v_20 , Word8Value v_21 , Word16Value v_22 , Word32Value v_23 , Word8Value v_24 , Word16Value v_25 , Word16Value v_26 , Word32Value v_27 , Word16Value v_28 , Word32Value v_29 , Word32Value v_30 , Word8Value v_31 , Word8Value v_32 , Word8Value v_33 , Word32Value v_34 , Word8Value v_35 , Word16Value v_36 , Word16Value v_37 , Word32Value v_38 , Word32Value v_39 , Word16Value v_40 , Word32Value v_41 , Word32Value v_42 , Word16Value v_43 , Word16Value v_44 , Word32Value v_45 , Word8Value v_46 , Word32Value v_47 , Word32Value v_48 , Word16Value v_49 , Word8Value v_50 , Word16Value v_51 , Word8Value v_52 , Word8Value v_53 , Word8Value v_54 , Word8Value v_55 , Word32Value v_56 , Word8Value v_57 , Word16Value v_58 , Word32Value v_59 ]
ser_static_structure vs = do
let [ Word16Value v_0 , Word8Value v_1 , Word32Value v_2 , Word16Value v_3 , Word16Value v_4 , Word16Value v_5 , Word8Value v_6 , Word16Value v_7 , Word16Value v_8 , Word8Value v_9 , Word8Value v_10 , Word32Value v_11 , Word8Value v_12 , Word32Value v_13 , Word32Value v_14 , Word8Value v_15 , Word32Value v_16 , Word32Value v_17 , Word32Value v_18 , Word32Value v_19 , Word32Value v_20 , Word8Value v_21 , Word16Value v_22 , Word32Value v_23 , Word8Value v_24 , Word16Value v_25 , Word16Value v_26 , Word32Value v_27 , Word16Value v_28 , Word32Value v_29 , Word32Value v_30 , Word8Value v_31 , Word8Value v_32 , Word8Value v_33 , Word32Value v_34 , Word8Value v_35 , Word16Value v_36 , Word16Value v_37 , Word32Value v_38 , Word32Value v_39 , Word16Value v_40 , Word32Value v_41 , Word32Value v_42 , Word16Value v_43 , Word16Value v_44 , Word32Value v_45 , Word8Value v_46 , Word32Value v_47 , Word32Value v_48 , Word16Value v_49 , Word8Value v_50 , Word16Value v_51 , Word8Value v_52 , Word8Value v_53 , Word8Value v_54 , Word8Value v_55 , Word32Value v_56 , Word8Value v_57 , Word16Value v_58 , Word32Value v_59 ] = vs
ser_word16_be v_0
ser (154 :: Word8)
ser_word16_be 60456
ser (30 :: Word8)
ser (193 :: Word8)
ser_word32_be 151139490
ser v_1
ser (4 :: Word8)
ser_word32_be v_2
ser_word32_be 1176619845
ser (178 :: Word8)
ser_word16_be v_3
ser_word32_be 4055394780
ser_word16_be 11491
ser_word32_be 3329088736
ser_word16_be 16407
ser_word16_be v_4
ser_word16_be v_5
ser v_6
ser_word16_be v_7
ser (179 :: Word8)
ser_word32_be 1251394852
ser_word32_be 601180003
ser_word16_be v_8
ser_word32_be 1989047817
ser (34 :: Word8)
ser v_9
ser_word32_be 188925259
ser_word32_be 3088317435
ser (203 :: Word8)
ser (128 :: Word8)
ser_word32_be 3306394667
ser_word16_be 32748
ser v_10
ser_word16_be 23683
ser_word32_be v_11
ser (252 :: Word8)
ser v_12
ser (45 :: Word8)
ser_word32_be v_13
ser (105 :: Word8)
ser_word32_be v_14
ser_word16_be 27342
ser v_15
ser_word32_be v_16
ser_word32_be v_17
ser (0 :: Word8)
ser_word32_be v_18
ser_word16_be 9432
ser (203 :: Word8)
ser_word16_be 47302
ser_word16_be 37522
ser_word32_be v_19
ser_word32_be v_20
ser_word32_be 1575200506
ser v_21
ser_word16_be 16431
ser_word16_be v_22
ser_word32_be v_23
ser (19 :: Word8)
ser (191 :: Word8)
ser (226 :: Word8)
ser v_24
ser (204 :: Word8)
ser_word16_be v_25
ser (217 :: Word8)
ser (110 :: Word8)
ser_word16_be v_26
ser (137 :: Word8)
ser_word32_be 3876738985
ser_word32_be v_27
ser_word16_be v_28
ser_word32_be v_29
ser_word32_be 1296152054
ser_word32_be v_30
ser v_31
ser_word32_be 2564929105
ser v_32
ser v_33
ser_word32_be v_34
ser v_35
ser_word32_be 2805119020
ser_word16_be v_36
ser (209 :: Word8)
ser_word16_be v_37
ser_word32_be v_38
ser_word32_be v_39
ser_word16_be 6687
ser_word32_be 2322597726
ser_word16_be v_40
ser_word32_be v_41
ser_word32_be v_42
ser_word16_be v_43
ser (182 :: Word8)
ser (5 :: Word8)
ser (125 :: Word8)
ser_word16_be v_44
ser_word32_be 2201642759
ser_word16_be 23206
ser_word32_be v_45
ser_word16_be 52331
ser v_46
ser_word32_be v_47
ser_word32_be v_48
ser (250 :: Word8)
ser_word16_be 10712
ser_word16_be 7377
ser_word16_be v_49
ser (187 :: Word8)
ser_word16_be 63669
ser v_50
ser_word16_be v_51
ser_word32_be 855016789
ser_word16_be 57589
ser v_52
ser v_53
ser (9 :: Word8)
ser v_54
ser_word32_be 1986088679
ser v_55
ser_word32_be v_56
ser v_57
ser_word16_be 7445
ser_word16_be v_58
ser_word32_be v_59
static_return ()
static_structure = StaticStructure {properties = [Hole {byte_offset = 0, hole_type = Word16Hole},Value (Word8Value 154),Value (Word16Value 60456),Value (Word8Value 30),Value (Word8Value 193),Value (Word32Value 151139490),Hole {byte_offset = 11, hole_type = Word8Hole},Value (Word8Value 4),Hole {byte_offset = 13, hole_type = Word32Hole},Value (Word32Value 1176619845),Value (Word8Value 178),Hole {byte_offset = 22, hole_type = Word16Hole},Value (Word32Value 4055394780),Value (Word16Value 11491),Value (Word32Value 3329088736),Value (Word16Value 16407),Hole {byte_offset = 36, hole_type = Word16Hole},Hole {byte_offset = 38, hole_type = Word16Hole},Hole {byte_offset = 40, hole_type = Word8Hole},Hole {byte_offset = 41, hole_type = Word16Hole},Value (Word8Value 179),Value (Word32Value 1251394852),Value (Word32Value 601180003),Hole {byte_offset = 52, hole_type = Word16Hole},Value (Word32Value 1989047817),Value (Word8Value 34),Hole {byte_offset = 59, hole_type = Word8Hole},Value (Word32Value 188925259),Value (Word32Value 3088317435),Value (Word8Value 203),Value (Word8Value 128),Value (Word32Value 3306394667),Value (Word16Value 32748),Hole {byte_offset = 76, hole_type = Word8Hole},Value (Word16Value 23683),Hole {byte_offset = 79, hole_type = Word32Hole},Value (Word8Value 252),Hole {byte_offset = 84, hole_type = Word8Hole},Value (Word8Value 45),Hole {byte_offset = 86, hole_type = Word32Hole},Value (Word8Value 105),Hole {byte_offset = 91, hole_type = Word32Hole},Value (Word16Value 27342),Hole {byte_offset = 97, hole_type = Word8Hole},Hole {byte_offset = 98, hole_type = Word32Hole},Hole {byte_offset = 102, hole_type = Word32Hole},Value (Word8Value 0),Hole {byte_offset = 107, hole_type = Word32Hole},Value (Word16Value 9432),Value (Word8Value 203),Value (Word16Value 47302),Value (Word16Value 37522),Hole {byte_offset = 118, hole_type = Word32Hole},Hole {byte_offset = 122, hole_type = Word32Hole},Value (Word32Value 1575200506),Hole {byte_offset = 130, hole_type = Word8Hole},Value (Word16Value 16431),Hole {byte_offset = 133, hole_type = Word16Hole},Hole {byte_offset = 135, hole_type = Word32Hole},Value (Word8Value 19),Value (Word8Value 191),Value (Word8Value 226),Hole {byte_offset = 142, hole_type = Word8Hole},Value (Word8Value 204),Hole {byte_offset = 144, hole_type = Word16Hole},Value (Word8Value 217),Value (Word8Value 110),Hole {byte_offset = 148, hole_type = Word16Hole},Value (Word8Value 137),Value (Word32Value 3876738985),Hole {byte_offset = 155, hole_type = Word32Hole},Hole {byte_offset = 159, hole_type = Word16Hole},Hole {byte_offset = 161, hole_type = Word32Hole},Value (Word32Value 1296152054),Hole {byte_offset = 169, hole_type = Word32Hole},Hole {byte_offset = 173, hole_type = Word8Hole},Value (Word32Value 2564929105),Hole {byte_offset = 178, hole_type = Word8Hole},Hole {byte_offset = 179, hole_type = Word8Hole},Hole {byte_offset = 180, hole_type = Word32Hole},Hole {byte_offset = 184, hole_type = Word8Hole},Value (Word32Value 2805119020),Hole {byte_offset = 189, hole_type = Word16Hole},Value (Word8Value 209),Hole {byte_offset = 192, hole_type = Word16Hole},Hole {byte_offset = 194, hole_type = Word32Hole},Hole {byte_offset = 198, hole_type = Word32Hole},Value (Word16Value 6687),Value (Word32Value 2322597726),Hole {byte_offset = 208, hole_type = Word16Hole},Hole {byte_offset = 210, hole_type = Word32Hole},Hole {byte_offset = 214, hole_type = Word32Hole},Hole {byte_offset = 218, hole_type = Word16Hole},Value (Word8Value 182),Value (Word8Value 5),Value (Word8Value 125),Hole {byte_offset = 223, hole_type = Word16Hole},Value (Word32Value 2201642759),Value (Word16Value 23206),Hole {byte_offset = 231, hole_type = Word32Hole},Value (Word16Value 52331),Hole {byte_offset = 237, hole_type = Word8Hole},Hole {byte_offset = 238, hole_type = Word32Hole},Hole {byte_offset = 242, hole_type = Word32Hole},Value (Word8Value 250),Value (Word16Value 10712),Value (Word16Value 7377),Hole {byte_offset = 251, hole_type = Word16Hole},Value (Word8Value 187),Value (Word16Value 63669),Hole {byte_offset = 256, hole_type = Word8Hole},Hole {byte_offset = 257, hole_type = Word16Hole},Value (Word32Value 855016789),Value (Word16Value 57589),Hole {byte_offset = 265, hole_type = Word8Hole},Hole {byte_offset = 266, hole_type = Word8Hole},Value (Word8Value 9),Hole {byte_offset = 268, hole_type = Word8Hole},Value (Word32Value 1986088679),Hole {byte_offset = 273, hole_type = Word8Hole},Hole {byte_offset = 274, hole_type = Word32Hole},Hole {byte_offset = 278, hole_type = Word8Hole},Value (Word16Value 7445),Hole {byte_offset = 281, hole_type = Word16Hole},Hole {byte_offset = 283, hole_type = Word32Hole}]}