29 Premium Themes
Included with purchase — and more features on the way!
Get access — $12 once
Version 2 is coming soon.
The price goes up when it arrives.
Pay once today and every update after that is free.
One Dark Pro
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Andromeda
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Ayu Dark
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Ayu Mirage
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Ayu Light
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Cobalt2
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Night Owl
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Night Owl Light
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Azureus
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Bordo
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Hibernus
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Lilac
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Lux
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Minimus
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Obscuro
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Sereno
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Uva
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Noctis Viola
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Palenight
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Pico 8
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Shades of Purple
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Shades of Purple SD
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Synthwave '84
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Tokyo Night
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Tokyo Night Storm
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Tokyo Night Light
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Winter is Coming
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Winter is Coming Light
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html
Winter is Coming Dark
class Date(y: Int, m: Int, d: Int) extends Ord:
// previous decls here
def <(that: Any): Boolean = that match
case d: Date =>
(year < d.year) ||
(year == d.year && (month < d.month ||
(month == d.month && day < d.day)))
case _ => sys.error("cannot compare " + that + " and a Date")
end <
end Date
// From https://docs.scala-lang.org/tutorials/scala-for-java-programmers.html