package com.acme.math;

import church.lang.ByteStream;
import church.lang.operators.Arithmetic.$$prd;
import church.lang.operators.Streams.$$encode;
import church.primitives.Objects;

import static church.lang.operators.Streams.output;
import static com.acme.math.BigDecimals.bigDecimal;

@SuppressWarnings("unchecked")
public class BigDecimalTest {
    private static final $$prd<java.math.BigDecimal, java.math.BigDecimal> $S0 = BigDecimals::$prd;
    private static final $$encode<ByteStream, String>                      $S1 = Objects::$encode;
    private static final $$encode<ByteStream, java.math.BigDecimal>        $S2 = BigDecimals.$encode($S1);

    public static void main(String[] args) {
        java.math.BigDecimal i1 = bigDecimal(1000.0);
        java.math.BigDecimal i2 = $S0.$prd(i1, i1);
        java.math.BigDecimal i3 = $S0.$prd(i2, i2);
        java.math.BigDecimal i4 = $S0.$prd(i3, i3);
        java.math.BigDecimal i5 = $S0.$prd(i4, i4);
        $S1.$encode($S2.$encode(output, i5), "\n");
    }

}