definition module DynamicIO
/**
* This module defines task for reading and writing dynamics to and from files
* 
* WARNING: this will only work if the application is compiled with the "Enable dynamics" project options set !!!
*/

import 	StdDynamic
import 	iDataSettings
from 	TSt 			import :: Task

/**
* Writes a task as dynamic to a file
*
* @param The file name
* @param The task
*
* @return Boolean indicating succesful write
*/
writeDynamicTask 	:: !String !(Task a) 	-> Task Bool 			| iData a
/**
* Read a dynamic (possibly created by another application) from a file
*
* @param The file name
*
* @return Boolean indicating succesful read
* @return The task
*/
readDynamicTask 	:: !String 				-> Task (Bool,Task a) 	| iData a