com.wheaties.predicate.ops.FunctionOps12.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of predicates_2.11 Show documentation

predicates

The newest version!

package com.wheaties.predicate.ops

import com.wheaties.predicate.Predicate12
import com.wheaties.logical.{Negation, Disjunction, Conjunction}

object FunctionOps12{
	implicit class F2P12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12](f: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => Boolean) extends Predicate12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]{
		def apply(arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12) = f(arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10, arg11, arg12)
	}

	implicit def conj12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] = new Conjunction[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => Boolean]{
		def conjunction(p: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => Boolean, q: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => Boolean) = p and q
	}

	implicit def disj12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] = new Disjunction[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => Boolean]{
		def disjunction(p: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => Boolean, q: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => Boolean) = p or q
	}

	implicit def neg12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] = new Negation[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => Boolean]{
		def not(p: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => Boolean) = new Predicate12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]{
			def apply(arg1: T1, arg2: T2, arg3: T3, arg4: T4, arg5: T5, arg6: T6, arg7: T7, arg8: T8, arg9: T9, arg10: T10, arg11: T11, arg12: T12) = !p(arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9, arg10, arg11, arg12)
		}
	}
}