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