com.github.mperry.fg.test.Model.groovy Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of functionalgroovy-main Show documentation

FunctionalGroovy enhances FunctionalJava for Groovy

There is a newer version: 0.8

Show newest version

package com.github.mperry.fg.test

import fj.F
import fj.data.Option
import fj.data.Validation
import fj.test.Arbitrary
import groovy.transform.Canonical
import groovy.transform.TypeChecked

import static fj.test.Arbitrary.*

/**
 * Created with IntelliJ IDEA.
 * User: MarkPerry
 * Date: 1/12/13
 * Time: 12:49 PM
 * To change this template use File | Settings | File Templates.
 */
@Canonical
//@Immutable
@TypeChecked
class Model {

	static final Map NULLABLE_INTEGER = [(Integer.class): Arbitrary.arbNullableInteger()]

	static final Map, Arbitrary> DEFAULT_MAP = [
			// basic generators
			(BigDecimal.class): arbBigDecimal,
			(BigInteger.class): arbBigInteger,
			(BitSet.class): arbBitSet,
			(Boolean.class): arbBoolean,
			(Byte.class): arbByte,
			(Calendar.class): arbCalendar,
			(Character.class): arbCharacterBoundaries,
			(Date.class): arbDate,
			(Double.class): arbDoubleBoundaries,
			(Float.class): arbFloatBoundaries,
			(Integer.class): arbIntegerBoundaries,
			(Long.class): arbLongBoundaries,
			(String.class): arbString,

			// more complex generators
			(ArrayList.class): arbArrayList(arbIntegerBoundaries),
			(java.util.List.class): arbArrayList(arbIntegerBoundaries),
			(fj.data.List.class): arbList(arbIntegerBoundaries)
	]

	static final F, Boolean> DEFAULT_VALIDATOR = { Validation v ->
		v.isFail() ? false : v.success()
	} as F

	Map, Arbitrary> map = DEFAULT_MAP
	Closure function
	Option> pre = Option.none()
//	Option> pre = Option.some({ -> true})
	Boolean truth = true
	F, Boolean> validator = DEFAULT_VALIDATOR

	Model addArbs(Map, Arbitrary> m) {
		new Model(map + m, function, pre, truth)
	}

	@TypeChecked
	static F, Boolean> validator(F f) {
		{ Validation v ->
			v.isFail() ? f.f(v.fail()) : v.success()
		} as F
	}

}