definition module pdObjectToMem;

import DLState;


// Client <-> Server communication
class SendAddressToClient a
where {
	SendAddressToClient :: !ProcessSerialNumber a !*f -> *f
};

//1.3
instance SendAddressToClient !Int;
instance SendAddressToClient !{#Char};
//3.1
/*2.0
instance SendAddressToClient Int;
instance SendAddressToClient {#Char};
0.2*/
instance SendAddressToClient [Int];
instance SendAddressToClient (Int,[Int]);
instance SendAddressToClient ({#Char},Int,[Int]);
instance SendAddressToClient ({#Char},{#Char},Int,[Int]);
instance SendAddressToClient ({#Char},{#Char},Int,[Int],{#Char});

class EncodeClientMessage a
where {
	EncodeClientMessage :: a -> String
};

instance EncodeClientMessage [Int];

//write_image :: !*State !*Files -> (!*State,!*Files);
//write_image :: !*State !*Files -> (!Int,!*State,!*Files);
:: WriteImageInfo
	= {
		wii_code_start	:: !Int
	,	wii_code_end	:: !Int
	,	wii_data_start	:: !Int
	,	wii_data_end	:: !Int
	};
default_write_image_info :: WriteImageInfo;

write_image :: !*State *f -> *(!Int,!WriteImageInfo,*State,*f) | FileEnv f;