• Home
• com.github.wheaties
• predicates_2.11
• 0.1
• source code
• Predicates0.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.Predicates0.scala Maven / Gradle / Ivy

package com.wheaties.predicate

import com.wheaties.logical._

trait Predicate0 extends Function0[Boolean]{
	self =>

	def or(that: Function0[Boolean]) = new Predicate0{
		def apply() = self() || that()
	}
	def and(that: Function0[Boolean]) = new Predicate0{
		def apply() = self() && that()
	}
	def xor(that: Function0[Boolean]) = new Predicate0{
		def apply() = if(self()) !that() else that()
	}
	def nor(that: Function0[Boolean]) = new Predicate0{
		def apply() = !(self() || that())
	}
	def nand(that: Function0[Boolean]) = new Predicate0{
		def apply() = !(self() && that())
	}
	def nxor(that: Function0[Boolean]) = new Predicate0{
		def apply() = if(self()) that() else !that()
	}
	override def toString() = ""

}
object Predicate0{
	implicit def not = new Negation[Predicate0]{
		def not(pred: Predicate0) = new Predicate0{
			def apply() = !pred()
		}
	}
}
object Always0 extends Predicate0{
	def apply() = true
}
object Never0 extends Predicate0{
	def apply() = false
}