hael.jjm-core_2.13.0.2.3.source-code.Finite.scala Maven / Gradle / Ivy
The newest version!
package jjm
import simulacrum._
import scala.language.implicitConversions
// Finitely inhabited type.
// not committing to an order.
// not necessarily bounded bc the type might be empty.
@typeclass trait Finite[A] {
def values: Set[A]
def numValues: Int = values.size
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy