bind-marshal-0.1: test/TestCases/FullStaticCase8.hs
module TestCases.FullStaticCase8 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 :: Word32 <- des_word32_be
3 :: Word8 <- des
v_1 :: Word16 <- des_word16_be
v_2 :: Word16 <- des_word16_be
v_3 :: Word8 <- des
v_4 :: Word16 <- des_word16_be
v_5 :: Word8 <- des
152 :: Word8 <- des
v_6 :: Word32 <- des_word32_be
v_7 :: Word8 <- des
v_8 :: Word8 <- des
v_9 :: Word8 <- des
v_10 :: Word16 <- des_word16_be
36605 :: Word16 <- des_word16_be
v_11 :: Word8 <- des
v_12 :: Word8 <- des
v_13 :: Word32 <- des_word32_be
36104 :: Word16 <- des_word16_be
v_14 :: Word32 <- des_word32_be
v_15 :: Word32 <- des_word32_be
101 :: Word8 <- des
v_16 :: Word32 <- des_word32_be
65534 :: Word16 <- des_word16_be
58 :: Word8 <- des
v_17 :: Word32 <- des_word32_be
v_18 :: Word16 <- des_word16_be
3308707477 :: Word32 <- des_word32_be
v_19 :: Word8 <- des
v_20 :: Word8 <- des
911352897 :: Word32 <- des_word32_be
v_21 :: Word32 <- des_word32_be
v_22 :: Word16 <- des_word16_be
v_23 :: Word16 <- des_word16_be
201 :: Word8 <- des
39205 :: Word16 <- des_word16_be
v_24 :: Word16 <- des_word16_be
v_25 :: Word8 <- des
v_26 :: Word8 <- des
4096476145 :: Word32 <- des_word32_be
680 :: Word16 <- des_word16_be
v_27 :: Word32 <- des_word32_be
3675646859 :: Word32 <- des_word32_be
v_28 :: Word32 <- des_word32_be
v_29 :: Word8 <- des
154 :: Word8 <- des
3056132606 :: Word32 <- des_word32_be
2318342782 :: Word32 <- des_word32_be
2958181074 :: Word32 <- des_word32_be
255 :: Word8 <- des
214 :: Word8 <- des
239 :: Word8 <- des
v_30 :: Word8 <- des
40113 :: Word16 <- des_word16_be
v_31 :: Word16 <- des_word16_be
203 :: Word8 <- des
v_32 :: Word16 <- des_word16_be
v_33 :: Word16 <- des_word16_be
379464366 :: Word32 <- des_word32_be
v_34 :: Word8 <- des
v_35 :: Word32 <- des_word32_be
3580725469 :: Word32 <- des_word32_be
v_36 :: Word32 <- des_word32_be
v_37 :: Word16 <- des_word16_be
v_38 :: Word32 <- des_word32_be
172 :: Word8 <- des
156 :: Word8 <- des
v_39 :: Word8 <- des
v_40 :: Word16 <- des_word16_be
v_41 :: Word8 <- des
3689160082 :: Word32 <- des_word32_be
149 :: Word8 <- des
v_42 :: Word16 <- des_word16_be
2560319062 :: Word32 <- des_word32_be
5 :: Word8 <- des
v_43 :: Word32 <- des_word32_be
v_44 :: Word32 <- des_word32_be
v_45 :: Word8 <- des
3734998490 :: Word32 <- des_word32_be
v_46 :: Word16 <- des_word16_be
v_47 :: Word16 <- des_word16_be
v_48 :: Word32 <- des_word32_be
1808959143 :: Word32 <- des_word32_be
v_49 :: Word32 <- des_word32_be
81 :: Word8 <- des
v_50 :: Word32 <- des_word32_be
v_51 :: Word8 <- des
13694 :: Word16 <- des_word16_be
38593 :: Word16 <- des_word16_be
v_52 :: Word32 <- des_word32_be
static_return [ Word32Value v_0 , Word16Value v_1 , Word16Value v_2 , Word8Value v_3 , Word16Value v_4 , Word8Value v_5 , Word32Value v_6 , Word8Value v_7 , Word8Value v_8 , Word8Value v_9 , Word16Value v_10 , Word8Value v_11 , Word8Value v_12 , Word32Value v_13 , Word32Value v_14 , Word32Value v_15 , Word32Value v_16 , Word32Value v_17 , Word16Value v_18 , Word8Value v_19 , Word8Value v_20 , Word32Value v_21 , Word16Value v_22 , Word16Value v_23 , Word16Value v_24 , Word8Value v_25 , Word8Value v_26 , Word32Value v_27 , Word32Value v_28 , Word8Value v_29 , Word8Value v_30 , Word16Value v_31 , Word16Value v_32 , Word16Value v_33 , Word8Value v_34 , Word32Value v_35 , Word32Value v_36 , Word16Value v_37 , Word32Value v_38 , Word8Value v_39 , Word16Value v_40 , Word8Value v_41 , Word16Value v_42 , Word32Value v_43 , Word32Value v_44 , Word8Value v_45 , Word16Value v_46 , Word16Value v_47 , Word32Value v_48 , Word32Value v_49 , Word32Value v_50 , Word8Value v_51 , Word32Value v_52 ]
ser_static_structure vs = do
let [ Word32Value v_0 , Word16Value v_1 , Word16Value v_2 , Word8Value v_3 , Word16Value v_4 , Word8Value v_5 , Word32Value v_6 , Word8Value v_7 , Word8Value v_8 , Word8Value v_9 , Word16Value v_10 , Word8Value v_11 , Word8Value v_12 , Word32Value v_13 , Word32Value v_14 , Word32Value v_15 , Word32Value v_16 , Word32Value v_17 , Word16Value v_18 , Word8Value v_19 , Word8Value v_20 , Word32Value v_21 , Word16Value v_22 , Word16Value v_23 , Word16Value v_24 , Word8Value v_25 , Word8Value v_26 , Word32Value v_27 , Word32Value v_28 , Word8Value v_29 , Word8Value v_30 , Word16Value v_31 , Word16Value v_32 , Word16Value v_33 , Word8Value v_34 , Word32Value v_35 , Word32Value v_36 , Word16Value v_37 , Word32Value v_38 , Word8Value v_39 , Word16Value v_40 , Word8Value v_41 , Word16Value v_42 , Word32Value v_43 , Word32Value v_44 , Word8Value v_45 , Word16Value v_46 , Word16Value v_47 , Word32Value v_48 , Word32Value v_49 , Word32Value v_50 , Word8Value v_51 , Word32Value v_52 ] = vs
ser_word32_be v_0
ser (3 :: Word8)
ser_word16_be v_1
ser_word16_be v_2
ser v_3
ser_word16_be v_4
ser v_5
ser (152 :: Word8)
ser_word32_be v_6
ser v_7
ser v_8
ser v_9
ser_word16_be v_10
ser_word16_be 36605
ser v_11
ser v_12
ser_word32_be v_13
ser_word16_be 36104
ser_word32_be v_14
ser_word32_be v_15
ser (101 :: Word8)
ser_word32_be v_16
ser_word16_be 65534
ser (58 :: Word8)
ser_word32_be v_17
ser_word16_be v_18
ser_word32_be 3308707477
ser v_19
ser v_20
ser_word32_be 911352897
ser_word32_be v_21
ser_word16_be v_22
ser_word16_be v_23
ser (201 :: Word8)
ser_word16_be 39205
ser_word16_be v_24
ser v_25
ser v_26
ser_word32_be 4096476145
ser_word16_be 680
ser_word32_be v_27
ser_word32_be 3675646859
ser_word32_be v_28
ser v_29
ser (154 :: Word8)
ser_word32_be 3056132606
ser_word32_be 2318342782
ser_word32_be 2958181074
ser (255 :: Word8)
ser (214 :: Word8)
ser (239 :: Word8)
ser v_30
ser_word16_be 40113
ser_word16_be v_31
ser (203 :: Word8)
ser_word16_be v_32
ser_word16_be v_33
ser_word32_be 379464366
ser v_34
ser_word32_be v_35
ser_word32_be 3580725469
ser_word32_be v_36
ser_word16_be v_37
ser_word32_be v_38
ser (172 :: Word8)
ser (156 :: Word8)
ser v_39
ser_word16_be v_40
ser v_41
ser_word32_be 3689160082
ser (149 :: Word8)
ser_word16_be v_42
ser_word32_be 2560319062
ser (5 :: Word8)
ser_word32_be v_43
ser_word32_be v_44
ser v_45
ser_word32_be 3734998490
ser_word16_be v_46
ser_word16_be v_47
ser_word32_be v_48
ser_word32_be 1808959143
ser_word32_be v_49
ser (81 :: Word8)
ser_word32_be v_50
ser v_51
ser_word16_be 13694
ser_word16_be 38593
ser_word32_be v_52
static_return ()
static_structure = StaticStructure {properties = [Hole {byte_offset = 0, hole_type = Word32Hole},Value (Word8Value 3),Hole {byte_offset = 5, hole_type = Word16Hole},Hole {byte_offset = 7, hole_type = Word16Hole},Hole {byte_offset = 9, hole_type = Word8Hole},Hole {byte_offset = 10, hole_type = Word16Hole},Hole {byte_offset = 12, hole_type = Word8Hole},Value (Word8Value 152),Hole {byte_offset = 14, hole_type = Word32Hole},Hole {byte_offset = 18, hole_type = Word8Hole},Hole {byte_offset = 19, hole_type = Word8Hole},Hole {byte_offset = 20, hole_type = Word8Hole},Hole {byte_offset = 21, hole_type = Word16Hole},Value (Word16Value 36605),Hole {byte_offset = 25, hole_type = Word8Hole},Hole {byte_offset = 26, hole_type = Word8Hole},Hole {byte_offset = 27, hole_type = Word32Hole},Value (Word16Value 36104),Hole {byte_offset = 33, hole_type = Word32Hole},Hole {byte_offset = 37, hole_type = Word32Hole},Value (Word8Value 101),Hole {byte_offset = 42, hole_type = Word32Hole},Value (Word16Value 65534),Value (Word8Value 58),Hole {byte_offset = 49, hole_type = Word32Hole},Hole {byte_offset = 53, hole_type = Word16Hole},Value (Word32Value 3308707477),Hole {byte_offset = 59, hole_type = Word8Hole},Hole {byte_offset = 60, hole_type = Word8Hole},Value (Word32Value 911352897),Hole {byte_offset = 65, hole_type = Word32Hole},Hole {byte_offset = 69, hole_type = Word16Hole},Hole {byte_offset = 71, hole_type = Word16Hole},Value (Word8Value 201),Value (Word16Value 39205),Hole {byte_offset = 76, hole_type = Word16Hole},Hole {byte_offset = 78, hole_type = Word8Hole},Hole {byte_offset = 79, hole_type = Word8Hole},Value (Word32Value 4096476145),Value (Word16Value 680),Hole {byte_offset = 86, hole_type = Word32Hole},Value (Word32Value 3675646859),Hole {byte_offset = 94, hole_type = Word32Hole},Hole {byte_offset = 98, hole_type = Word8Hole},Value (Word8Value 154),Value (Word32Value 3056132606),Value (Word32Value 2318342782),Value (Word32Value 2958181074),Value (Word8Value 255),Value (Word8Value 214),Value (Word8Value 239),Hole {byte_offset = 115, hole_type = Word8Hole},Value (Word16Value 40113),Hole {byte_offset = 118, hole_type = Word16Hole},Value (Word8Value 203),Hole {byte_offset = 121, hole_type = Word16Hole},Hole {byte_offset = 123, hole_type = Word16Hole},Value (Word32Value 379464366),Hole {byte_offset = 129, hole_type = Word8Hole},Hole {byte_offset = 130, hole_type = Word32Hole},Value (Word32Value 3580725469),Hole {byte_offset = 138, hole_type = Word32Hole},Hole {byte_offset = 142, hole_type = Word16Hole},Hole {byte_offset = 144, hole_type = Word32Hole},Value (Word8Value 172),Value (Word8Value 156),Hole {byte_offset = 150, hole_type = Word8Hole},Hole {byte_offset = 151, hole_type = Word16Hole},Hole {byte_offset = 153, hole_type = Word8Hole},Value (Word32Value 3689160082),Value (Word8Value 149),Hole {byte_offset = 159, hole_type = Word16Hole},Value (Word32Value 2560319062),Value (Word8Value 5),Hole {byte_offset = 166, hole_type = Word32Hole},Hole {byte_offset = 170, hole_type = Word32Hole},Hole {byte_offset = 174, hole_type = Word8Hole},Value (Word32Value 3734998490),Hole {byte_offset = 179, hole_type = Word16Hole},Hole {byte_offset = 181, hole_type = Word16Hole},Hole {byte_offset = 183, hole_type = Word32Hole},Value (Word32Value 1808959143),Hole {byte_offset = 191, hole_type = Word32Hole},Value (Word8Value 81),Hole {byte_offset = 196, hole_type = Word32Hole},Hole {byte_offset = 200, hole_type = Word8Hole},Value (Word16Value 13694),Value (Word16Value 38593),Hole {byte_offset = 205, hole_type = Word32Hole}]}