definition module UtilOptions

import StdClass, StdString
//1.3
from UtilStrictLists import List
//3.1
/*2.0
from UtilStrictLists import ::List
0.2*/

:: Option
:: Conversions a
:: OptionsTableEntry a =
	E.value:
	{ labelName		:: !{#Char}
	, conversions	:: !Conversions value
	, get			:: a -> value
	, put			:: value a -> a
	}

:: OptionsTable a :== {!OptionsTableEntry a}

WriteOptionsFile :: !{#Char} ![Option] !*File -> *File
ReadOptionsFile :: *File -> ([Option], *File)
ReadVersion :: !*File -> (!{#Char}, !*File)
PutOptions :: !(OptionsTable a) a -> [Option]
GetOptions :: !(OptionsTable a) ![Option] !a -> a
//GetOption :: (OptionsTable a) Option !a -> a

Simple :: Conversions a | toString, fromString a
List :: (OptionsTableEntry a) a -> Conversions (List a)
Group :: (OptionsTable a) -> Conversions a

SimpleOption l g p :== {labelName = l, conversions = Simple, get = g, put = p}
GroupedOption  l s g p :== {labelName = l, conversions = Group s, get = g, put = p}
ListOption  l s d g p :== {labelName = l, conversions = List s d, get = g, put = p}

ConvertToString	:: !String -> String
