UpperBound

trait UpperBound[a: Type]Source

A trait for partially ordered types that have an upper bound.

Instances

instance UpperBound[Bool]Source

instance UpperBound[Char]Source

instance UpperBound[Down[a]] with LowerBound[a]Source

instance UpperBound[Float32]Source

instance UpperBound[Float64]Source

instance UpperBound[Int16]Source

instance UpperBound[Int32]Source

instance UpperBound[Int64]Source

instance UpperBound[Int8]Source

instance UpperBound[(a1, a2)] with UpperBound[a1], UpperBound[a2]Source

instance UpperBound[(a1, a2, a3)] with UpperBound[a1], UpperBound[a2], UpperBound[a3]Source

instance UpperBound[(a1, a2, a3, a4)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4]Source

instance UpperBound[(a1, a2, a3, a4, a5)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5]

Source

instance UpperBound[(a1, a2, a3, a4, a5, a6)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6]

Source

instance UpperBound[(a1, a2, a3, a4, a5, a6, a7)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6], UpperBound[a7]

Source

instance UpperBound[(a1, a2, a3, a4, a5, a6, a7, a8)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6], UpperBound[a7], UpperBound[a8]

Source

instance UpperBound[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6], UpperBound[a7], UpperBound[a8], UpperBound[a9]

Source

instance UpperBound[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6], UpperBound[a7], UpperBound[a8], UpperBound[a9], UpperBound[a10]

Source

instance UpperBound[Unit]Source

Signatures

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

Returns the largest value of a.