c <= self <= d

Property definitions

core $ Comparable :: is_between
	# c <= self <= d
	fun is_between(c: OTHER, d: OTHER): Bool
	do
		return c <= self and self <= d
	end
lib/core/kernel.nit:346,2--350,4

date $ Date :: is_between
	# Is `self` between `a` and `b`?
	redef fun is_between(a, b)
	do
		if not self.is_between_months(a, b) then return false
		return (a.day > day and b.day < day) or (b.day > day and a.day < day) or (a.day == day or b.day == day)
	end
lib/date/date.nit:151,2--156,4

core $ UInt32 :: is_between
	redef fun is_between(c, d)
	do
		if self < c or d < self then
			return false
		else
			return true
		end
	end
lib/core/fixed_ints.nit:658,2--665,4

core $ Int8 :: is_between
	redef fun is_between(c, d)
	do
		if self < c or d < self then
			return false
		else
			return true
		end
	end
lib/core/fixed_ints.nit:174,2--181,4

core $ Int16 :: is_between
	redef fun is_between(c, d)
	do
		if self < c or d < self then
			return false
		else
			return true
		end
	end
lib/core/fixed_ints.nit:295,2--302,4

core $ UInt16 :: is_between
	redef fun is_between(c, d)
	do
		if self < c or d < self then
			return false
		else
			return true
		end
	end
lib/core/fixed_ints.nit:416,2--423,4

core $ Int32 :: is_between
	redef fun is_between(c, d)
	do
		if self < c or d < self then
			return false
		else
			return true
		end
	end
lib/core/fixed_ints.nit:537,2--544,4

core $ Byte :: is_between
	redef fun is_between(c, d)
	do
		if self < c or d < self then
			return false
		else
			return true
		end
	end
lib/core/kernel.nit:671,2--678,4

core $ Float :: is_between
	redef fun is_between(c, d)
	do
		if self < c or d < self then
			return false
		else
			return true
		end
	end
lib/core/kernel.nit:558,2--565,4

core $ Int :: is_between
	redef fun is_between(c, d)
	do
		if self < c or d < self then
			return false
		else
			return true
		end
	end
lib/core/kernel.nit:776,2--783,4