public static void Dump <T>(string filename, IEnumerable <T> items)
{
using StreamWriter writer = new StreamWriter(filename);
foreach (T item in items)
{
string representation = Repr <T> .Render(item);
writer.WriteLine(representation);
}
}
public static List <T> Load <T>(string filename)
{
if (!File.Exists(filename))
{
Dump <T>(filename, new T[0]);
}
List <T> items = new List <T>();
using StreamReader reader = new StreamReader(filename);
while (!reader.EndOfStream)
{
string representation = reader.ReadLine();
Maybe <T> item = Repr <T> .Parse(representation);
if (item is Maybe <T> .Some someItem)
{
items.Add(someItem.Value);
}
}
return(items);
}