Example #1
0
 // Increase = n => new Numeral(n)
 public static NumeralWrapper Increase(this NumeralWrapper numeral) => new NumeralWrapper(numeral);
Example #2
0
 // Add = a => b => a(Increase)(b)
 public static NumeralWrapper Add(this NumeralWrapper a, NumeralWrapper b) => a.Invoke <NumeralWrapper>(Increase)(b);
Example #3
0
 public static NumeralWrapper Fibonacci(this NumeralWrapper numeral) => FixedPointCombinators <NumeralWrapper, NumeralWrapper> .Z(Fibonacci)(numeral);
Example #4
0
 public static NumeralWrapper DivideBy(this NumeralWrapper dividend, NumeralWrapper divisor) =>
 FixedPointCombinators <NumeralWrapper, Func <NumeralWrapper, NumeralWrapper> > .Z(DivideBy)(dividend)(divisor);
Example #5
0
 public static NumeralWrapper Factorial(this NumeralWrapper numeral) => FixedPointCombinators <NumeralWrapper, NumeralWrapper> .Z(Factorial)(numeral);
Example #6
0
 public static string Visualize(this NumeralWrapper numeral) =>
 numeral.Invoke <string>(x => string.Concat(x, "*"))(string.Empty);
Example #7
0
 public static uint Unchurch(this NumeralWrapper numeral) => numeral.Invoke <uint>(x => x + 1)(0U);
Example #8
0
 public NumeralWrapper(NumeralWrapper predecessor)
 {
     this.predecessor = predecessor;
 }
Example #9
0
 public static NumeralWrapper Factorial(this NumeralWrapper numeral) => YCombinator <NumeralWrapper, NumeralWrapper> .Y(Factorial)(numeral);