package fj.data.test;

import fj.F2;
import fj.F3;
import fj.data.List;
import fj.test.Arbitrary;
import fj.test.CheckResult;
import fj.test.Gen;
import fj.test.Property;
import org.junit.Test;

import static fj.Function.compose;
import static fj.test.Arbitrary.*;
import static fj.test.Arbitrary.arbLong;
import static fj.test.Coarbitrary.coarbInteger;
import static fj.test.Coarbitrary.coarbLong;
import static fj.test.Property.prop;
import static fj.test.Property.property;

/**
 * Created by MarkPerry on 3/07/2014.
 */
public class TestNull {

	@Test
	public void testShowNullParameters() {
		Property p = property(arbitrary(Gen.<Integer>value(null)), (Integer i) -> {
				return prop(i != null);
		});
		CheckResult.summary.println(p.check());
	}

}