Prelude / LowerBound

LowerBound

trait LowerBound[a: Type]Source

Trait for types that are partially ordered and have a lower bound.

Instances

Primitives: Unit, Bool, Char, Float32, Float64, Int8, Int16, Int32, Int64 and tuples of 2 to 10 elements
Non-primitives: Down[a], Map[k, v], Option[t], Set[a]

def minValue(): a with LowerBound[a]§ Source

Returns the smallest value of a.