C# (CSharp) OneUpside.Data Ite Examples

Example #1

File: Ite`1.cs Project: 1Upside/OneUpside-Data

        public Ite <A> Else(Ite <A> ite)
        {
            switch (TheTag)
            {
            case Tag.ProduceThen:
                return(this);

            case Tag.ProduceElse:
                return(ite);

            default:
                throw new CaseException(TheTag, typeof(Tag));
            }
        }

Example #2

 public static Ite <C> Is <A, B, C>(this A a, Func <B, C> f)
     where B : A
 {
     return(a is B?Ite.ProduceThen(f((B)a)) : Ite.ProduceElse <C>());
 }