private static void TryCoyonedaList() { Console.WriteLine(" -- try CoYoneda<List> --"); var sample = Coyoneda <int, List <Object> > .liftCoyoneda(new List <Object> { 100, 200, 300 }); var result = (Coyoneda <string, List <Object> >)DoFmap(sample); foreach (string item in MapCoyonedaList <string>(result)) { Console.WriteLine(item); } }
private static void TryCoyonedaOption() { Console.WriteLine(" -- try CoYoneda<Option> --"); var sample1 = Coyoneda <int, Option <Object> > .liftCoyoneda(new Some <Object>(100)); var sample2 = Coyoneda <int, Option <Object> > .liftCoyoneda(new None <Object>()); var result1 = (Coyoneda <string, Option <Object> >)DoFmap(sample1); var result2 = (Coyoneda <string, Option <Object> >)DoFmap(sample2); Console.WriteLine(MapCoyonedaOption <string>(result1)); Console.WriteLine(MapCoyonedaOption <string>(result2)); }