kvExample.cs

    public class KVStoreExamples
    {
        [Fact]
        public void GetValueForExistingKey()
        {
            var kv =
                from a in KVStore.add("a", 1)
                from b in KVStore.add("b", 2)
                from c in KVStore.add("c", 3)
                select c
                ;

            var getC = from s in kv
                from c in KVStore.get<string, int>("c")
                select c;

            var result = getC.InterpretWithSideEffects();
            Assert.Equal(3, result.ValueOr(() => 0));
        }

        [Fact]
        public void GetValueForNonExistingKey()
        {
            var kv = KVStore.add("a", 1);
            var getC = from s in kv
                from c in KVStore.get<string, int>("c")
                select c;

            var result = getC.InterpretWithSideEffects();
            Assert.True(result.IsEmpty);
        }