package com.acme.javaInterop;

import java.awt.Point;

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

import static church.lang.operators.Streams.output;

@SuppressWarnings("unchecked")
public class Fields {
    private static final $$encode<ByteStream, String>  $S0 = Objects::$encode;
    private static final $$encode<ByteStream, Integer> $S1 = Integers::$encode;

    public static void main(String[] args) {
        Point p = new Point();
        $S0.$encode($S0.$encode($S0.$encode(output, "p = "), p.toString()), "\n");
        int x = p.x;
        $S0.$encode($S1.$encode($S0.$encode(output, "x = "), x), "\n");
    }

}