Prelude / UpperBound

UpperBound

trait UpperBound[a: Type]Source

Trait for types that are partially ordered and have an upper bound.

Instances

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

def maxValue(): a with UpperBound[a]§ Source

Returns the largest value of a.