• Home
• com.github.wheaties
• predicates_2.11
• 0.1
• source code
• Predicates1.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

com.wheaties.predicate.Predicates1.scala Maven / Gradle / Ivy

package com.wheaties.predicate

import com.wheaties.logical._

trait Predicate1[T1] extends Function1[T1, Boolean]{
	self =>

	def or[TT1 <: T1](that: Function1[TT1, Boolean]) = new Predicate1[TT1]{
		def apply(arg1: TT1) = self(arg1) || that(arg1)
	}
	def and[TT1 <: T1](that: Function1[TT1, Boolean]) = new Predicate1[TT1]{
		def apply(arg1: TT1) = self(arg1) && that(arg1)
	}
	def xor[TT1 <: T1](that: Function1[TT1, Boolean]) = new Predicate1[TT1]{
		def apply(arg1: TT1) = if(self(arg1)) !that(arg1) else that(arg1)
	}
	def nor[TT1 <: T1](that: Function1[TT1, Boolean]) = new Predicate1[TT1]{
		def apply(arg1: TT1) = !(self(arg1) || that(arg1))
	}
	def nand[TT1 <: T1](that: Function1[TT1, Boolean]) = new Predicate1[TT1]{
		def apply(arg1: TT1) = !(self(arg1) && that(arg1))
	}
	def nxor[TT1 <: T1](that: Function1[TT1, Boolean]) = new Predicate1[TT1]{
		def apply(arg1: TT1) = if(self(arg1)) that(arg1) else !that(arg1)
	}
	override def toString() = ""

}
object Predicate1{
	implicit def not[T1] = new Negation[Predicate1[T1]]{
		def not(pred: Predicate1[T1]) = new Predicate1[T1]{
			def apply(arg1: T1) = !pred(arg1)
		}
	}
}
object Always1 extends Predicate1[Any]{
	def apply(arg1: Any) = true
}
object Never1 extends Predicate1[Any]{
	def apply(arg1: Any) = false
}